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: 3947
49 Team MembersFilters -> Year: 2025
AUTORES: Almeida, JB ; Cunha, A ; Macedo, N ; Pacheco, H ; Proenca, J ;
PUBLICAÇÃO: 2018, FONTE: 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP) in PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, VOLUME: 2, NÚMERO: ICFP, PÁGINAS: 82:1-82:17
AUTORES: Pedro Martins Pontes; Bruno Lima ; Joao Pascoal Faria ;
PUBLICAÇÃO: 2018, FONTE: 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation (A-TEST) in PROCEEDINGS OF THE 9TH ACM SIGSOFT INTERNATIONAL WORKSHOP ON AUTOMATING TEST CASE DESIGN, SELECTION, AND EVALUATION (A-TEST '18), PÁGINAS: 63-66
AUTORES: Maximino Bessa ; Miguel Melo ; Augusto de Sousa, AA ; Jose Vasconcelos Raposo ;
PUBLICAÇÃO: 2018, FONTE: COMPUTERS & GRAPHICS-UK, VOLUME: 71, PÁGINAS: 35-41
AUTORES: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2018, FONTE: 33rd IEEE/ACM International Conference on Automated Software Engineering, ASE 2018 in Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018, PÁGINAS: 884-887
AUTORES: Melinda Oroszlanyova; Carla Teixeira Lopes ; Sergio Nunes ; Cristina Ribeiro ;
PUBLICAÇÃO: 2018, FONTE: 13th Iberian Conference on Information Systems and Technologies (CISTI) in 2018 13TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2018-June, PÁGINAS: 1-7
AUTORES: Jorge G Barbosa ; Emmanuel Jeannot;
PUBLICAÇÃO: 2018, FONTE: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 30, NÚMERO: 23
AUTORES: Pereira, V; Oliveira, E ;
PUBLICAÇÃO: 2018, FONTE: 12th International Technology, Education and Development Conference (INTED) in 12TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE (INTED), PÁGINAS: 318-325

AUTORES: Joana Cerqueira; Miguel Pais Clemente ; Gilberto Bernardes ; Henk Van Twillert; Ana Portela; Joaquim Mendes ; Mario Vasconcelos;
PUBLICAÇÃO: 2018, FONTE: 6th ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing (VipIMAGE) in VIPIMAGE 2017, VOLUME: 27, PÁGINAS: 1069-1078
AUTORES: César Ferreira; Tomas Cunha; Cristina P Santos; Luís Paulo Reis ;
PUBLICAÇÃO: 2018, FONTE: 25th IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2018 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), PÁGINAS: 4369-4374
AUTORES: José Ribeiro; Nuno Machado ; Francisco Maia ; Miguel Matos ;
PUBLICAÇÃO: 2018, FONTE: 18th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2018 Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018 in Distributed Applications and Interoperable Systems - 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings, VOLUME: 10853, PÁGINAS: 58-74
AUTORES: Alberto Rodrigues da Silva; Ana C R Paiva ; Valter Emanuel R da Silva;
PUBLICAÇÃO: 2018, FONTE: Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, Funchal, Madeira - Portugal, January 22-24, 2018., VOLUME: 2018-January, PÁGINAS: 213-224
AUTORES: Marinheiro, J; Lopes Cardoso, H ;
PUBLICAÇÃO: 2018, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10780 LNCS, PÁGINAS: 164-192
AUTORES: Jacob, J ; Lopes, A ; Nobrega, R ; Rodrigues, R ; Coelho, A ;
PUBLICAÇÃO: 2018, FONTE: 14th International Conference on Advances in Computer Entertainment Technology, ACE 2017 in ADVANCES IN COMPUTER ENTERTAINMENT TECHNOLOGY, ACE 2017, VOLUME: 10714, PÁGINAS: 278-292
AUTORES: Bruno Lima ; João Pascoal Faria ;
PUBLICAÇÃO: 2018, FONTE: 20th IEEE International Conference on e-Health Networking, Applications and Services, Healthcom 2018, Ostrava, Czech Republic, September 17-20, 2018, PÁGINAS: 1-4
AUTORES: Adriano Rivolli ; Luís P F Garcia; Carlos Soares ; Joaquin Vanschoren; André C P L F de Carvalho;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1808.10406


AUTORES: Alexandra Mendes ; Joao F Ferreira;
PUBLICAÇÃO: 2018, FONTE: 9th International Conference on Interactive Theorem Proving (ITP) Held as Part of the Federated Logic Conference (FloC) in INTERACTIVE THEOREM PROVING, ITP 2018, VOLUME: 10895, PÁGINAS: 432-440


AUTORES: Gil Domingues; João Cabral; João Mota; Pedro Pontes; Zafeiris Kokkinogenis ; Rosaldo J F Rossetti ;
PUBLICAÇÃO: 2018, FONTE: 2018 IEEE International Smart Cities Conference, ISC2 2018 in IEEE International Smart Cities Conference, ISC2 2018, Kansas City, MO, USA, September 16-19, 2018, PÁGINAS: 1-6
AUTORES: Ngoc Thanh Nguyen; Ryszard Kowalczyk; Jaap van v den Herik; Ana Paula Rocha ; Joaquim Filipe;
PUBLICAÇÃO: 2018, FONTE: Trans. Computational Collective Intelligence, VOLUME: 10780

AUTORES: Álvaro Rocha; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo;
PUBLICAÇÃO: 2018

AUTORES: Álvaro Rocha ; Ana Maria Ramalho Correia; Hojjat Adeli; Luís Paulo Reis ; Marcelo Mendonça Teixeira;
PUBLICAÇÃO: 2018, FONTE: WorldCIST (1), VOLUME: 745
