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: 3942
49 Team MembersFilters -> Year: 2024
AUTORES: Thomas Durieux; Rui Abreu ; Martin Monperrus; Tegawendé F Bissyandé;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1904.09416
AUTORES: Santos, PM; Lopes, CT ;
PUBLICAÇÃO: 2019, FONTE: 14th Iberian Conference on Information Systems and Technologies (CISTI) in 2019 14TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2019-June
AUTORES: Adriano Rivolli; Catarina Amaral; Luís Guardão ; Cláudio Rebelo de Sá; Carlos Soares ;
PUBLICAÇÃO: 2019, FONTE: 22nd International Conference on Discovery Science, DS 2019 in Discovery Science - 22nd International Conference, DS 2019, Split, Croatia, October 28-30, 2019, Proceedings, VOLUME: 11828, PÁGINAS: 481-492
AUTORES: Jose Vieira; Rui Nobrega ; Vasco Pereira; Antonio Coelho ; Alexandre Jacinto; Carla Morais ;
PUBLICAÇÃO: 2019, FONTE: International Conference on Graphics and Interaction (ICGI) in PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2019), PÁGINAS: 122-129
AUTORES: Ines Koch ; Nuno Freitas; Cristina Ribeiro ; Carla Teixeira Lopes ; Joao Rocha da Silva ;
PUBLICAÇÃO: 2019, FONTE: 23rd International Conference on Theory and Practice of Digital Libraries (TPDL) in DIGITAL LIBRARIES FOR OPEN KNOWLEDGE, TPDL 2019, VOLUME: 11799, PÁGINAS: 99-106
AUTORES: Vítor Cerqueira ; Luís Torgo ; Carlos Soares ;
PUBLICAÇÃO: 2019, FONTE: 22nd International Conference on Discovery Science, DS 2019 in Discovery Science - 22nd International Conference, DS 2019, Split, Croatia, October 28-30, 2019, Proceedings, VOLUME: 11828, PÁGINAS: 445-459
AUTORES: Abreu, M ; Reis, LP ; Cardoso, HL ;
PUBLICAÇÃO: 2019, FONTE: 19th IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2019 19TH IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC 2019), PÁGINAS: 128-134
AUTORES: Miguel Abreu ; Nuno Lau ; Armando Sousa ; Luis Paulo Reis ;
PUBLICAÇÃO: 2019, FONTE: 19th IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2019 19TH IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC 2019), PÁGINAS: 256-263
AUTORES: Miguel Abreu ; Luís Paulo Reis ; Nuno Lau ;
PUBLICAÇÃO: 2019, FONTE: 23rd Annual RoboCup International Symposium, RoboCup 2019 in RoboCup 2019: Robot World Cup XXIII [Sydney, NSW, Australia, July 8, 2019]., VOLUME: 11531, PÁGINAS: 3-15
AUTORES: Amaral, D; Domingues, G; Dias, JP ; Ferreira, HS ; Aguiar, A ; Nobrega, R ;
PUBLICAÇÃO: 2019, FONTE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE), PÁGINAS: 37-46
AUTORES: Ademar Aguiar ; André Restivo ; Filipe Figueiredo Correia ; Hugo Sereno Ferreira ; João Pedro Dias ;
PUBLICAÇÃO: 2019, FONTE: 3rd International Conference on Art, Science, and Engineering of Programming, Programming 2019 in Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming, Genova, Italy, April 1-4, 2019, PÁGINAS: 22:1-22:6
AUTORES: Bruno Lima ; João Pascoal Faria ; Robert M Hierons;
PUBLICAÇÃO: 2019, FONTE: 12th International Conference on the Quality of Information and Communications Technology, QUATIC 2019 in Quality of Information and Communications Technology - 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11-13, 2019, Proceedings, VOLUME: 1010, PÁGINAS: 327-338
AUTORES: Tony Hoare; Alexandra Mendes ; João F Ferreira;
PUBLICAÇÃO: 2019, FONTE: 3rd International Workshop and Tutorial, FMTea 2019, held as part of the 3rd World Congress on Formal Methods, FM 2019 in Formal Methods Teaching - Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings, VOLUME: 11758, PÁGINAS: 3-20
AUTORES: Saul A Johnson; João Ferreira; Alexandra Mendes ; Julien Cordry;
PUBLICAÇÃO: 2019, FONTE: 30th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2019 in IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2019, Berlin, Germany, October 27-30, 2019, PÁGINAS: 264-269
AUTORES: Sirsat, MS; Mendes Moreira, J ; Ferreira, C ; Cunha, M ;
PUBLICAÇÃO: 2019, FONTE: Engineering in Agriculture, Environment and Food, VOLUME: 12, NÚMERO: 4, PÁGINAS: 443-450
AUTORES: Joao Paulo Fernandes ; Pedro Martins; Alberto Pardo; Joao Saraiva ; Marcos Viera;
PUBLICAÇÃO: 2019, FONTE: 20th Brazilian Symposium on Programing Languages (SBLP) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 173, PÁGINAS: 71-94
AUTORES: Awan, MA; Souto, PF ; Bletsas, K; Akesson, B; Tovar, E ;
PUBLICAÇÃO: 2019, FONTE: 25th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2019 in Proceedings - 2019 IEEE 25th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2019
AUTORES: Muhammad Ali Awan; Pedro F Souto ; Konstantinos Bletsas; Benny Akesson; Eduardo Tovar ;
PUBLICAÇÃO: 2019, FONTE: 25th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2019, Hangzhou, China, August 18-21, 2019, PÁGINAS: 1-11
AUTORES: Awan, Muhammad Ali; Souto, Pedro F. ; Bletsas, Konstantinos; Akesson, Benny; Tovar, Eduardo;
PUBLICAÇÃO: 2019, FONTE: 25th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) in 2019 IEEE 25TH INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA 2019)
AUTORES: Hierons, R; Núñez, M; Pretschner, A; Gargantini, A; Faria, JP ; Wang, S;
PUBLICAÇÃO: 2019, FONTE: 12th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019 in Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019