Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 Publications Count: 4668
62 Team MembersFilters -> Year: 2026
2101
TÃTULO: Engineering Software for the Cloud: Messaging Systems and Logging. Messaging Systems and Logging
AUTORES: Tiago Boldt Sousa ; Hugo Sereno Ferreira ; Filipe Figueiredo Correia ; Ademar Aguiar ;
PUBLICAÇÃO: 2017, FONTE: EuroPLoP, VOLUME: Part F132091, PÁGINAS: 14:1-14:14
AUTORES: Tiago Boldt Sousa ; Hugo Sereno Ferreira ; Filipe Figueiredo Correia ; Ademar Aguiar ;
PUBLICAÇÃO: 2017, FONTE: EuroPLoP, VOLUME: Part F132091, PÁGINAS: 14:1-14:14
2102
TÃTULO: Enhancing Museums' Experiences Through Games and Stories for Young Audiences
AUTORES: Vanessa Cesario; Antonio Coelho ; Valentina Nisi ;
PUBLICAÇÃO: 2017, FONTE: 10th International Conference on Interactive Digital Storytelling (ICIDS) in INTERACTIVE STORYTELLING, ICIDS 2017, VOLUME: 10690, PÁGINAS: 351-354
AUTORES: Vanessa Cesario; Antonio Coelho ; Valentina Nisi ;
PUBLICAÇÃO: 2017, FONTE: 10th International Conference on Interactive Digital Storytelling (ICIDS) in INTERACTIVE STORYTELLING, ICIDS 2017, VOLUME: 10690, PÁGINAS: 351-354
2103
TÃTULO: Enriching Mental Health Mobile Assessment and Intervention with Situation Awareness
AUTORES: Teles, AS; Rocha, A ; Silva, FJDE; Lopes, JC ; O'Sullivan, D; Van de Ven, P; Endler, M;
PUBLICAÇÃO: 2017, FONTE: SENSORS, VOLUME: 17, NÚMERO: 1, PÁGINAS: 127
AUTORES: Teles, AS; Rocha, A ; Silva, FJDE; Lopes, JC ; O'Sullivan, D; Van de Ven, P; Endler, M;
PUBLICAÇÃO: 2017, FONTE: SENSORS, VOLUME: 17, NÚMERO: 1, PÁGINAS: 127
2104
TÃTULO: Erratum to: Processing Time Reduction: an Application in Living Human High-Resolution Diffusion Magnetic Resonance Imaging Data
AUTORES: 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;
PUBLICAÇÃO: 2017, FONTE: J. Medical Syst., VOLUME: 41, NÚMERO: 3, PÁGINAS: 41:1
AUTORES: 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;
PUBLICAÇÃO: 2017, FONTE: J. Medical Syst., VOLUME: 41, NÚMERO: 3, PÁGINAS: 41:1
2105
TÃTULO: Evaluating and improving fault localization
AUTORES: Pearson, S; Campos, J ; Just, R; Fraser, G; Abreu, R ; Ernst, MD; Pang, D; Keller, B;
PUBLICAÇÃO: 2017, FONTE: 39th IEEE/ACM International Conference on Software Engineering (ICSE) in 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), PÁGINAS: 609-620
AUTORES: Pearson, S; Campos, J ; Just, R; Fraser, G; Abreu, R ; Ernst, MD; Pang, D; Keller, B;
PUBLICAÇÃO: 2017, FONTE: 39th IEEE/ACM International Conference on Software Engineering (ICSE) in 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), PÁGINAS: 609-620
2106
TÃTULO: Evaluation of Stanford NER for Extraction of Assembly Information from Instruction Manuals
AUTORES: Costa, CM ; Veiga, G ; Sousa, A ; Nunes, S ;
PUBLICAÇÃO: 2017, FONTE: 2017 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC), PÁGINAS: 302-309
AUTORES: Costa, CM ; Veiga, G ; Sousa, A ; Nunes, S ;
PUBLICAÇÃO: 2017, FONTE: 2017 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC), PÁGINAS: 302-309
2107
TÃTULO: EvoSuite at the SBST 2017 Tool Competition
AUTORES: Gordon Fraser; Jose Miguel Rojas; Jose Campos ; Andrea Arcuri;
PUBLICAÇÃO: 2017, FONTE: 2017 IEEE/ACM 10th International Workshop on Search-Based Software Testing (SBST)
AUTORES: Gordon Fraser; Jose Miguel Rojas; Jose Campos ; Andrea Arcuri;
PUBLICAÇÃO: 2017, FONTE: 2017 IEEE/ACM 10th International Workshop on Search-Based Software Testing (SBST)
2108
TÃTULO: Exploiting Partial Knowledge for Efficient Model Analysis
AUTORES: Macedo, N ; Cunha, A ; Pessoa, E;
PUBLICAÇÃO: 2017, FONTE: AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2017), VOLUME: 10482, PÁGINAS: 344-362
AUTORES: Macedo, N ; Cunha, A ; Pessoa, E;
PUBLICAÇÃO: 2017, FONTE: AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2017), VOLUME: 10482, PÁGINAS: 344-362
2109
TÃTULO: Expressing and Applying C plus plus Code Transformations for the HDF5 API Through a DSL
AUTORES: Golasowski, M; Bispo, J ; Martinovic, J; Slaninová, K; Cardoso, JMP ;
PUBLICAÇÃO: 2017, FONTE: 16th IFIP TC8 International Conference on Computer Information Systems and Industrial Management (CISIM) in COMPUTER INFORMATION SYSTEMS AND INDUSTRIAL MANAGEMENT (CISIM 2017), VOLUME: 10244, PÁGINAS: 303-314
AUTORES: Golasowski, M; Bispo, J ; Martinovic, J; Slaninová, K; Cardoso, JMP ;
PUBLICAÇÃO: 2017, FONTE: 16th IFIP TC8 International Conference on Computer Information Systems and Industrial Management (CISIM) in COMPUTER INFORMATION SYSTEMS AND INDUSTRIAL MANAGEMENT (CISIM 2017), VOLUME: 10244, PÁGINAS: 303-314
2110
TÃTULO: Fault-tolerant aggregation: Flow-Updating meets Mass-Distribution
AUTORES: Almeida, PS ; Baquero, C ; Farach Colton, M; Jesus, P; Mosteiro, MA;
PUBLICAÇÃO: 2017, FONTE: DISTRIBUTED COMPUTING, VOLUME: 30, NÚMERO: 4, PÁGINAS: 281-291
AUTORES: Almeida, PS ; Baquero, C ; Farach Colton, M; Jesus, P; Mosteiro, MA;
PUBLICAÇÃO: 2017, FONTE: DISTRIBUTED COMPUTING, VOLUME: 30, NÚMERO: 4, PÁGINAS: 281-291
2111
TÃTULO: FEUP at SemEval-2017 Task 5: Predicting Sentiment Polarity and Intensity with Financial Word Embeddings
AUTORES: Pedro Saleiro; Eduarda Mendes Rodrigues; Carlos Soares ; Eugénio C Oliveira ;
PUBLICAÇÃO: 2017, FONTE: SemEval@ACL, PÁGINAS: 904-908
AUTORES: Pedro Saleiro; Eduarda Mendes Rodrigues; Carlos Soares ; Eugénio C Oliveira ;
PUBLICAÇÃO: 2017, FONTE: SemEval@ACL, PÁGINAS: 904-908
2112
TÃTULO: FEUP at TREC 2017 OpenSearch Track Graph-Based Models for Entity-Oriented
AUTORES: José Luís Devezas ; Carla Teixeira Lopes ; Sérgio Nunes ;
PUBLICAÇÃO: 2017, FONTE: TREC
AUTORES: José Luís Devezas ; Carla Teixeira Lopes ; Sérgio Nunes ;
PUBLICAÇÃO: 2017, FONTE: TREC
2113
TÃTULO: Fine-to-Coarse Ranking in Ordinal and Imbalanced Domains: An Application to Liver Transplantation
AUTORES: Perez Ortiz, M; Fernandes, K ; Cruz, R ; Cardoso, JS ; Briceno, J; Hervas Martinez, C;
PUBLICAÇÃO: 2017, FONTE: 14th International Work-Conference on Artificial Neural Networks (IWANN) in ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2017, PT II, VOLUME: 10306, PÁGINAS: 525-537
AUTORES: Perez Ortiz, M; Fernandes, K ; Cruz, R ; Cardoso, JS ; Briceno, J; Hervas Martinez, C;
PUBLICAÇÃO: 2017, FONTE: 14th International Work-Conference on Artificial Neural Networks (IWANN) in ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2017, PT II, VOLUME: 10306, PÁGINAS: 525-537
2114
TÃTULO: FIRST ATTEMPT TOWARDS THE DEVELOPMENT OF TRANSTIBIAL PROSTHESIS
AUTORES: Alves, J; Ferreira, C; Reis, LP ; Santos, CP ; Seabra, E ; Carvalho, H ;
PUBLICAÇÃO: 2017, FONTE: 7th International Conference on Mechanics and Materials in Design (M2D) in PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON MECHANICS AND MATERIALS IN DESIGN (M2D2017), PÁGINAS: 1825-1826
AUTORES: Alves, J; Ferreira, C; Reis, LP ; Santos, CP ; Seabra, E ; Carvalho, H ;
PUBLICAÇÃO: 2017, FONTE: 7th International Conference on Mechanics and Materials in Design (M2D) in PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON MECHANICS AND MATERIALS IN DESIGN (M2D2017), PÁGINAS: 1825-1826
2115
TÃTULO: Foreword to the special issue of the 18th IEEE international conference on computational science and engineering (CSE2015)
AUTORES: Plessl, C; Cong, GJ; Cardoso, JMP ;
PUBLICAÇÃO: 2017, FONTE: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 29, NÚMERO: 7
AUTORES: Plessl, C; Cong, GJ; Cardoso, JMP ;
PUBLICAÇÃO: 2017, FONTE: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 29, NÚMERO: 7
2116
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
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
2117
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
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
2118
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
2119
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
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
2120
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
AUTORES: Costa, E ; Soares, AL ; de Sousa, JP;
PUBLICAÇÃO: 2017, FONTE: COLLABORATION IN A DATA-RICH WORLD, VOLUME: 506, PÁGINAS: 478-490
