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

AuthID: I-000-0K9


Publications Count: 3917

48 Team Members
Filters -> Year: 2025
1501
TITLE: Energy Efficiency across Programming Languages
AUTHORS: Rui Pereira ; Marco Couto ; Francisco Ribeiro ; Rui Rua ; Jacome Cunha ; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLISHED: 2017, SOURCE: 10th ACM SIGPLAN International Conference on Software Language Engineering (SLE) as part of ACM SIGPLAN Conference on Systems, Programming, Languages and Applications - Software for Humanity (SPLASH) in SLE'17: PROCEEDINGS OF THE 10TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, PAGES: 256-267
1502
TITLE: Engineering Software for the Cloud: Messaging Systems and Logging. Messaging Systems and Logging
AUTHORS: Tiago Boldt Sousa ; Hugo Sereno Ferreira ; Filipe Figueiredo Correia ; Ademar Aguiar ;
PUBLISHED: 2017, SOURCE: 22nd European Conference on Pattern Languages of Programs, EuroPLoP 2017 in Proceedings of the 22nd European Conference on Pattern Languages of Programs, EuroPLoP 2017, Irsee, Germany, July 12-16, 2017, VOLUME: Part F132091, PAGES: 14:1-14:14
1503
TITLE: Enhancing Museums' Experiences Through Games and Stories for Young Audiences
AUTHORS: Vanessa Cesario; Antonio Coelho ; Valentina Nisi;
PUBLISHED: 2017, SOURCE: 10th International Conference on Interactive Digital Storytelling (ICIDS) in INTERACTIVE STORYTELLING, ICIDS 2017, VOLUME: 10690, PAGES: 351-354
1504
TITLE: Enriching Mental Health Mobile Assessment and Intervention with Situation Awareness
AUTHORS: Ariel Soares Teles; Artur Rocha ; Francisco Jose D E da Silva e Silva; Joao Correia Lopes ; Donal O'Sullivan; Pepijn Van de Ven; Markus Endler;
PUBLISHED: 2017, SOURCE: SENSORS, VOLUME: 17, ISSUE: 1, PAGES: 127
1505
TITLE: Erratum to: Processing Time Reduction: an Application in Living Human High-Resolution Diffusion Magnetic Resonance Imaging Data
AUTHORS: Nicolás F Lori; Agustín Ibáñez; Rui Lavrador; Lucia Fonseca; Carlos Santos; Rui Travasso; Artur Pereira; Rosaldo Rossetti ; Nuno Sousa; Victor Alves;
PUBLISHED: 2017, SOURCE: J. Medical Syst., VOLUME: 41, ISSUE: 3, PAGES: 41:1
1506
TITLE: Evaluating and improving fault localization
AUTHORS: Pearson, S; Campos, J ; Just, R; Fraser, G; Abreu, R ; Ernst, MD; Pang, D; Keller, B;
PUBLISHED: 2017, SOURCE: 39th IEEE/ACM International Conference on Software Engineering (ICSE) in 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), PAGES: 609-620
1507
TITLE: Evaluation of Stanford NER for extraction of assembly information from instruction manuals
AUTHORS: Carlos M Costa ; Germano Veiga ; Sousa, A. ; Sérgio Nunes ;
PUBLISHED: 2017, SOURCE: 2017 IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2017 in 2017 IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2017, Coimbra, Portugal, April 26-28, 2017, PAGES: 302-309
1508
TITLE: EvoSuite at the SBST 2017 Tool Competition
AUTHORS: Gordon Fraser; Jose Miguel Rojas; Jose Campos ; Andrea Arcuri;
PUBLISHED: 2017, SOURCE: 2017 IEEE/ACM 10th International Workshop on Search-Based Software Testing (SBST)
1509
TITLE: Exploiting Partial Knowledge for Efficient Model Analysis
AUTHORS: Nuno Macedo ; Alcino Cunha ; Eduardo Pessoa;
PUBLISHED: 2017, SOURCE: 15th International Conference on Automated Technology for Verification and Analysis, ATVA 2017 in Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, VOLUME: 10482, PAGES: 344-362
1510
TITLE: Expressing and Applying C plus plus Code Transformations for the HDF5 API Through a DSL
AUTHORS: Golasowski, M; Bispo, J ; Martinovic, J; Slaninova, K; Cardoso, JMP ;
PUBLISHED: 2017, SOURCE: 16th IFIP TC8 International Conference on Computer Information Systems and Industrial Management (CISIM) in COMPUTER INFORMATION SYSTEMS AND INDUSTRIAL MANAGEMENT (CISIM 2017), VOLUME: 10244, PAGES: 303-314
1511
TITLE: Fault-tolerant aggregation: Flow-Updating meets Mass-Distribution
AUTHORS: Paulo Sergio Almeida ; Carlos Baquero ; Martin Farach Colton; Paulo Jesus; Miguel A Mosteiro;
PUBLISHED: 2017, SOURCE: DISTRIBUTED COMPUTING, VOLUME: 30, ISSUE: 4, PAGES: 281-291
1512
TITLE: FEUP at SemEval-2017 Task 5: Predicting Sentiment Polarity and Intensity with Financial Word Embeddings
AUTHORS: Pedro Saleiro; Eduarda Mendes Rodrigues; Carlos Soares ; Eugénio C Oliveira ;
PUBLISHED: 2017, SOURCE: Proceedings of the 11th International Workshop on Semantic Evaluation, SemEval@ACL 2017, Vancouver, Canada, August 3-4, 2017, PAGES: 904-908
1513
TITLE: FEUP at TREC 2017 OpenSearch Track Graph-Based Models for Entity-Oriented
AUTHORS: José Luís Devezas ; Carla Teixeira Lopes ; Sérgio Nunes ;
PUBLISHED: 2017, SOURCE: Proceedings of The Twenty-Sixth Text REtrieval Conference, TREC 2017, Gaithersburg, Maryland, USA, November 15-17, 2017, VOLUME: Special Publication 500-324
1514
TITLE: FIRST ATTEMPT TOWARDS THE DEVELOPMENT OF TRANSTIBIAL PROSTHESIS
AUTHORS: Joana Alves; Cesar Ferreira; Luis P Reis ; Cristina P Santos; Eurico Seabra; Helder Carvalho;
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
1515
1516
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
1517
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
1518
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 ; Sousa, A. ; 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
1519
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
1520
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

Results per Page: 20.
Page 76 of 196. Total results: 3917.