Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
No data about last update.
Rules:
This actions updates publications citations of every team member.
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
No data about last update.
Rules:
This actions updates all pre print publications of the group/institution.
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
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 Full Text
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
INDEXED IN: 
DBLP
DBLP2145
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 Full Text
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
INDEXED IN: DBLP
DBLP2152
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
INDEXED IN: DBLP
DBLP2153
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
INDEXED IN: 
WOS 
Handle
WOS Handle2155
TITLE: Foreword to the special issue of the 18th IEEE international conference on computational science and engineering (CSE2015) Full Text
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 Full Text
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
INDEXED IN: 
Scopus
Scopus2160
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
