Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 Publications Count: 4150
50 Team MembersFilters -> Year: 2025
1721
TÃTULO: Foreword to the special issue of the 18th IEEE international conference on computational science and engineering (CSE2015). Editorial
AUTORES: Christian Plessl; Guojing J Cong; Joao M P Cardoso ;
PUBLICAÇÃO: 2017, FONTE: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 29, NÚMERO: 7
AUTORES: Christian Plessl; Guojing J Cong; Joao M P Cardoso ;
PUBLICAÇÃO: 2017, FONTE: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 29, NÚMERO: 7
1722
TÃTULO: Foreword to the Special Section on Reconfigurable Computing
AUTORES: Steven Derrien; Kubilay Atasu; Joao M P Cardoso ; Juergen Becker;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, VOLUME: 88, NÚMERO: 2, PÁGINAS: 103-105
AUTORES: Steven Derrien; Kubilay Atasu; Joao M P Cardoso ; Juergen Becker;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, VOLUME: 88, NÚMERO: 2, PÁGINAS: 103-105
1723
TÃTULO: Formal Verification of ROS-based Robotic Applications using Timed-Automata
AUTORES: Raju Halder; Jose Proenca ; Nuno Macedo ; Andre Santos;
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
AUTORES: Raju Halder; Jose Proenca ; Nuno Macedo ; Andre Santos;
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
1724
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
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
1725
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: 18th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2017 in COLLABORATION IN A DATA-RICH WORLD, VOLUME: 506, PÁGINAS: 478-490
AUTORES: Costa, E ; Soares, AL ; de Sousa, JP;
PUBLICAÇÃO: 2017, FONTE: 18th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2017 in COLLABORATION IN A DATA-RICH WORLD, VOLUME: 506, PÁGINAS: 478-490
1726
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
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
1727
TÃTULO: Generation of Customized Accelerators for Loop Pipelining of Binary Instruction Traces
AUTORES: Nuno M C Paulino ; Joao Canas Ferreira ; Joao M P Cardoso ;
PUBLICAÇÃO: 2017, FONTE: IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOLUME: 25, NÚMERO: 1, PÁGINAS: 21-34
AUTORES: Nuno M C Paulino ; Joao Canas Ferreira ; Joao M P Cardoso ;
PUBLICAÇÃO: 2017, FONTE: IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOLUME: 25, NÚMERO: 1, PÁGINAS: 21-34
1728
TÃTULO: Global-Local View: Scalable Consistency for Concurrent Data Types
AUTORES: Deepthi Devaki Akkoorath; José Brandão; Annette Bieniusa; Carlos Baquero ;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1705.03704
AUTORES: Deepthi Devaki Akkoorath; José Brandão; Annette Bieniusa; Carlos Baquero ;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1705.03704
1729
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
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
1730
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 Paulo Fernandes ; Ralf Lämmel; João Saraiva ; Vadim Zaytsev;
PUBLICAÇÃO: 2017, FONTE: GTTSE, VOLUME: 10223
AUTORES: Jácome Cunha ; João Paulo Fernandes ; Ralf Lämmel; João Saraiva ; Vadim Zaytsev;
PUBLICAÇÃO: 2017, FONTE: GTTSE, VOLUME: 10223
1731
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
AUTORES: Devezas, J ; Nunes, S ;
PUBLICAÇÃO: 2017, FONTE: ERCIM NEWS, VOLUME: 2017, NÚMERO: 111, PÁGINAS: 14-15
1732
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
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
1733
TÃTULO: Guest Editorial: Advances in Knowledge and Information Software Management
AUTORES: Maria Jose Sousa ; Pedro Henriques Abreu ; Alvaro Rocha ; Daniel Castro Silva ;
PUBLICAÇÃO: 2017, FONTE: IET SOFTWARE, VOLUME: 11, NÚMERO: 3, PÁGINAS: 75-76
AUTORES: Maria Jose Sousa ; Pedro Henriques Abreu ; Alvaro Rocha ; Daniel Castro Silva ;
PUBLICAÇÃO: 2017, FONTE: IET SOFTWARE, VOLUME: 11, NÚMERO: 3, PÁGINAS: 75-76
1734
TÃTULO: Helping Programmers Improve the Energy Efficiency of Source Code
AUTORES: Rui Pereira ; Tiago Carcao; Marco Couto ; Jacome Cunha ; Joao Paulo Fernandes ; Joao Saraiva ;
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
AUTORES: Rui Pereira ; Tiago Carcao; Marco Couto ; Jacome Cunha ; Joao Paulo Fernandes ; Joao Saraiva ;
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
1735
TÃTULO: Helping Software Engineering Students Analyzing their Performance Data Tool Support in an Educational Environment
AUTORES: Mushtaq Raza ; Joao Pascoal Faria ; Rafael Salazar;
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
AUTORES: Mushtaq Raza ; Joao Pascoal Faria ; Rafael Salazar;
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
1736
TÃTULO: High Performance Computing for Computational Science - VECPAR 2016 - 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers
AUTORES: Inês Dutra ; Rui Camacho ; Jorge G Barbosa ; Osni Marques;
PUBLICAÇÃO: 2017, FONTE: VECPAR, VOLUME: 10150
AUTORES: Inês Dutra ; Rui Camacho ; Jorge G Barbosa ; Osni Marques;
PUBLICAÇÃO: 2017, FONTE: VECPAR, VOLUME: 10150
1737
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
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
1738
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)
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)
1739
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
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
1740
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
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