CS: Computer Science
CS: Computer Science

Inesc Tecnologia e Ciência (INESC TEC)

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

No data about last update.
Rules:
 This actions updates publications citations of every team member.
 Only validated by team members publications are included.
 Only the current year team is included in this action.>
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a month!

Update PrePrints

No data about last update.
Rules:
 This actions updates all pre print publications of the group/institution.
 Only validated by current year team members publications are included.
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a day!

Publications Count: 8120

531 Team Members
Filters -> Year: 2024
2401
TITLE: Formal Verification of Interactive Computing Systems: Opportunities, Challenges PDF
AUTHORS: José Creissac Campos ; Michael D Harrison;
PUBLISHED: 2019, SOURCE: 2019 Joint HCI Engineering - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints, HCI Engineering 2019 in Joint Proceedings HCI Engineering 2019 - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints co-located with 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2019), Valencia, Spain, June 18, 2019., VOLUME: 2503, PAGES: 69-75
INDEXED IN: Scopus DBLP
2402
TITLE: From Requirements to Automated Acceptance Tests of Interactive Apps: An Integrated Model-based Testing Approach
AUTHORS: Daniel Maciel; Ana C R Paiva ; Alberto Rodrigues da Silva ;
PUBLISHED: 2019, SOURCE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE), PAGES: 265-272
INDEXED IN: Scopus WOS DBLP CrossRef: 6
2403
TITLE: Full-Duplex Jamming for Enhanced Hidden-Key Secrecy
AUTHORS: Dryer, Z; Nickerl, A; Gomes, MAC; Vilela, JP ; Harrison, WK;
PUBLISHED: 2019, SOURCE: IEEE International Conference on Communications (ICC) in ICC 2019 - 2019 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), VOLUME: 2019-May
INDEXED IN: Scopus WOS CrossRef: 1
2404
TITLE: Gait stride-to-stride variability and foot clearance pattern analysis in Idiopathic Parkinson's Disease and Vascular Parkinsonism
AUTHORS: Ferreira, F ; Gago, MF; Bicho, E; Carvalho, C; Mollaei, N; Rodrigues, L; Sousa, N; Rodrigues, PP ; Ferreira, C ; Gama, J ;
PUBLISHED: 2019, SOURCE: JOURNAL OF BIOMECHANICS, VOLUME: 92, PAGES: 98-104
INDEXED IN: Scopus WOS CrossRef: 20 Handle
2405
TITLE: Generalising KAT to Verify Weighted Computations  Full Text
AUTHORS: Leonardo Gomes ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLISHED: 2019, SOURCE: SCIENTIFIC ANNALS OF COMPUTER SCIENCE, VOLUME: 29, ISSUE: 2, PAGES: 141-184
INDEXED IN: Scopus WOS DBLP CrossRef: 2
2406
TITLE: Generating a Binary Symmetric Channel for Wiretap Codes
AUTHORS: Harrison, WK; Fernandes, T; Gomes, MAC; Vilela, JP ;
PUBLISHED: 2019, SOURCE: IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, VOLUME: 14, ISSUE: 8, PAGES: 2128-2138
INDEXED IN: Scopus WOS CrossRef: 11
2407
TITLE: Genetic Algorithms for Portfolio Optimization with Weighted Sum Approach
AUTHORS: Faia, R; Pinto, T ; Vale, Z; Corchado, JM; Soares, J; Lezama, F;
PUBLISHED: 2019, SOURCE: 8th IEEE Symposium Series on Computational Intelligence, SSCI 2018 in Proceedings of the 2018 IEEE Symposium Series on Computational Intelligence, SSCI 2018, PAGES: 1823-1829
INDEXED IN: Scopus CrossRef: 6
2408
TITLE: Genetic fuzzy rule-based system using MOGUL learning methodology for energy consumption forecasting
AUTHORS: Jozi, A; Pinto, T ; Praca, I; Silva, F; Teixeira, B; Vale, Z;
PUBLISHED: 2019, SOURCE: ADCAIJ-ADVANCES IN DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE JOURNAL, VOLUME: 8, ISSUE: 1, PAGES: 55-64
INDEXED IN: Scopus WOS CrossRef
2409
TITLE: Gesture based alternative to control recreational UAV
AUTHORS: Ribeiro, R; Safadinho, D; Ramos, J; Rodrigues, N; Reis, A ; Pereira, A;
PUBLISHED: 2019, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2019 in Advances in Intelligent Systems and Computing, VOLUME: 931, PAGES: 34-44
INDEXED IN: Scopus CrossRef: 1
2410
TITLE: Get Your Spreadsheets Under (Version) Control
AUTHORS: José Nuno Macedo; Ricardo Moreira; Jácome Cunha ; João Saraiva ;
PUBLISHED: 2019, SOURCE: 22nd Ibero-American Conference on Software Engineering, CIbSE 2019 in Proceedings of the XXII Iberoamerican Conference on Software Engineering, CIbSE 2019, La Habana, Cuba, April 22-26, 2019., PAGES: 100-113
INDEXED IN: Scopus DBLP
2411
TITLE: Graph-Based Code Restructuring Targeting HLS for FPGAs
AUTHORS: Afonso Canas Ferreira; João M P Cardoso ;
PUBLISHED: 2019, SOURCE: 15th International Symposium on Applied Reconfigurable Computing, ARC 2019 in Applied Reconfigurable Computing - 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9-11, 2019, Proceedings, VOLUME: 11444, PAGES: 230-244
INDEXED IN: Scopus DBLP CrossRef: 1
2412
TITLE: Graph-of-Entity: A Model for Combined Data Representation and Retrieval
AUTHORS: José Luís Devezas ; Carla Teixeira Lopes ; Sérgio Nunes ;
PUBLISHED: 2019, SOURCE: 8th Symposium on Languages, Applications and Technologies, SLATE 2019 in 8th Symposium on Languages, Applications and Technologies, SLATE 2019, June 27-28, 2019, Coimbra, Portugal., VOLUME: 74, PAGES: 1:1-1:14
INDEXED IN: Scopus DBLP
2413
TITLE: GreenSource: a large-scale collection of Android code, tests and energy metrics
AUTHORS: Rui Rua ; Marco Couto ; João Saraiva ;
PUBLISHED: 2019, SOURCE: 16th IEEE/ACM International Conference on Mining Software Repositories, MSR 2019 in Proceedings of the 16th International Conference on Mining Software Repositories, MSR 2019, 26-27 May 2019, Montreal, Canada., VOLUME: 2019-May, PAGES: 176-180
INDEXED IN: Scopus DBLP CrossRef: 1
2414
TITLE: Guest Editorial. Special Issue on Data Mining for Geosciences  Full Text
AUTHORS: Alípio Jorge ; Rui L Lopes; German Larrazabal; Hamed Nikhalat-Jahromi;
PUBLISHED: 2019, SOURCE: Data Mining and Knowledge Discovery
INDEXED IN: CrossRef
2415
TITLE: Guest Editorial: Special Issue on Data Mining for Geosciences  Full Text
AUTHORS: Jorge, A ; Lopes, RL ; Larrazabal, G; Nikhalat Jahromi, H;
PUBLISHED: 2019, SOURCE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 33, ISSUE: 3, PAGES: 695-696
INDEXED IN: Scopus WOS DBLP
2416
TITLE: Hands-On Data Publishing with Researchers: Five Experiments with Metadata in Multiple Domains
AUTHORS: Joana Rodrigues; João Aguiar Castro ; João Rocha da Silva ; Cristina Ribeiro ;
PUBLISHED: 2019, SOURCE: 15th Italian Research Conference on Digital Libraries, IRCDL 2019 in Digital Libraries: Supporting Open Science - 15th Italian Research Conference on Digital Libraries, IRCDL 2019, Pisa, Italy, January 31 - February 1, 2019, Proceedings, VOLUME: 988, PAGES: 274-288
INDEXED IN: Scopus DBLP CrossRef: 3
2417
TITLE: Heart rate variability study in young subjects under stress conditions
AUTHORS: Sampaio, P; Leite, A ; Pereira, LT ; Martinez, JP; Vasconcelos Raposo, J;
PUBLISHED: 2019, SOURCE: 6th IEEE Portuguese Meeting on Bioengineering (ENBENG) in 2019 6TH IEEE PORTUGUESE MEETING IN BIOENGINEERING (ENBENG)
INDEXED IN: Scopus WOS CrossRef
2418
TITLE: Heart Sounds Classification Using Images from Wavelet Transformation
AUTHORS: Nogueira, DM ; Zarmehri, MN; Ferreira, CA ; Jorge, AM ; Antunes, L ;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2019, PT I, VOLUME: 11804, PAGES: 311-322
INDEXED IN: Scopus WOS DBLP CrossRef: 4
2419
TITLE: Heterogeneous Implementation of a Voronoi Cell-Based SVP Solver
AUTHORS: Falcao, G ; Cabeleira, F; Mariano, A; Santos, LP ;
PUBLISHED: 2019, SOURCE: IEEE ACCESS, VOLUME: 7, PAGES: 127012-127023
INDEXED IN: Scopus WOS CrossRef: 3
2420
TITLE: Heuristics for scheduling jobs in a permutation flow shop to minimize total earliness and tardiness with unforced idle time allowed  Full Text
AUTHORS: Jeffrey Schaller; Jorge M S Valente ;
PUBLISHED: 2019, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 119, PAGES: 376-386
INDEXED IN: Scopus WOS CrossRef: 19

Results per Page: 20.
Página 121 de 406. Total de resultados: 8120.