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: 8755
531 Team MembersFilters -> Year: 2025
AUTORES: Silvia Lizeth Tapia Tarifa; José Proença; José N Oliveira ;
PUBLICAÇÃO: 2025, FONTE: Formal Aspects Comput., VOLUME: 37, NÚMERO: 2, PÁGINAS: 10:1-10:2
AUTORES: Rodrigues, Eduardo M.; Baghoussi, Yassine; Mendes Moreira, Joao ;
PUBLICAÇÃO: 2025, FONTE: EXPERT SYSTEMS, VOLUME: 42, NÚMERO: 2
AUTORES: da Silva, Joao Pinto ; Nogueira, Ana Rita ; Pinto, Jose; Curral, Manuel; Alves, Antonio Correia; Sousa, Ricardo ;
PUBLICAÇÃO: 2025, FONTE: EXPERT SYSTEMS, VOLUME: 42, NÚMERO: 2
AUTORES: Pintani, Deborah; Caputo, Ariel; Mendes, Daniel ; Giachetti, Andrea;
PUBLICAÇÃO: 2025, FONTE: BEHAVIOUR & INFORMATION TECHNOLOGY, PÁGINAS: 1-17
AUTORES: Almeida, Jose Bacelar ; Firsov, Denis; Oliveira, Tiago; Unruh, Dominique;
PUBLICAÇÃO: 2025, FONTE: 14th Conference on Certified Programs and Proofs in PROCEEDINGS OF THE 14TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2025, PÁGINAS: 3-16
AUTORES: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2504.10134

AUTORES: André Mesquita Rincon; Auri Marcelo Rizzo Vincenzi; João Pascoal Faria ;
PUBLICAÇÃO: 2025, FONTE: 18th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2025 in IEEE International Conference on Software Testing, Verification and Validation, ICST 2025 - Workshops, Naples, Italy, March 31 - April 4, 2025, PÁGINAS: 21-28


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: Penelas, Goncalo; Barbosa, Luis ; Reis, Arsenio; Barroso, Joao ; Pinto, Tiago;
PUBLICAÇÃO: 2025, FONTE: ALGORITHMS, VOLUME: 18, NÚMERO: 2, PÁGINAS: 106
AUTORES: Coelho, Micaella; Ocana, Kary; Pereira, Andre ; Porto, Alexandre; Cardoso, Douglas O.; Lorenzon, Arthur; Oliveira, Rui; Navaux, Philippe O. A.; Osthoff, Carla;
PUBLICAÇÃO: 2025, FONTE: 11th Latin American Conference on High Performance Computing in HIGH PERFORMANCE COMPUTING, CARLA 2024, VOLUME: 2270, PÁGINAS: 186-200
AUTORES: Luís Filipe Cunha; Nuno Guimarães ; Alexandra Mendes ; Ricardo Campos; Alípio Jorge;
PUBLICAÇÃO: 2025, FONTE: 47th European Conference on Information Retrieval, ECIR 2025 in Advances in Information Retrieval - 47th European Conference on Information Retrieval, ECIR 2025, Lucca, Italy, April 6-10, 2025, Proceedings, Part V, VOLUME: 15576, PÁGINAS: 72-77
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: Bonfim, Cristiane Jorge; Morgado, Leonel ; Pedrosa, Daniela;
PUBLICAÇÃO: 2025, FONTE: 10th International Conference of the Immersive Learning Research Network in IMMERSIVE LEARNING RESEARCH NETWORK, ILRN 2024, PT I, VOLUME: 2271, PÁGINAS: 471-481
AUTORES: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2504.08647

AUTORES: Aliabadi, Danial Esmaeili; Pinto, Tiago ;
PUBLICAÇÃO: 2025, FONTE: ENERGIES, VOLUME: 18, NÚMERO: 2, PÁGINAS: 245
AUTORES: Luciano Caroprese; Francesco Sergio Pisani; Bruno Miguel Veloso ; Matthias König; Giuseppe Manco; Holger H Hoos; João Gama ;
PUBLICAÇÃO: 2025, FONTE: Trans. Recomm. Syst., VOLUME: 3, NÚMERO: 2, PÁGINAS: 24:1-24:28
AUTORES: Barisic, Ankica; Cunha, Jacome ; Ruchkin, Ivan; Moreira, Ana; Araujo, Joao; Challenger, Moharram; Savic, Dusan; Amaral, Vasco;
PUBLICAÇÃO: 2025, FONTE: SUSTAINABLE COMPUTING-INFORMATICS & SYSTEMS, VOLUME: 45, PÁGINAS: 101051
AUTORES: Ioannis Chrysakis; Evangelos Agorogiannis; Nikoleta Tsampanaki; Michalis Vourtzoumis; Eva Chondrodima; Yannis Theodoridis; Domen Mongus; Ben Capper; Martin Wagner; Aris Sotiropoulos; Fábio André Coelho; Cláudia Vanessa Brito ; Panos Protopapas; Despina Brasinika; Ioanna Fergadiotou; Christos Doulkeridis;
PUBLICAÇÃO: 2025, FONTE: Proceedings Design Automation and Test in Europe Date, PÁGINAS: 1-7


AUTORES: Andrade, Hugo; Bispo, Joao ; Correia, Filipe F. ;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, VOLUME: 37, NÚMERO: 2
AUTORES: Silva, Vanessa Freitas ; Silva, Maria Eduarda ; Ribeiro, Pedro ; Silva, Fernando ;
PUBLICAÇÃO: 2025, FONTE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 39, NÚMERO: 3, PÁGINAS: 17