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: 8434
531 Team MembersFilters -> Year: 2024
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: 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: 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: 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: 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: João Bispo ; Sotirios Xydis; Serena Curzel; Luís Miguel Sousa;
PUBLICAÇÃO: 2024, FONTE: PARMA-DITAM, VOLUME: 116
AUTORES: Fernando Fonseca; Maurício Sousa; Daniel Mendes ; Alfredo Ferreira; Joaquim A Jorge;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2405.18887
AUTORES: Campos, Jose Creissac ; Luyten, Kris; Nigay, Laurence; Palanque, Philippe; Paterno, Fabio; Spano, Lucio Davide; Vanderdonckt, Jean;
PUBLICAÇÃO: 2024, FONTE: ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS) in COMPANION OF THE 2024 ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS, EICS 2024, PÁGINAS: 92-96
AUTORES: Almeida, Ruben; Sousa, Hugo ; Cunha, Luis F. ; Guimaraes, Nuno ; Campos, Ricardo ; Jorge, Alipio ;
PUBLICAÇÃO: 2024, FONTE: 46th European Conference on Information Retrieval (ECIR) in ADVANCES IN INFORMATION RETRIEVAL, ECIR 2024, PT V, VOLUME: 14612, PÁGINAS: 189-193
AUTORES: Ferreira, Ines A.; Palazzo, Guido; Pinto, Antonio ; Pinto, Pedro; Sousa, Pedro; Godina, Radu; Carvalho, Helena;
PUBLICAÇÃO: 2024, FONTE: OPERATIONS MANAGEMENT RESEARCH
AUTORES: Matos, Joao N.; Bispo, Joao ; Sousa, Luis Miguel;
PUBLICAÇÃO: 2024, FONTE: Rapido Workshop on Rapid Simulation and Performance Evaluation - Methods and Tools (Rapido) / HiPEAC Conference in PROCEEDINGS OF THE RAPIDO 2024 WORKSHOP, HIPEAC 2024, PÁGINAS: 1-8
AUTORES: Pedro Fernandes; Sérgio Nunes ; Luís Santos;
PUBLICAÇÃO: 2024, FONTE: Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, LREC/COLING 2024, 20-25 May, 2024, Torino, Italy., PÁGINAS: 164-173
AUTORES: Cláudia Brito ; Pedro Ferreira ; João Paulo;
PUBLICAÇÃO: 2024
AUTORES: da Silva, Manuel Cerqueira; Sousa, Luis ; Paulino, Nuno ; Bispo, Joao ;
PUBLICAÇÃO: 2024, FONTE: 20th International Symposium on Applied Reconfigurable Computing (ARC) in APPLIED RECONFIGURABLE COMPUTING. ARCHITECTURES, TOOLS, AND APPLICATIONS, ARC 2024, VOLUME: 14553, PÁGINAS: 181-190
AUTORES: Santos, Tiago; Bispo, Joao ; Cardoso, Joao M. P. ;
PUBLICAÇÃO: 2024, FONTE: 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES) in PROCEEDINGS OF THE 25TH ACM SIGPLAN/SIGBED INTERNATIONAL CONFERENCE ON LANGUAGES, COMPILERS, AND TOOLS FOR EMBEDDED SYSTEMS, LCTES 2024, PÁGINAS: 178-182
AUTORES: Mohammad Gulam Lorgat ; Hugo Paredes ; Tânia Rocha ;
PUBLICAÇÃO: 2024, FONTE: World Conference on Smart Trends in Systems, Security and Sustainability, WS4 2023 in Lecture Notes in Networks and Systems, VOLUME: 812, PÁGINAS: 373-390
AUTORES: Servranckx, Tom; Coelho, Jose ; Vanhoucke, Mario;
PUBLICAÇÃO: 2024, FONTE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 316, NÚMERO: 3, PÁGINAS: 815-827