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

AuthID: I-000-0K9


Publications Count: 4116

49 Team Members
Filters -> Year: 2025
1701
TITLE: Foreword to the Special Section on Reconfigurable Computing
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
1702
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
1703
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
1704
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
1705
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
1706
TITLE: Generation of Customized Accelerators for Loop Pipelining of Binary Instruction Traces
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
1707
TITLE: Global-Local View: Scalable Consistency for Concurrent Data Types
AUTHORS: Deepthi Devaki Akkoorath; José Brandão; Annette Bieniusa; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1705.03704
1708
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
1709
1710
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
1711
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
1712
TITLE: Guest Editorial: Advances in Knowledge and Information Software Management
AUTHORS: Maria Jose Sousa ; Pedro Henriques Abreu ; Alvaro Rocha ; Daniel Castro Silva ;
PUBLISHED: 2017, SOURCE: IET SOFTWARE, VOLUME: 11, ISSUE: 3, PAGES: 75-76
1713
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
1714
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
1715
1716
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
1717
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)
1718
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
1719
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
1720
TITLE: Human-Centered Application using Cyber-Physical Production System
AUTHORS: Reis, J ; Pinto, R ; Gil Gonçalves ;
PUBLISHED: 2017, SOURCE: 43rd Annual Conference of the IEEE-Industrial-Electronics-Society (IECON) in IECON 2017 - 43RD ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLUME: 2017-January, PAGES: 8634-8639

Results per Page: 20.
Page 86 of 206. Total results: 4116.