Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
Universidade do Porto (UP) :: Faculdade de Engenharia (FEUP)
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: 3963
49 Team MembersFilters -> Year: 2024
AUTORES: Abreu, Miguel; Reis, Luis Paulo ; Lau, Nuno;
PUBLICAÇÃO: 2025, FONTE: NEUROCOMPUTING, VOLUME: 614, PÁGINAS: 128771
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: Ricardo Urjais Gomes; Carlos Soares ; Luis Paulo Reis;
PUBLICAÇÃO: 2025, FONTE: 23rd EPIA Conference on Artificial Intelligence, EPIA 2024 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 14969 LNAI, PÁGINAS: 188-199
AUTORES: André Sales Mendes; Álvaro Lozano Murciego; Luís Augusto Silva; Diego Jiménez Bravo; María Navarro Cáceres; Gilberto Bernardes ;
PUBLICAÇÃO: 2025, FONTE: 23rd EPIA Conference on Artificial Intelligence, EPIA 2024 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 14967 LNAI, PÁGINAS: 91-102
AUTORES: Cátia Teixeira; Inês Gomes; Luís Cunha; Carlos Soares ; Jan van Rijn;
PUBLICAÇÃO: 2025, FONTE: 23rd EPIA Conference on Artificial Intelligence, EPIA 2024 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 14968 LNAI, PÁGINAS: 261-272
AUTORES: Kumar, Rahul; Bhanu, Manish; Mendes moreira, Joao ; Chandra, Joydeep;
PUBLICAÇÃO: 2025, FONTE: ACM COMPUTING SURVEYS, VOLUME: 57, NÚMERO: 2
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: 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: 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: 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: Eliseu Pereira; João Reis; Rosaldo J F Rossetti; Gil Gonçalves ;
PUBLICAÇÃO: 2024, FONTE: IEEE Transactions on Industrial Cyber-Physical Systems, VOLUME: 2, PÁGINAS: 90-97
AUTORES: Aly, Luis; Godinho, Leonor; Bota, Patricia; Bernardes, Gilberto ; da Silva, Hugo Placido;
PUBLICAÇÃO: 2024, FONTE: SCIENTIFIC DATA, VOLUME: 11, NÚMERO: 1
AUTORES: Magalhaes, Mariana ; Melo, Miguel; Coelho, Antonio Fernando ; Bessa, Maximino;
PUBLICAÇÃO: 2024, FONTE: IEEE ACCESS, VOLUME: 12, PÁGINAS: 169955-169976
AUTORES: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLICAÇÃO: 2024, FONTE: ICAART (Revised Selected Paper), VOLUME: 14546
AUTORES: Bruno Georgevich Ferreira; Sousa, A. ; Luís Paulo Reis; António Augusto de Sousa; Rui Rodrigues; Rosaldo Rossetti;
PUBLICAÇÃO: 2024, FONTE: 23rd EPIA Conference on Artificial Intelligence, EPIA 2024 in Progress in Artificial Intelligence - 23rd EPIA Conference on Artificial Intelligence, EPIA 2024, Viana do Castelo, Portugal, September 3-6, 2024, Proceedings, Part III, VOLUME: 14969, PÁGINAS: 53-64
AUTORES: Silva, Pedro; Cunha, Alcino ; Macedo, Nuno ; Oliveira, Jose N.;
PUBLICAÇÃO: 2024, FONTE: 10th International Conference on Rigorous State-Based Methods (ABZ) in RIGOROUS STATE-BASED METHODS, ABZ 2024, VOLUME: 14759, PÁGINAS: 61-79
AUTORES: Reis, Simao; Novais, Rita; Reis, Luis Paulo ; Lau, Nuno;
PUBLICAÇÃO: 2024, FONTE: IEEE TRANSACTIONS ON GAMES, VOLUME: 16, NÚMERO: 2, PÁGINAS: 365-375