Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática

AuthID: I-000-0K9


Publications Count: 4625

61 Team Members
Filters -> 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
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
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
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
2085
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
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
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
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
2089
2090
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
2091
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
2092
TITLE: Guest Editorial: Advances in Knowledge and Information Software Management
AUTHORS: Sousa, MJ ; Abreu, PH ; Rocha, A ; Silva, DC ;
PUBLISHED: 2017, SOURCE: IET SOFTWARE, VOLUME: 11, ISSUE: 3, PAGES: 75-76
2093
TITLE: Heart rate variability metrics for fine-grained stress level assessment
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
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
2096
2097
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
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)
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
2100
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

Results per Page: 20.
Page 105 of 232. Total results: 4625.