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: 10660

536 Team Members
Filters -> Year: 2026
3961
TÍTULO: Formal techniques in the safety analysis of software components of a new dialysis machine
AUTORES: Harrison, MD; Freitas, L; Drinnan, M; Campos, JC ; Masci, P ; di Maria, C; Whitaker, M;
PUBLICAÇÃO: 2019, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175, PÁGINAS: 17-34
INDEXADO EM: Scopus WOS DBLP CrossRef: 20
3962
TÍTULO: Formal Verification of Interactive Computing Systems: Opportunities, Challenges
AUTORES: José Creissac Campos ; Michael D Harrison;
PUBLICAÇÃO: 2019, FONTE: EICS Workshops, VOLUME: 2503, PÁGINAS: 69-75
INDEXADO EM: Scopus DBLP
3963
TÍTULO: From Requirements to Automated Acceptance Tests of Interactive Apps: An Integrated Model-based Testing Approach
AUTORES: Maciel, D; Paiva, ACR ; da Silva, AR ;
PUBLICAÇÃO: 2019, FONTE: 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), PÁGINAS: 265-272
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
3964
TÍTULO: Full-Duplex Jamming for Enhanced Hidden-Key Secrecy
AUTORES: Dryer, Z; Nickerl, A; Gomes, MAC; Vilela, JP ; Harrison, WK;
PUBLICAÇÃO: 2019, FONTE: IEEE International Conference on Communications (ICC) in ICC 2019 - 2019 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), VOLUME: 2019-May
INDEXADO EM: Scopus WOS CrossRef: 4
3965
TÍTULO: Gait stride-to-stride variability and foot clearance pattern analysis in Idiopathic Parkinson's Disease and Vascular Parkinsonism
AUTORES: Ferreira, Flora ; Gago, MF; Bicho, E ; Carvalho, C; Mollaei, N; Rodrigues, L; Sousa, N ; Rodrigues, PP ; Ferreira, C ; Gama, J ;
PUBLICAÇÃO: 2019, FONTE: JOURNAL OF BIOMECHANICS, VOLUME: 92, PÁGINAS: 98-104
INDEXADO EM: Scopus WOS CrossRef: 28 Handle
3966
TÍTULO: Gamificação de uma plataforma social académica numa universidade de ensino a distância
AUTORES: Fernando Saraiva; Lina Morgado; Vitor Rocio ;
PUBLICAÇÃO: 2019
INDEXADO EM: Handle
3967
TÍTULO: Gender differences in competition: gender equality and cost reduction policies
AUTORES: António Osório ;
PUBLICAÇÃO: 2019, FONTE: Review of Economic Design, VOLUME: 23, NÚMERO: 1-2, PÁGINAS: 27-52
INDEXADO EM: Scopus CrossRef
3968
TÍTULO: Generalising KAT to Verify Weighted Computations
AUTORES: Leonardo Gomes ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2019, FONTE: SCIENTIFIC ANNALS OF COMPUTER SCIENCE, VOLUME: 29, NÚMERO: 2, PÁGINAS: 141-184
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
3969
TÍTULO: Generating a Binary Symmetric Channel for Wiretap Codes
AUTORES: Harrison, WK; Fernandes, T; Gomes, MAC; Vilela, JP ;
PUBLICAÇÃO: 2019, FONTE: IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, VOLUME: 14, NÚMERO: 8, PÁGINAS: 2128-2138
INDEXADO EM: Scopus WOS CrossRef: 13
3970
TÍTULO: Generating Synthetic Missing Data: A Review by Missing Mechanism
AUTORES: Miriam Seoane Santos ; Ricardo Cardoso Pereira ; Adriana Fonseca Costa; Jastin Pompeu Soares; João A M Santos; Pedro Henriques Abreu ;
PUBLICAÇÃO: 2019, FONTE: IEEE Access, VOLUME: 7, PÁGINAS: 11651-11667
INDEXADO EM: DBLP
3971
TÍTULO: Generating Synthetic Missing Data: A Review by Missing Mechanism
AUTORES: Santos, MS ; Pereira, RC ; Costa, AF; Soares, JP; Santos, J ; Abreu, PH ;
PUBLICAÇÃO: 2019, FONTE: IEEE ACCESS, VOLUME: 7, PÁGINAS: 11651-11667
INDEXADO EM: Scopus WOS CrossRef: 80 Unpaywall
3972
TÍTULO: Genetic Algorithms for Portfolio Optimization with Weighted Sum Approach
AUTORES: Faia, R; Pinto, T ; Vale, Z ; Corchado, JM; Soares, J; Lezama, F;
PUBLICAÇÃO: 2019, FONTE: 8th IEEE Symposium Series on Computational Intelligence, SSCI 2018 in Proceedings of the 2018 IEEE Symposium Series on Computational Intelligence, SSCI 2018, PÁGINAS: 1823-1829
INDEXADO EM: Scopus CrossRef: 7
3973
TÍTULO: Genetic fuzzy rule-based system using MOGUL learning methodology for energy consumption forecasting
AUTORES: Jozi, A; Pinto, T ; Praca, I; Silva, F; Teixeira, B; Vale, Z ;
PUBLICAÇÃO: 2019, FONTE: ADCAIJ-ADVANCES IN DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE JOURNAL, VOLUME: 8, NÚMERO: 1, PÁGINAS: 55-64
INDEXADO EM: Scopus WOS CrossRef
3974
TÍTULO: Gesture based alternative to control recreational UAV
AUTORES: Ribeiro, R; Safadinho, D; Ramos, J; Rodrigues, N ; Reis, A ; Pereira, A ;
PUBLICAÇÃO: 2019, FONTE: World Conference on Information Systems and Technologies, WorldCIST 2019 in Advances in Intelligent Systems and Computing, VOLUME: 931, PÁGINAS: 34-44
INDEXADO EM: Scopus CrossRef: 1
3975
TÍTULO: Get Your Spreadsheets Under (Version) Control
AUTORES: José Nuno Macedo ; Ricardo Moreira; Jácome Cunha ; João Saraiva ;
PUBLICAÇÃO: 2019, FONTE: CIbSE, PÁGINAS: 100-113
INDEXADO EM: Scopus DBLP
3976
TÍTULO: Going Back to Basics on Volumetric Segmentation of the Lungs in CT: A Fully Image Processing Based Technique
AUTORES: Oliveira, AC; Inês Domingues ; Duarte, H; Santos, J ; Abreu, PH ;
PUBLICAÇÃO: 2019, FONTE: 9th Iberian Conference on Pattern Recognition and Image Analysis, IbPRIA 2019 in PATTERN RECOGNITION AND IMAGE ANALYSIS, IBPRIA 2019, PT II, VOLUME: 11868, PÁGINAS: 322-334
INDEXADO EM: Scopus WOS DBLP CrossRef: 1 Unpaywall
3977
TÍTULO: Graph-Based Code Restructuring Targeting HLS for FPGAs
AUTORES: Afonso Canas Ferreira; João M P Cardoso ;
PUBLICAÇÃO: 2019, FONTE: ARC, VOLUME: 11444 LNCS, PÁGINAS: 230-244
INDEXADO EM: Scopus DBLP CrossRef: 2
3978
TÍTULO: Graph-of-Entity: A Model for Combined Data Representation and Retrieval
AUTORES: José Luís Devezas ; Carla Teixeira Lopes ; Sérgio Nunes ;
PUBLICAÇÃO: 2019, FONTE: SLATE, VOLUME: 74, PÁGINAS: 1:1-1:14
INDEXADO EM: Scopus DBLP
3979
TÍTULO: GreenHub farmer: real-world data for Android energy mining
AUTORES: Hugo Matalonga; Bruno Cabral; Fernando Castor; Marco Couto ; Rui Pereira ; Simão Melo de Sousa ; João Paulo Fernandes ;
PUBLICAÇÃO: 2019, FONTE: MSR, VOLUME: 2019-May, PÁGINAS: 171-175
INDEXADO EM: Scopus DBLP CrossRef: 7
3980
TÍTULO: GreenSource: a large-scale collection of Android code, tests and energy metrics
AUTORES: Rui Rua ; Marco Couto ; João Saraiva ;
PUBLICAÇÃO: 2019, FONTE: MSR, VOLUME: 2019-May, PÁGINAS: 176-180
INDEXADO EM: Scopus DBLP CrossRef: 7

Results per Page: 20.
Página 199 de 533. Total de resultados: 10660.