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: 4644
60 Team MembersFilters -> Year: 2026
2081
TITLE: Fine-to-Coarse Ranking in Ordinal and Imbalanced Domains: An Application to Liver Transplantation
AUTHORS: Perez Ortiz, M; Fernandes, K ; Cruz, R ; Cardoso, JS ; Briceno, J; Hervas Martinez, C;
PUBLISHED: 2017, SOURCE: 14th International Work-Conference on Artificial Neural Networks (IWANN) in ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2017, PT II, VOLUME: 10306, PAGES: 525-537
AUTHORS: Perez Ortiz, M; Fernandes, K ; Cruz, R ; Cardoso, JS ; Briceno, J; Hervas Martinez, C;
PUBLISHED: 2017, SOURCE: 14th International Work-Conference on Artificial Neural Networks (IWANN) in ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2017, PT II, VOLUME: 10306, PAGES: 525-537
2082
TITLE: FIRST ATTEMPT TOWARDS THE DEVELOPMENT OF TRANSTIBIAL PROSTHESIS
AUTHORS: Alves, J; Ferreira, C; Reis, LP ; Santos, CP ; Seabra, E ; Carvalho, H ;
PUBLISHED: 2017, SOURCE: 7th International Conference on Mechanics and Materials in Design (M2D) in PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON MECHANICS AND MATERIALS IN DESIGN (M2D2017), PAGES: 1825-1826
AUTHORS: Alves, J; Ferreira, C; Reis, LP ; Santos, CP ; Seabra, E ; Carvalho, H ;
PUBLISHED: 2017, SOURCE: 7th International Conference on Mechanics and Materials in Design (M2D) in PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON MECHANICS AND MATERIALS IN DESIGN (M2D2017), PAGES: 1825-1826
INDEXED IN: 
WOS 
Handle
WOS Handle2083
TITLE: Foreword to the special issue of the 18th IEEE international conference on computational science and engineering (CSE2015). Editorial Full Text
AUTHORS: Christian Plessl; Guojing J Cong; Joao M P Cardoso ;
PUBLISHED: 2017, SOURCE: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 29, ISSUE: 7
AUTHORS: Christian Plessl; Guojing J Cong; Joao M P Cardoso ;
PUBLISHED: 2017, SOURCE: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 29, ISSUE: 7
2084
TITLE: Foreword to the Special Section on Reconfigurable Computing Full Text
AUTHORS: Steven Derrien; Kubilay Atasu; Joao M P Cardoso ; Juergen Becker;
PUBLISHED: 2017, SOURCE: JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, VOLUME: 88, ISSUE: 2, PAGES: 103-105
AUTHORS: Steven Derrien; Kubilay Atasu; Joao M P Cardoso ; Juergen Becker;
PUBLISHED: 2017, SOURCE: JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, VOLUME: 88, ISSUE: 2, PAGES: 103-105
2085
TITLE: Formal Verification of ROS-based Robotic Applications using Timed-Automata
AUTHORS: Raju Halder; Jose Proenca ; Nuno Macedo ; Andre Santos;
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: Raju Halder; Jose Proenca ; Nuno Macedo ; Andre Santos;
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
2086
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
2087
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
Scopus2088
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: 18th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2017 in COLLABORATION IN A DATA-RICH WORLD, VOLUME: 506, PAGES: 478-490
AUTHORS: Costa, E ; Soares, AL ; de Sousa, JP;
PUBLISHED: 2017, SOURCE: 18th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2017 in COLLABORATION IN A DATA-RICH WORLD, VOLUME: 506, PAGES: 478-490
2089
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
2090
TITLE: Generation of Customized Accelerators for Loop Pipelining of Binary Instruction Traces Full Text
AUTHORS: Nuno M C Paulino ; Joao Canas Ferreira ; Joao M P Cardoso ;
PUBLISHED: 2017, SOURCE: IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOLUME: 25, ISSUE: 1, PAGES: 21-34
AUTHORS: Nuno M C Paulino ; Joao Canas Ferreira ; Joao M P Cardoso ;
PUBLISHED: 2017, SOURCE: IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOLUME: 25, ISSUE: 1, PAGES: 21-34
2091
TITLE: Global-Local View: Scalable Consistency for Concurrent Data Types PDF
AUTHORS: Deepthi Devaki Akkoorath; José Brandão; Annette Bieniusa; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1705.03704
AUTHORS: Deepthi Devaki Akkoorath; José Brandão; Annette Bieniusa; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1705.03704
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv2092
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
2093
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
DBLP2094
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 DBLP2095
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 WOS2096
TITLE: Guest Editorial: Advances in Knowledge and Information Software Management Full Text
AUTHORS: Maria Jose Sousa ; Pedro Henriques Abreu ; Alvaro Rocha ; Daniel Castro Silva ;
PUBLISHED: 2017, SOURCE: IET SOFTWARE, VOLUME: 11, ISSUE: 3, PAGES: 75-76
AUTHORS: Maria Jose Sousa ; Pedro Henriques Abreu ; Alvaro Rocha ; Daniel Castro Silva ;
PUBLISHED: 2017, SOURCE: IET SOFTWARE, VOLUME: 11, ISSUE: 3, PAGES: 75-76
2097
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
2098
TITLE: Helping Programmers Improve the Energy Efficiency of Source Code
AUTHORS: Rui Pereira ; Tiago Carcao; Marco Couto ; Jacome Cunha ; Joao Paulo Fernandes ; Joao Saraiva ;
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: Rui Pereira ; Tiago Carcao; Marco Couto ; Jacome Cunha ; Joao Paulo Fernandes ; Joao Saraiva ;
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
2099
TITLE: Helping Software Engineering Students Analyzing their Performance Data Tool Support in an Educational Environment
AUTHORS: Mushtaq Raza ; Joao Pascoal Faria ; Rafael Salazar;
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: Mushtaq Raza ; Joao Pascoal Faria ; Rafael Salazar;
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
2100
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
DBLP