Inesc Tecnologia e Ciência (INESC TEC)
Inesc Technology and Science
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.
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!
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: 19067
1704 Team MembersFilters -> Year: 2025
AUTORES: José Bacelar Almeida ; Denis Firsov; Tiago Oliveira; Dominique Unruh;
PUBLICAÇÃO: 2025, FONTE: 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2025, co-located with POPL 2025 in Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2025, Denver, CO, USA, January 20-21, 2025, PÁGINAS: 3-16
AUTORES: Cruz, Ricardo P. M. ; Cristino, Rafael; Cardoso, Jaime S. ;
PUBLICAÇÃO: 2025, FONTE: IEEE ACCESS, VOLUME: 13, PÁGINAS: 28369-28380
AUTORES: da Costa, Vinicius Braga Ferreira; Bitencourt, Leonardo; Dias, Bruno Henriques; Soares, Tiago ; Andrade, Jorge Vleberton Bessa de; Bonatto, Benedito Donizeti;
PUBLICAÇÃO: 2025, FONTE: RENEWABLE & SUSTAINABLE ENERGY REVIEWS, VOLUME: 208, PÁGINAS: 114988
AUTORES: Baratto, Marie; Crama, Yves; Pedroso, Joao Pedro ; Viana, Ana ;
PUBLICAÇÃO: 2025, FONTE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 320, NÚMERO: 1, PÁGINAS: 20-34
AUTORES: Fernandes, Francisco ; Lopes, Joao Pecas; Moreira, Carlos ;
PUBLICAÇÃO: 2025, FONTE: IET GENERATION TRANSMISSION & DISTRIBUTION, VOLUME: 19, NÚMERO: 1
AUTORES: Madeira, Alexandre; Oliveira, Jose Nuno; Proenca, Jose ; Neves, Renato;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 143, PÁGINAS: 101023



AUTORES: Nogueira, Ana Filipa Rodrigues; Oliveira, Helder P. ; Luis F. Teixeira ;
PUBLICAÇÃO: 2025, FONTE: IMAGE AND VISION COMPUTING, VOLUME: 155, PÁGINAS: 105437
AUTORES: João Sousa ; Alexandre Lucas; José Villar;
PUBLICAÇÃO: 2025, FONTE: IET Conference Proceedings, VOLUME: 2024, NÚMERO: 29, PÁGINAS: 561-566


AUTORES: Vincenzi, Auri M. R.; Kuroishi, Pedro H.; Bispo, Joao ; da Veiga, Ana R. C.; da Mata, David R. C.; Azevedo, Francisco B.; Paiva, Ana C. R.;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 222, PÁGINAS: 112332
AUTORES: Caldeira, Eduarda; Neto, Pedro C. ; Huber, Marco; Damer, Naser; Sequeira, Ana F. ;
PUBLICAÇÃO: 2025, FONTE: INFORMATION FUSION, VOLUME: 114, PÁGINAS: 102657
AUTORES: Aliabadi, Danial Esmaeili; Pinto, Tiago ;
PUBLICAÇÃO: 2025, FONTE: ENERGIES, VOLUME: 18, NÚMERO: 2, PÁGINAS: 245
AUTORES: Veiga, Amelia; Gomes, A. Miguel ; Remiao, Fernando ;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF APPLIED RESEARCH IN HIGHER EDUCATION, VOLUME: 17, NÚMERO: 7, PÁGINAS: 61-75
AUTORES: Andrade, Hugo; Bispo, Joao ; Correia, Filipe F. ;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, VOLUME: 37, NÚMERO: 2
AUTORES: Kazemi Robati, Ehsan ; Varotto, Sofia; Silva, Bernardo ; Temiz, Irina;
PUBLICAÇÃO: 2025, FONTE: APPLIED ENERGY, VOLUME: 377, PÁGINAS: 124529
AUTORES: Almeida, Fernando ; Morais, Jose;
PUBLICAÇÃO: 2025, FONTE: E-LEARNING AND DIGITAL MEDIA, VOLUME: 22, NÚMERO: 2, PÁGINAS: 122-138
AUTORES: Guimaraes, Vania; Sousa, Ines; Cunha, Raquel; Magalhaes, Rosana; Machado, Alvaro; Fernandes, Vera; Reis, Silvia; Correia, Miguel Velhote ;
PUBLICAÇÃO: 2025, FONTE: COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, VOLUME: 259, PÁGINAS: 108508
AUTORES: Vânia Guimarães; Inês Sousa; Raquel Cunha; Rosana Magalhães; Álvaro Machado; Vera Fernandes; Pedro B P S Reis; Miguel Velhote Correia ;
PUBLICAÇÃO: 2025, FONTE: Comput. Methods Programs Biomed., VOLUME: 259, PÁGINAS: 108508

AUTORES: Homayouni, S. Mahdi; Fontes, Dalila B. M. M. ;
PUBLICAÇÃO: 2025, FONTE: INTERNATIONAL TRANSACTIONS IN OPERATIONAL RESEARCH, VOLUME: 32, NÚMERO: 1, PÁGINAS: 194-220
AUTORES: Paula Brito ; Pedro P Duarte Silva;
PUBLICAÇÃO: 2025, FONTE: Advances in Data Analysis and Classification

AUTORES: Manjunatha Shettigere Krishna; Pedro Machado; Richard I Otuka; Salisu W Yahaya; Filipe Neves dos Santos ; Isibor Kennedy Ihianle;
PUBLICAÇÃO: 2025, FONTE: J, VOLUME: 8, NÚMERO: 1, PÁGINAS: 4
