CS: Computer Science
CS: Computer 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: 8566
531 Team MembersFilters -> Year: 2025
AUTORES: Silva, Rui Pedro; Mamede, Henrique Sao ; Santos, Vitor;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF INNOVATION & KNOWLEDGE, VOLUME: 10, NÚMERO: 1, PÁGINAS: 100644
AUTORES: Manuel Barbosa ; François Dupressoir; Andreas Hülsing; Matthias Meijers; Pierre-Yves Strub;
PUBLICAÇÃO: 2025, FONTE: 30th Annual International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2024 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 15487 LNCS, PÁGINAS: 35-67
![](/img/scopus_icon.png)
AUTORES: Barros, Ana; Neto, Henrique; Cunha, Alcino ; Macedo, Nuno ; Paiva, Ana C. R. ;
PUBLICAÇÃO: 2025, FONTE: 26th International Symposium on Formal Methods (FM) in FORMAL METHODS, PT II, FM 2024, VOLUME: 14934, PÁGINAS: 104-121
AUTORES: Almeida, Paulo sergio ;
PUBLICAÇÃO: 2025, FONTE: ACM COMPUTING SURVEYS, VOLUME: 57, NÚMERO: 2, PÁGINAS: 1-36
AUTORES: Neto, Nuno; Rolando Martins ; Veiga, Luis;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 222, PÁGINAS: 112317
AUTORES: Luciane Maria Fadel; António Coelho ;
PUBLICAÇÃO: 2025, FONTE: Springer Series in Design and Innovation, VOLUME: 51, PÁGINAS: 30-41
![](/img/scopus_icon.png)
![](/img/crossref.png)
AUTORES: SILVA, ISABEL ; Maria Eduarda Silva ; Isabel Pereira;
PUBLICAÇÃO: 2025, FONTE: Springer Proceedings in Mathematics & Statistics - New Frontiers in Statistics and Data Science, PÁGINAS: 83-98
![](/img/crossref.png)
AUTORES: João José Maranhão Junior; Filipe F. Correia ; Eduardo Martins Guerra;
PUBLICAÇÃO: 2025, FONTE: Agile Processes in Software Engineering and Extreme Programming – Workshops, PÁGINAS: 130-138
![](/img/crossref.png)
![](/img/unpaywall-green-xs.png)
AUTORES: Adelaide Figueiredo ;
PUBLICAÇÃO: 2025, FONTE: Springer Proceedings in Mathematics & Statistics - New Frontiers in Statistics and Data Science, PÁGINAS: 423-435
![](/img/crossref.png)
AUTORES: Fábio Couto; Mariana Curado Malta ;
PUBLICAÇÃO: 2025, FONTE: 26th International Conference on Human-Computer Interaction, HCII 2024 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 15374 LNCS, PÁGINAS: 3-22
![](/img/scopus_icon.png)
![](/img/crossref.png)
AUTORES: Lala H Rajaoarisoa; Raubertin Randrianandraina; Grzegorz J Nalepa; João Gama ;
PUBLICAÇÃO: 2025, FONTE: Eng. Appl. Artif. Intell., VOLUME: 139, PÁGINAS: 109601
AUTORES: Vilaças D Nogueira; Solteiro J Pires; Arsénio Reis; de Moura Oliveira, PB ; António Pereira; João Barroso;
PUBLICAÇÃO: 2025, FONTE: 19th International Conference on Soft Computing Models in Industrial and Environmental Applications, SOCO 2024 in Lecture Notes in Networks and Systems, VOLUME: 889 LNNS, PÁGINAS: 221-230
AUTORES: Silva, Mateus; Paiva, Ana C. R. ; Mendes, Alexandra;
PUBLICAÇÃO: 2025, FONTE: SOFTWARE QUALITY JOURNAL, VOLUME: 33, NÚMERO: 1, PÁGINAS: 5
AUTORES: Marcos, Ricardo; Gomes, Andre; Santos, Marta; Coelho, Antonio ;
PUBLICAÇÃO: 2025, FONTE: ANATOMICAL SCIENCES EDUCATION
AUTORES: José Bacelar Almeida ; Denis Firsov; Tiago Oliveira; Dominique Unruh;
PUBLICAÇÃO: 2025, FONTE: 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
![](/img/dblp_icon.png)
![](/img/crossref.png)
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
![](/img/scopus_icon.png)
![](/img/clarivate-icon.png)
![](/img/dblp_icon.png)
AUTORES: Aliabadi, Danial Esmaeili; Pinto, Tiago ;
PUBLICAÇÃO: 2025, FONTE: ENERGIES, VOLUME: 18, NÚMERO: 2, PÁGINAS: 245
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: Bruna Rocha; Álvaro Figueira ;
PUBLICAÇÃO: 2025, FONTE: Informatics, VOLUME: 12, NÚMERO: 1, PÁGINAS: 6
![](/img/crossref.png)
![](/img/unpaywall-green-xs.png)
AUTORES: Cláudia Brito ; Noela Pina; Tânia Esteves ; Ricardo Vitorino; Inês Cunha; João Paulo ;
PUBLICAÇÃO: 2025, FONTE: Transportation Engineering, VOLUME: 19, PÁGINAS: 100237