Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9 Publications Count: 4709
62 Team MembersFilters -> Year: 2026
2141
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: EuroPLoP, VOLUME: Part F132091, PAGES: 14:1-14:14
AUTHORS: Tiago Boldt Sousa ; Hugo Sereno Ferreira ; Filipe Figueiredo Correia ; Ademar Aguiar ;
PUBLISHED: 2017, SOURCE: EuroPLoP, VOLUME: Part F132091, PAGES: 14:1-14:14
2142
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
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
2143
TITLE: Enriching Mental Health Mobile Assessment and Intervention with Situation Awareness
AUTHORS: Teles, AS; Rocha, A ; Silva, FJDE; Lopes, JC ; O'Sullivan, D; Van de Ven, P; Endler, M;
PUBLISHED: 2017, SOURCE: SENSORS, VOLUME: 17, ISSUE: 1, PAGES: 127
AUTHORS: Teles, AS; Rocha, A ; Silva, FJDE; Lopes, JC ; O'Sullivan, D; Van de Ven, P; Endler, M;
PUBLISHED: 2017, SOURCE: SENSORS, VOLUME: 17, ISSUE: 1, PAGES: 127
2144
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 J Sousa; Victor Alves;
PUBLISHED: 2017, SOURCE: J. Medical Syst., VOLUME: 41, ISSUE: 3, PAGES: 41:1
AUTHORS: Nicolás F Lori; Agustín Ibáñez; Rui Lavrador; Lucia Fonseca; Carlos Santos; Rui Travasso; Artur Pereira; Rosaldo Rossetti ; Nuno J Sousa; Victor Alves;
PUBLISHED: 2017, SOURCE: J. Medical Syst., VOLUME: 41, ISSUE: 3, PAGES: 41:1
2145
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
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
2146
TITLE: Evaluation of Stanford NER for Extraction of Assembly Information from Instruction Manuals
AUTHORS: Costa, CM ; Veiga, G ; Sousa, A ; Nunes, S ;
PUBLISHED: 2017, SOURCE: 2017 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC), PAGES: 302-309
AUTHORS: Costa, CM ; Veiga, G ; Sousa, A ; Nunes, S ;
PUBLISHED: 2017, SOURCE: 2017 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC), PAGES: 302-309
2147
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)
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)
2148
TITLE: Exploiting Partial Knowledge for Efficient Model Analysis
AUTHORS: Macedo, N ; Cunha, A ; Pessoa, E;
PUBLISHED: 2017, SOURCE: AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2017), VOLUME: 10482, PAGES: 344-362
AUTHORS: Macedo, N ; Cunha, A ; Pessoa, E;
PUBLISHED: 2017, SOURCE: AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2017), VOLUME: 10482, PAGES: 344-362
2149
TITLE: Expressing and Applying C plus plus Code Transformations for the HDF5 API Through a DSL
AUTHORS: Golasowski, M; Bispo, J ; Martinovic, J; Slaninová, 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
AUTHORS: Golasowski, M; Bispo, J ; Martinovic, J; Slaninová, 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
2150
TITLE: Fault-tolerant aggregation: Flow-Updating meets Mass-Distribution
AUTHORS: Almeida, PS ; Baquero, C ; Farach Colton, M; Jesus, P; Mosteiro, MA;
PUBLISHED: 2017, SOURCE: DISTRIBUTED COMPUTING, VOLUME: 30, ISSUE: 4, PAGES: 281-291
AUTHORS: Almeida, PS ; Baquero, C ; Farach Colton, M; Jesus, P; Mosteiro, MA;
PUBLISHED: 2017, SOURCE: DISTRIBUTED COMPUTING, VOLUME: 30, ISSUE: 4, PAGES: 281-291
2151
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: SemEval@ACL, PAGES: 904-908
AUTHORS: Pedro Saleiro; Eduarda Mendes Rodrigues; Carlos Soares ; Eugénio C Oliveira ;
PUBLISHED: 2017, SOURCE: SemEval@ACL, PAGES: 904-908
2152
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: TREC
AUTHORS: José Luís Devezas ; Carla Teixeira Lopes ; Sérgio Nunes ;
PUBLISHED: 2017, SOURCE: TREC
2153
TITLE: Fine-to-Coarse Ranking in Ordinal and Imbalanced Domains: An Application to Liver Transplantation
AUTHORS: Perez Ortiz, M; Fernandes, K ; Cruz, R ; Cardoso, JS ; Briceno, J; Hervas Martinez, C;
PUBLISHED: 2017, SOURCE: 14th International Work-Conference on Artificial Neural Networks (IWANN) in ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2017, PT II, VOLUME: 10306, PAGES: 525-537
AUTHORS: Perez Ortiz, M; Fernandes, K ; Cruz, R ; Cardoso, JS ; Briceno, J; Hervas Martinez, C;
PUBLISHED: 2017, SOURCE: 14th International Work-Conference on Artificial Neural Networks (IWANN) in ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2017, PT II, VOLUME: 10306, PAGES: 525-537
2154
TITLE: FIRST ATTEMPT TOWARDS THE DEVELOPMENT OF TRANSTIBIAL PROSTHESIS
AUTHORS: Alves, J; Ferreira, C; Reis, LP ; Santos, CP ; Seabra, E ; Carvalho, H ;
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
AUTHORS: Alves, J; Ferreira, C; Reis, LP ; Santos, CP ; Seabra, E ; Carvalho, H ;
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
2155
TITLE: Foreword to the special issue of the 18th IEEE international conference on computational science and engineering (CSE2015)
AUTHORS: Plessl, C; Cong, GJ; Cardoso, JMP ;
PUBLISHED: 2017, SOURCE: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 29, ISSUE: 7
AUTHORS: Plessl, C; Cong, GJ; Cardoso, JMP ;
PUBLISHED: 2017, SOURCE: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 29, ISSUE: 7
2156
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
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
2157
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
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
2158
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
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
2159
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
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
2160
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
AUTHORS: Costa, E ; Soares, AL ; de Sousa, JP;
PUBLISHED: 2017, SOURCE: COLLABORATION IN A DATA-RICH WORLD, VOLUME: 506, PAGES: 478-490
