Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
No data about last update.
Rules:
This actions updates publications citations of every team member.
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 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!
No data about last update.
Rules:
This actions updates all pre print publications of the group/institution.
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!
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: 4625
61 Team MembersFilters -> Year: 2026
2081
TITLE: Foreword to the Special Section on Reconfigurable Computing
AUTHORS: Derrien, S; Atasu, K; Cardoso, JMP ; Becker, J;
PUBLISHED: 2017, SOURCE: JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, VOLUME: 88, ISSUE: 2, PAGES: 103-105
AUTHORS: Derrien, S; Atasu, K; Cardoso, JMP ; Becker, J;
PUBLISHED: 2017, SOURCE: JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, VOLUME: 88, ISSUE: 2, PAGES: 103-105
2082
TITLE: Formal Verification of ROS-based Robotic Applications using Timed-Automata
AUTHORS: Halder, R; Proença, J ; Macedo, N ; Santos, A;
PUBLISHED: 2017, SOURCE: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE) in 2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS, PAGES: 44-50
AUTHORS: Halder, R; Proença, J ; Macedo, N ; Santos, A;
PUBLISHED: 2017, SOURCE: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE) in 2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS, PAGES: 44-50
2083
TITLE: FOSTERING EFFICIENT LEARNING IN THE TECHNICAL FIELD OF ROBOTICS BY CHANGING THE AUTONOMOUS DRIVING COMPETITION OF THE PORTUGUESE ROBOTICS OPEN
AUTHORS: Valter Costa ; Joao Resende ; Patricia Sousa ; Armando Sousa ; Nuno Lau ; Luis Reis ;
PUBLISHED: 2017, SOURCE: 10th Annual International Conference of Education, Research and Innovation (ICERI) in 10TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI2017), PAGES: 7705-7711
AUTHORS: Valter Costa ; Joao Resende ; Patricia Sousa ; Armando Sousa ; Nuno Lau ; Luis Reis ;
PUBLISHED: 2017, SOURCE: 10th Annual International Conference of Education, Research and Innovation (ICERI) in 10TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI2017), PAGES: 7705-7711
2084
TITLE: Framer: Planning models from natural language action descriptions
AUTHORS: Lindsay, A; Read, J; Ferreira, JF ; Hayton, T; Porteous, J; Gregory, P;
PUBLISHED: 2017, SOURCE: 27th International Conference on Automated Planning and Scheduling, ICAPS 2017 in Proceedings International Conference on Automated Planning and Scheduling, ICAPS, PAGES: 434-442
AUTHORS: Lindsay, A; Read, J; Ferreira, JF ; Hayton, T; Porteous, J; Gregory, P;
PUBLISHED: 2017, SOURCE: 27th International Conference on Automated Planning and Scheduling, ICAPS 2017 in Proceedings International Conference on Automated Planning and Scheduling, ICAPS, PAGES: 434-442
INDEXED IN: 
Scopus
Scopus2085
TITLE: From Data Sources to Information Sharing in SME Collaborative Networks Supporting Internationalization: A Socio-Semantic Approach
AUTHORS: Costa, E ; Soares, AL ; de Sousa, JP;
PUBLISHED: 2017, SOURCE: COLLABORATION IN A DATA-RICH WORLD, VOLUME: 506, PAGES: 478-490
AUTHORS: Costa, E ; Soares, AL ; de Sousa, JP;
PUBLISHED: 2017, SOURCE: COLLABORATION IN A DATA-RICH WORLD, VOLUME: 506, PAGES: 478-490
2086
TITLE: Gamification at Scraim
AUTHORS: Silva, D; Coelho, A ; Duarte, C; Henriques, PC;
PUBLISHED: 2017, SOURCE: 6th EAI International Conference on Serious Games, Interaction and Simulation (SGAMES) in SERIOUS GAMES, INTERACTION AND SIMULATION, VOLUME: 176, PAGES: 141-147
AUTHORS: Silva, D; Coelho, A ; Duarte, C; Henriques, PC;
PUBLISHED: 2017, SOURCE: 6th EAI International Conference on Serious Games, Interaction and Simulation (SGAMES) in SERIOUS GAMES, INTERACTION AND SIMULATION, VOLUME: 176, PAGES: 141-147
2087
TITLE: Generation of Customized Accelerators for Loop Pipelining of Binary Instruction Traces
AUTHORS: Paulino, NMC ; Ferreira, JC ; Cardoso, JMP ;
PUBLISHED: 2017, SOURCE: IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOLUME: 25, ISSUE: 1, PAGES: 21-34
AUTHORS: Paulino, NMC ; Ferreira, JC ; Cardoso, JMP ;
PUBLISHED: 2017, SOURCE: IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOLUME: 25, ISSUE: 1, PAGES: 21-34
2088
TITLE: Grand Timely Topics in Software Engineering. International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures
AUTHORS: Jácome Cunha ; João P Fernandes; Ralf Lämmel; João Saraiva; Vadim Zaytsev;
PUBLISHED: 2017, SOURCE: Lecture Notes in Computer Science
AUTHORS: Jácome Cunha ; João P Fernandes; Ralf Lämmel; João Saraiva; Vadim Zaytsev;
PUBLISHED: 2017, SOURCE: Lecture Notes in Computer Science
2089
TITLE: Grand Timely Topics in Software Engineering - International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures
AUTHORS: Jácome Cunha ; João Paulo Fernandes ; Ralf Lämmel; João Saraiva ; Vadim Zaytsev;
PUBLISHED: 2017, SOURCE: GTTSE, VOLUME: 10223
AUTHORS: Jácome Cunha ; João Paulo Fernandes ; Ralf Lämmel; João Saraiva ; Vadim Zaytsev;
PUBLISHED: 2017, SOURCE: GTTSE, VOLUME: 10223
INDEXED IN: 
DBLP
DBLP2090
TITLE: Graph-Based Entity-Oriented Search: Imitating the Human Process of Seeking and Cross Referencing Information
AUTHORS: Devezas, J ; Nunes, S ;
PUBLISHED: 2017, SOURCE: ERCIM NEWS, VOLUME: 2017, ISSUE: 111, PAGES: 14-15
AUTHORS: Devezas, J ; Nunes, S ;
PUBLISHED: 2017, SOURCE: ERCIM NEWS, VOLUME: 2017, ISSUE: 111, PAGES: 14-15
INDEXED IN: 
WOS DBLP
WOS DBLP2091
TITLE: GReSBAS project: A gamified approach to promote more energy efficient behaviours in buildings
AUTHORS: Antonio Barbosa ; Jose Iria ; Fernando Cassola ; Antonio Coelho ; Joao Portela; Kucuk, U; Madureira, AG ; Zehir, MA; Ozdemir, A; Soares, FJ ;
PUBLISHED: 2017, SOURCE: 10th International Conference on Electrical and Electronics Engineering (ELECO) in 2017 10TH INTERNATIONAL CONFERENCE ON ELECTRICAL AND ELECTRONICS ENGINEERING (ELECO), VOLUME: 2018-January, PAGES: 1258-1261
AUTHORS: Antonio Barbosa ; Jose Iria ; Fernando Cassola ; Antonio Coelho ; Joao Portela; Kucuk, U; Madureira, AG ; Zehir, MA; Ozdemir, A; Soares, FJ ;
PUBLISHED: 2017, SOURCE: 10th International Conference on Electrical and Electronics Engineering (ELECO) in 2017 10TH INTERNATIONAL CONFERENCE ON ELECTRICAL AND ELECTRONICS ENGINEERING (ELECO), VOLUME: 2018-January, PAGES: 1258-1261
INDEXED IN: Scopus WOS
Scopus WOS2093
TITLE: Heart rate variability metrics for fine-grained stress level assessment Full Text
AUTHORS: Pereira, T ; Almeida, PR; Cunha, JPS ; Aguiar, A ;
PUBLISHED: 2017, SOURCE: COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, VOLUME: 148, PAGES: 71-80
AUTHORS: Pereira, T ; Almeida, PR; Cunha, JPS ; Aguiar, A ;
PUBLISHED: 2017, SOURCE: COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, VOLUME: 148, PAGES: 71-80
2094
TITLE: Helping Programmers Improve the Energy Efficiency of Source Code
AUTHORS: Pereira, R ; Carçao, T; Couto, M ; Cunha, J ; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2017, SOURCE: IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) in PROCEEDINGS OF THE 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C 2017), PAGES: 238-240
AUTHORS: Pereira, R ; Carçao, T; Couto, M ; Cunha, J ; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2017, SOURCE: IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) in PROCEEDINGS OF THE 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C 2017), PAGES: 238-240
2095
TITLE: Helping Software Engineering Students Analyzing their Performance Data Tool Support in an Educational Environment
AUTHORS: Raza, M ; Faria, JP ; Salazar, R;
PUBLISHED: 2017, SOURCE: IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) in PROCEEDINGS OF THE 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C 2017), PAGES: 241-243
AUTHORS: Raza, M ; Faria, JP ; Salazar, R;
PUBLISHED: 2017, SOURCE: IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) in PROCEEDINGS OF THE 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C 2017), PAGES: 241-243
2096
TITLE: High Performance Computing for Computational Science - VECPAR 2016 - 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers
AUTHORS: Inês Dutra ; Rui Camacho ; Jorge G Barbosa ; Osni Marques;
PUBLISHED: 2017, SOURCE: VECPAR, VOLUME: 10150
AUTHORS: Inês Dutra ; Rui Camacho ; Jorge G Barbosa ; Osni Marques;
PUBLISHED: 2017, SOURCE: VECPAR, VOLUME: 10150
INDEXED IN: DBLP
DBLP2097
TITLE: High-performance embedded computing
AUTHORS: João M.P Cardoso ; José Gabriel F Coutinho; Pedro C Diniz;
PUBLISHED: 2017, SOURCE: Embedded Computing for High Performance, PAGES: 17-56
AUTHORS: João M.P Cardoso ; José Gabriel F Coutinho; Pedro C Diniz;
PUBLISHED: 2017, SOURCE: Embedded Computing for High Performance, PAGES: 17-56
2098
TITLE: Higher Education Access Prediction using DataMining
AUTHORS: Reis, LP ; Vieira, J; Lemos, P; Novais, R; Faria, BM ;
PUBLISHED: 2017, SOURCE: 12th Iberian Conference on Information Systems and Technologies (CISTI) in 2017 12TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
AUTHORS: Reis, LP ; Vieira, J; Lemos, P; Novais, R; Faria, BM ;
PUBLISHED: 2017, SOURCE: 12th Iberian Conference on Information Systems and Technologies (CISTI) in 2017 12TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
2099
TITLE: Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems. International Workshops of PAAMS 2017, Porto, Portugal, June 21-23, 2017, Proceedings
AUTHORS: Javier Bajo; Zita Vale ; Kasper Hallenborg; Ana Paula Rocha ; Philippe Mathieu; Pawel Pawlewski; Elena Del Val; Paulo Novais; Fernando Lopes; Nestor D Duque Méndez; Vicente Julián; Johan Holmgren;
PUBLISHED: 2017, SOURCE: Communications in Computer and Information Science
AUTHORS: Javier Bajo; Zita Vale ; Kasper Hallenborg; Ana Paula Rocha ; Philippe Mathieu; Pawel Pawlewski; Elena Del Val; Paulo Novais; Fernando Lopes; Nestor D Duque Méndez; Vicente Julián; Johan Holmgren;
PUBLISHED: 2017, SOURCE: Communications in Computer and Information Science
INDEXED IN: 
CrossRef 
Openlibrary
CrossRef Openlibrary2100
TITLE: Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems - International Workshops of PAAMS 2017, Porto, Portugal, June 21-23, 2017, Proceedings
AUTHORS: Javier Bajo; Zita A. Vale; Kasper Hallenborg; Ana Paula Rocha ; Philippe Mathieu; Pawel Pawlewski; Elena del Val; Paulo Novais; Fernando Lopes; Néstor Duque Duque Méndez; Vicente Julián; Johan Holmgren;
PUBLISHED: 2017, SOURCE: PAAMS (Workshops), VOLUME: 722
AUTHORS: Javier Bajo; Zita A. Vale; Kasper Hallenborg; Ana Paula Rocha ; Philippe Mathieu; Pawel Pawlewski; Elena del Val; Paulo Novais; Fernando Lopes; Néstor Duque Duque Méndez; Vicente Julián; Johan Holmgren;
PUBLISHED: 2017, SOURCE: PAAMS (Workshops), VOLUME: 722
INDEXED IN: DBLP
DBLP