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: 3865
49 Team MembersFilters -> Year: 2024
1081
TITLE: Safe Walking in VR
AUTHORS: Maurício Sousa; Daniel Mendes ; Joaquim A Jorge;
PUBLISHED: 2019, SOURCE: 17th ACM SIGGRAPH International Conference on Virtual-Reality Continuum and its Applications in Industry, VRCAI 2019 in The 17th International Conference on Virtual-Reality Continuum and its Applications in Industry, VRCAI 2019, Brisbane, QLD, Australia, November 14-16, 2019., PAGES: 54:1-54:2
AUTHORS: Maurício Sousa; Daniel Mendes ; Joaquim A Jorge;
PUBLISHED: 2019, SOURCE: 17th ACM SIGGRAPH International Conference on Virtual-Reality Continuum and its Applications in Industry, VRCAI 2019 in The 17th International Conference on Virtual-Reality Continuum and its Applications in Industry, VRCAI 2019, Brisbane, QLD, Australia, November 14-16, 2019., PAGES: 54:1-54:2
1082
TITLE: Safe Walking In VR using Augmented Virtuality PDF
AUTHORS: Maurício Sousa; Daniel Mendes ; Joaquim A Jorge;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1911.13032
AUTHORS: Maurício Sousa; Daniel Mendes ; Joaquim A Jorge;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1911.13032
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv1083
TITLE: Scalable eventually consistent counters over unreliable networks PDF Full Text
AUTHORS: Paulo Sergio Almeida ; Carlos Baquero ;
PUBLISHED: 2019, SOURCE: DISTRIBUTED COMPUTING, VOLUME: 32, ISSUE: 1, PAGES: 69-89
AUTHORS: Paulo Sergio Almeida ; Carlos Baquero ;
PUBLISHED: 2019, SOURCE: DISTRIBUTED COMPUTING, VOLUME: 32, ISSUE: 1, PAGES: 69-89
1084
TITLE: Seed: Resynthesizing environmental sounds from examples
AUTHORS: Bernardes, G ; Aly, L; Davies, MEP ;
PUBLISHED: 2019, SOURCE: 13th Sound and Music Computing Conference, SMC 2016 in SMC 2016 - 13th Sound and Music Computing Conference, Proceedings, PAGES: 55-62
AUTHORS: Bernardes, G ; Aly, L; Davies, MEP ;
PUBLISHED: 2019, SOURCE: 13th Sound and Music Computing Conference, SMC 2016 in SMC 2016 - 13th Sound and Music Computing Conference, Proceedings, PAGES: 55-62
INDEXED IN: 
Scopus
Scopus1085
TITLE: Segmentation of gynaecological ultrasound images using different U-Net based approaches
AUTHORS: Sonia Marques; Catarina Carvalho ; Carla Peixoto; Duarte Pignatelli; Jorge Beires; Jorge Silva ; Aurelio Campilho ;
PUBLISHED: 2019, SOURCE: IEEE International Ultrasonics Symposium (IUS) in 2019 IEEE INTERNATIONAL ULTRASONICS SYMPOSIUM (IUS), VOLUME: 2019-October, PAGES: 1485-1488
AUTHORS: Sonia Marques; Catarina Carvalho ; Carla Peixoto; Duarte Pignatelli; Jorge Beires; Jorge Silva ; Aurelio Campilho ;
PUBLISHED: 2019, SOURCE: IEEE International Ultrasonics Symposium (IUS) in 2019 IEEE INTERNATIONAL ULTRASONICS SYMPOSIUM (IUS), VOLUME: 2019-October, PAGES: 1485-1488
1086
TITLE: Self-adaptive Cobots in Cyber-Physical Production Systems
AUTHORS: Roberto Nogueira; Joao Reis; Rui Pinto ; Gil Gonçalves ;
PUBLISHED: 2019, SOURCE: 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in 2019 24TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), VOLUME: 2019-September, PAGES: 521-528
AUTHORS: Roberto Nogueira; Joao Reis; Rui Pinto ; Gil Gonçalves ;
PUBLISHED: 2019, SOURCE: 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in 2019 24TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), VOLUME: 2019-September, PAGES: 521-528
INDEXED IN: Scopus 
WOS
Scopus WOS1087
TITLE: Self-adaptive Cobots in Cyber-Physical Production Systems
AUTHORS: Roberto Nogueira; João Reis; Rui Pinto ; Gil Gonçalves ;
PUBLISHED: 2019, SOURCE: 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019, Zaragoza, Spain, September 10-13, 2019, PAGES: 521-528
AUTHORS: Roberto Nogueira; João Reis; Rui Pinto ; Gil Gonçalves ;
PUBLISHED: 2019, SOURCE: 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019, Zaragoza, Spain, September 10-13, 2019, PAGES: 521-528
1088
TITLE: Semantics-aware Virtual Machine Image Management in IaaS Clouds
AUTHORS: Saurabh, N; Remmers, J; Kimovski, D; Prodan, R; Barbosa, JG ;
PUBLISHED: 2019, SOURCE: 33rd IEEE International Parallel and Distributed Processing Symposium (IPDPS) in 2019 IEEE 33RD INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS 2019), PAGES: 418-427
AUTHORS: Saurabh, N; Remmers, J; Kimovski, D; Prodan, R; Barbosa, JG ;
PUBLISHED: 2019, SOURCE: 33rd IEEE International Parallel and Distributed Processing Symposium (IPDPS) in 2019 IEEE 33RD INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS 2019), PAGES: 418-427
INDEXED IN: WOS DBLP
WOS DBLP1089
TITLE: Semantics-aware Virtual Machine Image Management in IaaS Clouds PDF
AUTHORS: Nishant Saurabh; Julian Remmers; Dragi Kimovski; Radu Prodan; Jorge G Barbosa ;
PUBLISHED: 2019, SOURCE: 33rd IEEE International Parallel and Distributed Processing Symposium, IPDPS 2019 in CoRR, VOLUME: abs/1906.09122, PAGES: 418-427
AUTHORS: Nishant Saurabh; Julian Remmers; Dragi Kimovski; Radu Prodan; Jorge G Barbosa ;
PUBLISHED: 2019, SOURCE: 33rd IEEE International Parallel and Distributed Processing Symposium, IPDPS 2019 in CoRR, VOLUME: abs/1906.09122, PAGES: 418-427
1090
TITLE: Serious games for ageing: a pilot interventional study in a cohort of heterogeneous cognitive impairment
AUTHORS: Marco Simões; Rui Abreu ; Hélio Gonçalves; Ana Rodrigues; Inês Bernardino; Miguel Castelo Branco;
PUBLISHED: 2019, SOURCE: 7th IEEE International Conference on Serious Games and Applications for Health, SeGAH 2019, Kyoto, Japan, August 5-7, 2019, PAGES: 1-8
AUTHORS: Marco Simões; Rui Abreu ; Hélio Gonçalves; Ana Rodrigues; Inês Bernardino; Miguel Castelo Branco;
PUBLISHED: 2019, SOURCE: 7th IEEE International Conference on Serious Games and Applications for Health, SeGAH 2019, Kyoto, Japan, August 5-7, 2019, PAGES: 1-8
INDEXED IN: DBLP
DBLP1091
TITLE: Sharing and Learning Alloy on the Web PDF
AUTHORS: Nuno Macedo ; Alcino Cunha ; José Pereira ; Renato Carvalho; Ricardo Silva; Ana C R Paiva ; Miguel S Ramalho; Daniel Castro Silva;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1907.02275
AUTHORS: Nuno Macedo ; Alcino Cunha ; José Pereira ; Renato Carvalho; Ricardo Silva; Ana C R Paiva ; Miguel S Ramalho; Daniel Castro Silva;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1907.02275
INDEXED IN: DBLP arXiv
DBLP arXiv1092
TITLE: Simplifying the Analysis of Software Design Variants with a Colorful Alloy
AUTHORS: Chong Liu ; Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2019, SOURCE: 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019 in Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings, VOLUME: 11951, PAGES: 38-55
AUTHORS: Chong Liu ; Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2019, SOURCE: 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019 in Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings, VOLUME: 11951, PAGES: 38-55
1093
TITLE: Simulation under Arbitrary Temporal Logic Constraints PDF Full Text
AUTHORS: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2019, SOURCE: 5th Workshop on Formal Integrated Development Environment, F-IDE 2019 in Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019., VOLUME: 310, PAGES: 63-69
AUTHORS: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2019, SOURCE: 5th Workshop on Formal Integrated Development Environment, F-IDE 2019 in Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019., VOLUME: 310, PAGES: 63-69
1094
TITLE: Static-time Extraction and Analysis of the ROS Computation Graph
AUTHORS: Andre Santos ; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2019, SOURCE: 3rd IEEE International Conference on Robotic Computing (IRC) in 2019 THIRD IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC 2019), PAGES: 62-69
AUTHORS: Andre Santos ; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2019, SOURCE: 3rd IEEE International Conference on Robotic Computing (IRC) in 2019 THIRD IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC 2019), PAGES: 62-69
1095
TITLE: Stop PropagHate at SemEval-2019 Tasks 5 and 6: Are abusive language classification results reproducible?
AUTHORS: Paula Fortuna; Juan Soler Company; Sérgio Nunes ;
PUBLISHED: 2019, SOURCE: Proceedings of the 13th International Workshop on Semantic Evaluation, SemEval@NAACL-HLT 2019, Minneapolis, MN, USA, June 6-7, 2019, PAGES: 745-752
AUTHORS: Paula Fortuna; Juan Soler Company; Sérgio Nunes ;
PUBLISHED: 2019, SOURCE: Proceedings of the 13th International Workshop on Semantic Evaluation, SemEval@NAACL-HLT 2019, Minneapolis, MN, USA, June 6-7, 2019, PAGES: 745-752
INDEXED IN: DBLP
DBLP1096
TITLE: Supporting the Scale-up of High Performance Application to Pre-Exascale Systems: The ANTAREX Approach
AUTHORS: Silvano, C; Agosta, G; Bartolini, A; Beccari, AR; Benini, L; Besnard, L; Bispo, J ; Cmar, R; Cardoso, JMP ; Cavazzoni, C; Cesarini, D; Cherubin, S; Ficarelli, F; Gadioli, D; Golasowski, M; Lasri, I; Libri, A; Manelfi, C; Martinovic, J; Palermo, G; ...More
PUBLISHED: 2019, SOURCE: 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) in 2019 27TH EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED AND NETWORK-BASED PROCESSING (PDP), PAGES: 116-123
AUTHORS: Silvano, C; Agosta, G; Bartolini, A; Beccari, AR; Benini, L; Besnard, L; Bispo, J ; Cmar, R; Cardoso, JMP ; Cavazzoni, C; Cesarini, D; Cherubin, S; Ficarelli, F; Gadioli, D; Golasowski, M; Lasri, I; Libri, A; Manelfi, C; Martinovic, J; Palermo, G; ...More
PUBLISHED: 2019, SOURCE: 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) in 2019 27TH EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED AND NETWORK-BASED PROCESSING (PDP), PAGES: 116-123
1097
TITLE: Tactical Level Decision-Making for Platoons of Autonomous Vehicles Using Auction Mechanisms
AUTHORS: Zafeiris Kokkinogenis ; Miguel Teixeira; Pedro M d'Orey ; Rosaldo J F Rossetti ;
PUBLISHED: 2019, SOURCE: 30th IEEE Intelligent Vehicles Symposium (IV) in 2019 30TH IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV19), VOLUME: 2019-June, PAGES: 1632-1638
AUTHORS: Zafeiris Kokkinogenis ; Miguel Teixeira; Pedro M d'Orey ; Rosaldo J F Rossetti ;
PUBLISHED: 2019, SOURCE: 30th IEEE Intelligent Vehicles Symposium (IV) in 2019 30TH IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV19), VOLUME: 2019-June, PAGES: 1632-1638
1098
TITLE: Techniques and Analysis for Mixed-criticality Scheduling with Mode-dependent Server Execution Budgets Full Text
AUTHORS: Awan, MA; Bletsas, KN; Souto, PF ; Akesson, B; Tovar, E ;
PUBLISHED: 2019, SOURCE: Embedded Systems Week / Int Conf on Compilers, Architecture, and Synthesis for Embedded Systems (CASES) / International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) / Int Conf on Embedded Software (EMSOFT) in ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, VOLUME: 18, ISSUE: 5, PAGES: 109:1-109:23
AUTHORS: Awan, MA; Bletsas, KN; Souto, PF ; Akesson, B; Tovar, E ;
PUBLISHED: 2019, SOURCE: Embedded Systems Week / Int Conf on Compilers, Architecture, and Synthesis for Embedded Systems (CASES) / International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) / Int Conf on Embedded Software (EMSOFT) in ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, VOLUME: 18, ISSUE: 5, PAGES: 109:1-109:23
1099
TITLE: Testing and Deployment Patterns for the Internet-of-Things
AUTHORS: Joao Pedro Dias ; Hugo Sereno Ferreira ; Tiago Boldt Sousa;
PUBLISHED: 2019, SOURCE: 24th European Conference on Pattern Languages of Programs (EuroPLoP) in PROCEEDINGS OF THE 24TH EUROPEAN CONFERENCE ON PATTERN LANGUAGES OF PROGRAMS (EUROPLOP 2019), PAGES: 16:1-16:8
AUTHORS: Joao Pedro Dias ; Hugo Sereno Ferreira ; Tiago Boldt Sousa;
PUBLISHED: 2019, SOURCE: 24th European Conference on Pattern Languages of Programs (EuroPLoP) in PROCEEDINGS OF THE 24TH EUROPEAN CONFERENCE ON PATTERN LANGUAGES OF PROGRAMS (EUROPLOP 2019), PAGES: 16:1-16:8
1100
TITLE: Testing Android Incoming Calls
AUTHORS: Ana C R Paiva ; Marco A Goncalves; Andre R Barros;
PUBLISHED: 2019, SOURCE: 12th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2019 IEEE 12TH CONFERENCE ON SOFTWARE TESTING, VALIDATION AND VERIFICATION (ICST 2019), PAGES: 441-448
AUTHORS: Ana C R Paiva ; Marco A Goncalves; Andre R Barros;
PUBLISHED: 2019, SOURCE: 12th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2019 IEEE 12TH CONFERENCE ON SOFTWARE TESTING, VALIDATION AND VERIFICATION (ICST 2019), PAGES: 441-448
