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: 4625
61 Team MembersFilters -> Year: 2026
1461
TITLE: Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum
AUTHORS: Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2020, SOURCE: Int. J. Softw. Tools Technol. Transf., VOLUME: 22, ISSUE: 3, PAGES: 281-296
AUTHORS: Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2020, SOURCE: Int. J. Softw. Tools Technol. Transf., VOLUME: 22, ISSUE: 3, PAGES: 281-296
1462
TITLE: Verification of system-wide safety properties of ROS applications
AUTHORS: Carvalho, R; Cunha, A ; Macedo, N ; Santos, A ;
PUBLISHED: 2020, SOURCE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2020 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), PAGES: 7249-7254
AUTHORS: Carvalho, R; Cunha, A ; Macedo, N ; Santos, A ;
PUBLISHED: 2020, SOURCE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2020 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), PAGES: 7249-7254
1463
TITLE: Visual Self-healing Modelling for Reliable Internet-of-Things Systems
AUTHORS: João Pedro Dias ; Bruno Lima ; João Pascoal Faria ; André Restivo ; Hugo Sereno Ferreira ;
PUBLISHED: 2020, SOURCE: ICCS (5), VOLUME: 12141 LNCS, PAGES: 357-370
AUTHORS: João Pedro Dias ; Bruno Lima ; João Pascoal Faria ; André Restivo ; Hugo Sereno Ferreira ;
PUBLISHED: 2020, SOURCE: ICCS (5), VOLUME: 12141 LNCS, PAGES: 357-370
1464
TITLE: Visual sketching. from image sketches to code
AUTHORS: Marcelo d'Amorim; Rui Abreu ; Carlos Mello;
PUBLISHED: 2020, SOURCE: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: New Ideas and Emerging Results
AUTHORS: Marcelo d'Amorim; Rui Abreu ; Carlos Mello;
PUBLISHED: 2020, SOURCE: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: New Ideas and Emerging Results
1465
TITLE: Visual Sketching: From Image Sketches to Code
AUTHORS: d'Amorim, M; Abreu, R ; Mello, C;
PUBLISHED: 2020, SOURCE: 42nd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) in 2020 IEEE/ACM 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING RESULTS (ICSE-NIER 2020), PAGES: 101-104
AUTHORS: d'Amorim, M; Abreu, R ; Mello, C;
PUBLISHED: 2020, SOURCE: 42nd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) in 2020 IEEE/ACM 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING RESULTS (ICSE-NIER 2020), PAGES: 101-104
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP1466
TITLE: Visual sketching: From image sketches to code
AUTHORS: D'Amorim, M; Abreu, R ; Mello, C;
PUBLISHED: 2020, SOURCE: 42nd ACM/IEEE International Conference on Software Engineering: New Ideas and Emerging Results, ICSE-NIER 2020 in Proceedings - International Conference on Software Engineering, PAGES: 101-104
AUTHORS: D'Amorim, M; Abreu, R ; Mello, C;
PUBLISHED: 2020, SOURCE: 42nd ACM/IEEE International Conference on Software Engineering: New Ideas and Emerging Results, ICSE-NIER 2020 in Proceedings - International Conference on Software Engineering, PAGES: 101-104
INDEXED IN: Scopus
Scopus1467
TITLE: WarningsFIX: a Recommendation System for Prioritizing Warnings Generated by Automated Static Analyzers
AUTHORS: Luiz Cavamura Júnior; Anderson Belgamo; Vinícius Rafael Lobo de Mendonça; VINCENZI, AURI M. R. ;
PUBLISHED: 2020, SOURCE: 19th Brazilian Symposium on Software Quality, SBQS 2020, São Luís, Brazil, December, 2020, PAGES: 26
AUTHORS: Luiz Cavamura Júnior; Anderson Belgamo; Vinícius Rafael Lobo de Mendonça; VINCENZI, AURI M. R. ;
PUBLISHED: 2020, SOURCE: 19th Brazilian Symposium on Software Quality, SBQS 2020, São Luís, Brazil, December, 2020, PAGES: 26
1468
TITLE: Welcome Message
AUTHORS: Nuno Lau; Manuel F Silva ; Luís Paulo Reis ; José Cascalho ;
PUBLISHED: 2020, SOURCE: 2020 IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2020
AUTHORS: Nuno Lau; Manuel F Silva ; Luís Paulo Reis ; José Cascalho ;
PUBLISHED: 2020, SOURCE: 2020 IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2020
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef1469
TITLE: Workflow scheduling with Amazon EC2 spot instances: Building reliable compute environments
AUTHORS: Sampaio, AM ; Barbosa, JG ;
PUBLISHED: 2020, SOURCE: International Journal of Machine Learning and Computing, VOLUME: 10, ISSUE: 1, PAGES: 140-147
AUTHORS: Sampaio, AM ; Barbosa, JG ;
PUBLISHED: 2020, SOURCE: International Journal of Machine Learning and Computing, VOLUME: 10, ISSUE: 1, PAGES: 140-147
1470
TITLE: Workshop on Machine Learning in Smart Mobility
AUTHORS: Sara Ferreira ; Henrique Lopes Cardoso ; Rosaldo J F Rossetti ;
PUBLISHED: 2020, SOURCE: IDEAL (2), VOLUME: 12490 LNCS, PAGES: 573-574
AUTHORS: Sara Ferreira ; Henrique Lopes Cardoso ; Rosaldo J F Rossetti ;
PUBLISHED: 2020, SOURCE: IDEAL (2), VOLUME: 12490 LNCS, PAGES: 573-574
1471
TITLE: "This Is Nice but That Is Childish": Teenagers Evaluate Museum-Based Digital Experiences Developed by Cultural Heritage Professionals. Teenagers Evaluate Museum-Based Digital Experiences Developed by Cultural Heritage Professionals
AUTHORS: Cesario, V; Coelho, A ; Nisi, V;
PUBLISHED: 2019, SOURCE: 6th ACM SIGCHI Annual Symposium on Computer-Human Interaction in Play (CHI PLAY) in CHI PLAY'19: EXTENDED ABSTRACTS OF THE ANNUAL SYMPOSIUM ON COMPUTER-HUMAN INTERACTION IN PLAY, PAGES: 159-169
AUTHORS: Cesario, V; Coelho, A ; Nisi, V;
PUBLISHED: 2019, SOURCE: 6th ACM SIGCHI Annual Symposium on Computer-Human Interaction in Play (CHI PLAY) in CHI PLAY'19: EXTENDED ABSTRACTS OF THE ANNUAL SYMPOSIUM ON COMPUTER-HUMAN INTERACTION IN PLAY, PAGES: 159-169
1472
TITLE: 2019 IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2019, Porto, Portugal, April 24-26, 2019
AUTHORS: Luís Almeida ; Luís Paulo Reis ; António Paulo Moreira ;
PUBLISHED: 2019, SOURCE: ICARSC
AUTHORS: Luís Almeida ; Luís Paulo Reis ; António Paulo Moreira ;
PUBLISHED: 2019, SOURCE: ICARSC
INDEXED IN: DBLP
DBLP1473
TITLE: A Board Game to Teach Team Composition in Software Startups
AUTHORS: Jorge Melegati ; Eduardo Guerra; Igor Knop; Xiaofeng Wang;
PUBLISHED: 2019, SOURCE: ICSOB, PAGES: 321-335
AUTHORS: Jorge Melegati ; Eduardo Guerra; Igor Knop; Xiaofeng Wang;
PUBLISHED: 2019, SOURCE: ICSOB, PAGES: 321-335
1474
TITLE: A classification scheme for analyses of messages exchanged in online health forums Full Text
AUTHORS: Lopes, CT ; Da Silva, BG;
PUBLISHED: 2019, SOURCE: ISIC Information Behaviour Conference in INFORMATION RESEARCH-AN INTERNATIONAL ELECTRONIC JOURNAL, VOLUME: 24, ISSUE: 1
AUTHORS: Lopes, CT ; Da Silva, BG;
PUBLISHED: 2019, SOURCE: ISIC Information Behaviour Conference in INFORMATION RESEARCH-AN INTERNATIONAL ELECTRONIC JOURNAL, VOLUME: 24, ISSUE: 1
INDEXED IN: WOS DBLP
WOS DBLP1475
TITLE: A Comparative Analysis of Unsupervised Language Adaptation Methods
AUTHORS: Gil Rocha ; Henrique Lopes Cardoso ;
PUBLISHED: 2019, SOURCE: DeepLo@EMNLP-IJCNLP, PAGES: 11-21
AUTHORS: Gil Rocha ; Henrique Lopes Cardoso ;
PUBLISHED: 2019, SOURCE: DeepLo@EMNLP-IJCNLP, PAGES: 11-21
1476
TITLE: A Conceptual Metamodel to Bridging Requirement Patterns to Test Patterns
AUTHORS: Taciana Novo Kudo; Renato de Freitas Bulcão Neto; VINCENZI, AURI M. R. ;
PUBLISHED: 2019, SOURCE: Proceedings of the XXXIII Brazilian Symposium on Software Engineering, SBES 2019, Salvador, Brazil, September 23-27, 2019., PAGES: 155-160
AUTHORS: Taciana Novo Kudo; Renato de Freitas Bulcão Neto; VINCENZI, AURI M. R. ;
PUBLISHED: 2019, SOURCE: Proceedings of the XXXIII Brazilian Symposium on Software Engineering, SBES 2019, Salvador, Brazil, September 23-27, 2019., PAGES: 155-160
1477
TITLE: A Digital Platform Architecture to Support Multi-dimensional Surplus Capacity Sharing
AUTHORS: Henrique Diogo Silva ; Antonio Lucas Soares ; Andrea Bettoni; Andrea Barni Francesco; Serena Albertario;
PUBLISHED: 2019, SOURCE: 20th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE) in COLLABORATIVE NETWORKS AND DIGITAL TRANSFORMATION, VOLUME: 568, PAGES: 323-334
AUTHORS: Henrique Diogo Silva ; Antonio Lucas Soares ; Andrea Bettoni; Andrea Barni Francesco; Serena Albertario;
PUBLISHED: 2019, SOURCE: 20th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE) in COLLABORATIVE NETWORKS AND DIGITAL TRANSFORMATION, VOLUME: 568, PAGES: 323-334
1478
TITLE: A Domain Model for Transparency in Portuguese Cooperatives. The Governance Structure and Accountability Dimensions
AUTHORS: Mariana Curado Malta ; Deolinda Aparício Meira; Ana Maria Bandeira; Melanie Santos;
PUBLISHED: 2019, SOURCE: Modernization and Accountability in the Social Economy Sector - Advances in Finance, Accounting, and Economics, PAGES: 43-56
AUTHORS: Mariana Curado Malta ; Deolinda Aparício Meira; Ana Maria Bandeira; Melanie Santos;
PUBLISHED: 2019, SOURCE: Modernization and Accountability in the Social Economy Sector - Advances in Finance, Accounting, and Economics, PAGES: 43-56
INDEXED IN: CrossRef
CrossRef1479
TITLE: A framework for automatic and parameterizable memoization
AUTHORS: Besnard, L; Pinto, P; Lasri, I; Bispo, J ; Rohou, E; Cardoso, JMP ;
PUBLISHED: 2019, SOURCE: SOFTWAREX, VOLUME: 10, PAGES: 100322
AUTHORS: Besnard, L; Pinto, P; Lasri, I; Bispo, J ; Rohou, E; Cardoso, JMP ;
PUBLISHED: 2019, SOURCE: SOFTWAREX, VOLUME: 10, PAGES: 100322
1480
TITLE: A Hierarchically-Labeled Portuguese Hate Speech Dataset
AUTHORS: Paula Fortuna; Joao R Rocha da Silva ; Juan Soler Company; Leo Wanner; Sergio Nunes ;
PUBLISHED: 2019, SOURCE: 3rd Workshop on Abusive Language Online in THIRD WORKSHOP ON ABUSIVE LANGUAGE ONLINE, PAGES: 94-104
AUTHORS: Paula Fortuna; Joao R Rocha da Silva ; Juan Soler Company; Leo Wanner; Sergio Nunes ;
PUBLISHED: 2019, SOURCE: 3rd Workshop on Abusive Language Online in THIRD WORKSHOP ON ABUSIVE LANGUAGE ONLINE, PAGES: 94-104
INDEXED IN: WOS
WOS