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: 9091
530 Team MembersFilters -> Year: 2025
AUTORES: Nuno Saavedra; João F Ferreira; Alexandra Mendes ;
PUBLICAÇÃO: 2025, FONTE: Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA Companion 2025, Clarion Hotel Trondheim, Trondheim, Norway, June 25-28, 2025, PÁGINAS: 41-45
CrossRefAUTORES: Fernanda Cosme; Tânia Rocha; Catarina Marques; João Barroso ; Alice Vilela;
PUBLICAÇÃO: 2025, FONTE: Applied Sciences (Switzerland), VOLUME: 15, NÚMERO: 8, PÁGINAS: 4538
CrossRefAUTORES: Gabriel De Jesus; Sérgio Nunes ;
PUBLICAÇÃO: 2025, FONTE: 15th International Conference on Innovative Concepts and Theories in Information Retrieval, ICTIR 2025 in Proceedings of the 2025 International ACM SIGIR Conference on Innovative Concepts and Theories in Information Retrieval (ICTIR), PÁGINAS: 297-306
CrossRefAUTORES: Isolina Oliveira; Alda Pereira; Lúcia Amante; Vitor Rocio ;
PUBLICAÇÃO: 2025, FONTE: Revista Docência e Cibercultura, VOLUME: 9, NÚMERO: 1, PÁGINAS: 1-19
CrossRefAUTORES: Inês Barbosa ; João Gama ; Bruno Veloso ;
PUBLICAÇÃO: 2025, FONTE: Progress in Artificial Intelligence - 24th EPIA Conference on Artificial Intelligence, EPIA 2025, Faro, Portugal, October 1-3, 2025, Proceedings, Part II, VOLUME: 16122, PÁGINAS: 232-245
AUTORES: Matthias Jakobs; Bruno Veloso ; João Gama ;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2502.07394
AUTORES: Tarifa, Silvia Lizeth Tapia; Proenca, Jose ; Oliveira, Jose ;
PUBLICAÇÃO: 2025, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 37, NÚMERO: 2, PÁGINAS: 10:1-10:2
AUTORES: Emanuel Rodrigues; José Nuno Macedo; João Saraiva ;
PUBLICAÇÃO: 2025, FONTE: Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming, Programming 2025, June 2-6, 2025, Prague 1, Czechia, VOLUME: 134, PÁGINAS: 19:1-19:15
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: Adao, Ruben; Wu, Zhongjie; Zhou, Changjun; Balmau, Oana; Paulo, Joao ; Macedo, Ricardo;
PUBLICAÇÃO: 2025, FONTE: 51st International Conference on Very Large Data Bases, VLDB 2025 in PROCEEDINGS OF THE VLDB ENDOWMENT, VOLUME: 18, NÚMERO: 9, PÁGINAS: 2872-2885
DataCiteAUTORES: Dias, Nuno ; Barbosa, Susana;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF APPLIED METEOROLOGY AND CLIMATOLOGY, VOLUME: 64, NÚMERO: 8, PÁGINAS: 933-942
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: Luís Filipe Cunha ; Nana Yu; Purificação Silvano; 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: 53-58
AUTORES: Alvarez, Marcos Lazaro; Bahillo, Alfonso; Arjona, Laura; Nogueira, Diogo Marcelo ; Gomes, Elsa Ferreira ; Jorge, Alipio M.;
PUBLICAÇÃO: 2025, FONTE: IEEE ACCESS, VOLUME: 13, PÁGINAS: 127240-127251
AUTORES: Rincon, Andre Mesquita; VINCENZI, AURI M. R. ; Faria, Joao Pascoal ;
PUBLICAÇÃO: 2025, FONTE: 2025 International Conference on Software Testing, Verification and Validation Workshops-ICSTW in 2025 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS, ICSTW, 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