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

AuthID: I-000-0K9


Publications Count: 4625

61 Team Members
Filters -> Year: 2026
2081
TÍTULO: Foreword to the Special Section on Reconfigurable Computing
AUTORES: Derrien, S; Atasu, K; Cardoso, JMP ; Becker, J;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, VOLUME: 88, NÚMERO: 2, PÁGINAS: 103-105
2082
TÍTULO: Formal Verification of ROS-based Robotic Applications using Timed-Automata
AUTORES: Halder, R; Proença, J ; Macedo, N ; Santos, A;
PUBLICAÇÃO: 2017, FONTE: 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, PÁGINAS: 44-50
2083
TÍTULO: FOSTERING EFFICIENT LEARNING IN THE TECHNICAL FIELD OF ROBOTICS BY CHANGING THE AUTONOMOUS DRIVING COMPETITION OF THE PORTUGUESE ROBOTICS OPEN
AUTORES: Valter Costa ; Joao Resende ; Patricia Sousa ; Armando Sousa ; Nuno Lau ; Luis Reis ;
PUBLICAÇÃO: 2017, FONTE: 10th Annual International Conference of Education, Research and Innovation (ICERI) in 10TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI2017), PÁGINAS: 7705-7711
2084
TÍTULO: Framer: Planning models from natural language action descriptions
AUTORES: Lindsay, A; Read, J; Ferreira, JF ; Hayton, T; Porteous, J; Gregory, P;
PUBLICAÇÃO: 2017, FONTE: 27th International Conference on Automated Planning and Scheduling, ICAPS 2017 in Proceedings International Conference on Automated Planning and Scheduling, ICAPS, PÁGINAS: 434-442
2085
TÍTULO: From Data Sources to Information Sharing in SME Collaborative Networks Supporting Internationalization: A Socio-Semantic Approach
AUTORES: Costa, E ; Soares, AL ; de Sousa, JP;
PUBLICAÇÃO: 2017, FONTE: COLLABORATION IN A DATA-RICH WORLD, VOLUME: 506, PÁGINAS: 478-490
2086
TÍTULO: Gamification at Scraim
AUTORES: Silva, D; Coelho, A ; Duarte, C; Henriques, PC;
PUBLICAÇÃO: 2017, FONTE: 6th EAI International Conference on Serious Games, Interaction and Simulation (SGAMES) in SERIOUS GAMES, INTERACTION AND SIMULATION, VOLUME: 176, PÁGINAS: 141-147
2087
TÍTULO: Generation of Customized Accelerators for Loop Pipelining of Binary Instruction Traces
AUTORES: Paulino, NMC ; Ferreira, JC ; Cardoso, JMP ;
PUBLICAÇÃO: 2017, FONTE: IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOLUME: 25, NÚMERO: 1, PÁGINAS: 21-34
2088
TÍTULO: Grand Timely Topics in Software Engineering. International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures
AUTORES: Jácome Cunha ; João P Fernandes; Ralf Lämmel; João Saraiva; Vadim Zaytsev;
PUBLICAÇÃO: 2017, FONTE: Lecture Notes in Computer Science
2089
2090
TÍTULO: Graph-Based Entity-Oriented Search: Imitating the Human Process of Seeking and Cross Referencing Information
AUTORES: Devezas, J ; Nunes, S ;
PUBLICAÇÃO: 2017, FONTE: ERCIM NEWS, VOLUME: 2017, NÚMERO: 111, PÁGINAS: 14-15
2091
TÍTULO: GReSBAS project: A gamified approach to promote more energy efficient behaviours in buildings
AUTORES: Antonio Barbosa ; Jose Iria ; Fernando Cassola ; Antonio Coelho ; Joao Portela; Kucuk, U; Madureira, AG ; Zehir, MA; Ozdemir, A; Soares, FJ ;
PUBLICAÇÃO: 2017, FONTE: 10th International Conference on Electrical and Electronics Engineering (ELECO) in 2017 10TH INTERNATIONAL CONFERENCE ON ELECTRICAL AND ELECTRONICS ENGINEERING (ELECO), VOLUME: 2018-January, PÁGINAS: 1258-1261
2092
TÍTULO: Guest Editorial: Advances in Knowledge and Information Software Management
AUTORES: Sousa, MJ ; Abreu, PH ; Rocha, A ; Silva, DC ;
PUBLICAÇÃO: 2017, FONTE: IET SOFTWARE, VOLUME: 11, NÚMERO: 3, PÁGINAS: 75-76
2093
TÍTULO: Heart rate variability metrics for fine-grained stress level assessment
AUTORES: Pereira, T ; Almeida, PR; Cunha, JPS ; Aguiar, A ;
PUBLICAÇÃO: 2017, FONTE: COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, VOLUME: 148, PÁGINAS: 71-80
2094
TÍTULO: Helping Programmers Improve the Energy Efficiency of Source Code
AUTORES: Pereira, R ; Carçao, T; Couto, M ; Cunha, J ; Fernandes, JP ; Saraiva, J ;
PUBLICAÇÃO: 2017, FONTE: 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), PÁGINAS: 238-240
2095
TÍTULO: Helping Software Engineering Students Analyzing their Performance Data Tool Support in an Educational Environment
AUTORES: Raza, M ; Faria, JP ; Salazar, R;
PUBLICAÇÃO: 2017, FONTE: 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), PÁGINAS: 241-243
2096
2097
TÍTULO: High-performance embedded computing
AUTORES: João M.P Cardoso ; José Gabriel F Coutinho; Pedro C Diniz;
PUBLICAÇÃO: 2017, FONTE: Embedded Computing for High Performance, PÁGINAS: 17-56
2098
TÍTULO: Higher Education Access Prediction using DataMining
AUTORES: Reis, LP ; Vieira, J; Lemos, P; Novais, R; Faria, BM ;
PUBLICAÇÃO: 2017, FONTE: 12th Iberian Conference on Information Systems and Technologies (CISTI) in 2017 12TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
2099
TÍTULO: Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems. International Workshops of PAAMS 2017, Porto, Portugal, June 21-23, 2017, Proceedings
AUTORES: 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;
PUBLICAÇÃO: 2017, FONTE: Communications in Computer and Information Science
2100
TÍTULO: Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems - International Workshops of PAAMS 2017, Porto, Portugal, June 21-23, 2017, Proceedings
AUTORES: 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;
PUBLICAÇÃO: 2017, FONTE: PAAMS (Workshops), VOLUME: 722

Results per Page: 20.
Página 105 de 232. Total de resultados: 4625.