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: 8651
531 Team MembersFilters -> Year: 2025
AUTORES: Pintani, Deborah; Caputo, Ariel; Mendes, Daniel ; Giachetti, Andrea;
PUBLICAÇÃO: 2025, FONTE: BEHAVIOUR & INFORMATION TECHNOLOGY, PÁGINAS: 1-17
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: 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: 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: Aliabadi, Danial Esmaeili; Pinto, Tiago ;
PUBLICAÇÃO: 2025, FONTE: ENERGIES, VOLUME: 18, NÚMERO: 2, PÁGINAS: 245
AUTORES: Hugo Andrade; João Bispo ; Filipe F. Correia ;
PUBLICAÇÃO: 2025, FONTE: Journal of Software: Evolution and Process, VOLUME: 37, NÚMERO: 2


AUTORES: Marcos Paulo Silva Gôlo; João Gama ; Ricardo Marcondes Marcacini;
PUBLICAÇÃO: 2025, FONTE: Lecture Notes in Computer Science - Intelligent Systems, PÁGINAS: 61-75

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


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
AUTORES: Ramoa, Mafalda; Santos, Luis Paulo ; Mayhall, Nicholas J.; Barnes, Edwin; Economou, Sophia E.;
PUBLICAÇÃO: 2025, FONTE: QUANTUM SCIENCE AND TECHNOLOGY, VOLUME: 10, NÚMERO: 1, PÁGINAS: 015031


AUTORES: Daniele Baccega; Jose Aguilar; Carlos Baquero ; Antonio Fernández Anta; Juan Marcos Ramirez;
PUBLICAÇÃO: 2025

AUTORES: Kumar, Rahul; Bhanu, Manish; Mendes moreira, Joao ; Chandra, Joydeep;
PUBLICAÇÃO: 2025, FONTE: ACM COMPUTING SURVEYS, VOLUME: 57, NÚMERO: 2
AUTORES: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis Soares ;
PUBLICAÇÃO: 2025, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240, PÁGINAS: 103196



AUTORES: Kuroishi, Pedro Henrique; Paiva, Ana Cristina Ramada ; Maldonado, Jose Carlos; Vincenzi, Auri Marcelo Rizzo;
PUBLICAÇÃO: 2025, FONTE: INFORMATION AND SOFTWARE TECHNOLOGY, VOLUME: 177, PÁGINAS: 107573



AUTORES: Reyes Norambuena, Pedro; Pinto, Alberto Adrego ; Martinez, Javier; Karbassi Yazdi, Amir; Tan, Yong;
PUBLICAÇÃO: 2025, FONTE: SUSTAINABILITY, VOLUME: 17, NÚMERO: 1, PÁGINAS: 41
AUTORES: Reis, Alexander Araujo; Leite, Rafael Angelo Santos; Walter, Cicero Eduardo; Reis, Igor Bezerra; Goncalves, Ramiro; Martins, Jose; Branco, Frederico ; Au Yong Oliveira, Manuel;
PUBLICAÇÃO: 2025, FONTE: EXPERT SYSTEMS, VOLUME: 42, NÚMERO: 2
AUTORES: Tiago Braga Fernandes; Bruno Barbosa Sousa; Jorge Esparteiro Garcia ; Manuel José Serra da Fonseca;
PUBLICAÇÃO: 2025, FONTE: Evolving Strategies for Organizational Management and Performance Evaluation, PÁGINAS: 581-602
AUTORES: Fontes, Mario Madureira; Morgado, Leonel Caseiro ; Pestana, Pedro; Pedrosa, Daniela; Cravino, Jose Paulo;
PUBLICAÇÃO: 2024, FONTE: THINKING SKILLS AND CREATIVITY, VOLUME: 52, PÁGINAS: 101470
AUTORES: Mário Rodrigues; José Paulo Leal ; Filipe, Portela;
PUBLICAÇÃO: 2024, FONTE: 13th Symposium on Languages, Applications and Technologies, SLATE 2024 in SLATE, VOLUME: 120

