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: 3737
49 Team MembersFilters -> Year: 2024
141
TITLE: Exploring Automatic Specification Repair in Dafny Programs
AUTHORS: Abreu, Alexandre ; Macedo, Nuno ; Mendes, Alexandra ;
PUBLISHED: 2023, SOURCE: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS, ASEW, PAGES: 105-112
AUTHORS: Abreu, Alexandre ; Macedo, Nuno ; Mendes, Alexandra ;
PUBLISHED: 2023, SOURCE: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS, ASEW, PAGES: 105-112
142
TITLE: Exploring Pseudo-Haptics for Object Compliance in Virtual Reality
AUTHORS: Carlos Lousada; Daniel Mendes ; Rui Rodrigues;
PUBLISHED: 2023, SOURCE: 5th International Conference on Graphics and Interaction, ICGI 2023 in International Conference on Graphics and Interaction, ICGI 2023, Tomar, Portugal, November 2-3, 2023, PAGES: 1-8
AUTHORS: Carlos Lousada; Daniel Mendes ; Rui Rodrigues;
PUBLISHED: 2023, SOURCE: 5th International Conference on Graphics and Interaction, ICGI 2023 in International Conference on Graphics and Interaction, ICGI 2023, Tomar, Portugal, November 2-3, 2023, PAGES: 1-8
143
TITLE: Exploring the Intersection of Storytelling, Localisation, and Immersion in Video Games - A Case Study of the Witcher III: Wild Hunt
AUTHORS: Vanessa Cesário; Mariana Ribeiro; António Coelho ;
PUBLISHED: 2023, SOURCE: HCI International 2023 Posters - 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I, VOLUME: 1832, PAGES: 546-552
AUTHORS: Vanessa Cesário; Mariana Ribeiro; António Coelho ;
PUBLISHED: 2023, SOURCE: HCI International 2023 Posters - 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I, VOLUME: 1832, PAGES: 546-552
INDEXED IN: 
DBLP
DBLP144
TITLE: Exploring the Intersection of Storytelling, Localisation, and Immersion in Video Games – A Case Study of the Witcher III: Wild Hunt
AUTHORS: Vanessa Cesário; Mariana Ribeiro; António Coelho ;
PUBLISHED: 2023, SOURCE: 25th International Conference on Human-Computer Interaction , HCII 2023 in Communications in Computer and Information Science, VOLUME: 1832 CCIS, PAGES: 546-552
AUTHORS: Vanessa Cesário; Mariana Ribeiro; António Coelho ;
PUBLISHED: 2023, SOURCE: 25th International Conference on Human-Computer Interaction , HCII 2023 in Communications in Computer and Information Science, VOLUME: 1832 CCIS, PAGES: 546-552
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef145
TITLE: Exploring the Reduction of Configuration Spaces of Workflows
AUTHORS: Fernando Freitas; Pavel Brazdil ; Carlos Soares ;
PUBLISHED: 2023, SOURCE: 26th International Conference on Discovery Science, DS 2023 in Discovery Science - 26th International Conference, DS 2023, Porto, Portugal, October 9-11, 2023, Proceedings, VOLUME: 14276, PAGES: 33-47
AUTHORS: Fernando Freitas; Pavel Brazdil ; Carlos Soares ;
PUBLISHED: 2023, SOURCE: 26th International Conference on Discovery Science, DS 2023 in Discovery Science - 26th International Conference, DS 2023, Porto, Portugal, October 9-11, 2023, Proceedings, VOLUME: 14276, PAGES: 33-47
146
TITLE: FC Portugal 3D Simulation Team: Team Description Paper 2020
AUTHORS: Nuno Lau; Luís Paulo Reis ; David Simões; Mohammadreza Kasaei; Miguel Abreu; Tiago Silva; Francisco Resende;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2303.15931
AUTHORS: Nuno Lau; Luís Paulo Reis ; David Simões; Mohammadreza Kasaei; Miguel Abreu; Tiago Silva; Francisco Resende;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2303.15931
INDEXED IN: DBLP
DBLP147
TITLE: FC Portugal: RoboCup 2022 3D Simulation League and Technical Challenge Champions
AUTHORS: Abreu, Miguel; Kasaei, Mohammadreza; Reis, Luis Paulo ; Lau, Nuno ;
PUBLISHED: 2023, SOURCE: RoboCup Symposium in ROBOCUP 2022, VOLUME: 13561, PAGES: 313-324
AUTHORS: Abreu, Miguel; Kasaei, Mohammadreza; Reis, Luis Paulo ; Lau, Nuno ;
PUBLISHED: 2023, SOURCE: RoboCup Symposium in ROBOCUP 2022, VOLUME: 13561, PAGES: 313-324
148
TITLE: Federated Learning for Computer-Aided Diagnosis of Glaucoma Using Retinal Fundus Images
AUTHORS: Baptista, Telmo; Soares, Carlos ; Oliveira, Tiago; Soares, Filipe;
PUBLISHED: 2023, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 13, ISSUE: 21, PAGES: 11620
AUTHORS: Baptista, Telmo; Soares, Carlos ; Oliveira, Tiago; Soares, Filipe;
PUBLISHED: 2023, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 13, ISSUE: 21, PAGES: 11620
149
TITLE: FIRMa: A Framework to Support the Requirements Management Process Based on Information Management Tools Full Text
AUTHORS: Fagundes, Priscila Basto; de Macedo, Douglas Dyllon Jeronimo; Soares, Antonio Lucas ;
PUBLISHED: 2023, SOURCE: MOBILE NETWORKS & APPLICATIONS
AUTHORS: Fagundes, Priscila Basto; de Macedo, Douglas Dyllon Jeronimo; Soares, Antonio Lucas ;
PUBLISHED: 2023, SOURCE: MOBILE NETWORKS & APPLICATIONS
150
TITLE: First insight into oral microbiome diversity in Papua New Guineans reveals a specific regional signature Full Text
AUTHORS: Pedro, Nicole; Brucato, Nicolas; Cavadas, Bruno; Lisant, Valentine; Camacho, Rui ; Kinipi, Christopher; Leavesley, Matthew; Pereira, Luisa; Ricaut, Francois Xavier;
PUBLISHED: 2023, SOURCE: MOLECULAR ECOLOGY, VOLUME: 32, ISSUE: 10, PAGES: 2551-2564
AUTHORS: Pedro, Nicole; Brucato, Nicolas; Cavadas, Bruno; Lisant, Valentine; Camacho, Rui ; Kinipi, Christopher; Leavesley, Matthew; Pereira, Luisa; Ricaut, Francois Xavier;
PUBLISHED: 2023, SOURCE: MOLECULAR ECOLOGY, VOLUME: 32, ISSUE: 10, PAGES: 2551-2564
151
TITLE: FluidHarmony: Defining an equal-tempered and hierarchical harmonic lexicon in the Fourier space Full Text
AUTHORS: Bernardes, Gilberto ; Carvalho, Nadia ; Pereira, Samuel ;
PUBLISHED: 2023, SOURCE: JOURNAL OF NEW MUSIC RESEARCH, PAGES: 1-20
AUTHORS: Bernardes, Gilberto ; Carvalho, Nadia ; Pereira, Samuel ;
PUBLISHED: 2023, SOURCE: JOURNAL OF NEW MUSIC RESEARCH, PAGES: 1-20
152
TITLE: Foundational DevOps Patterns
AUTHORS: Paulo Marques; Filipe F Correia ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2302.01053
AUTHORS: Paulo Marques; Filipe F Correia ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2302.01053
INDEXED IN: DBLP
DBLP153
TITLE: From 10 Blue Links Pages to Feature-Full Search Engine Results Pages - Analysis of the Temporal Evolution of SERP Features
AUTHORS: Bruno Oliveira; Carla Teixeira Lopes ;
PUBLISHED: 2023, SOURCE: Proceedings of the 2023 Conference on Human Information Interaction and Retrieval, CHIIR 2023, Austin, TX, USA, March 19-23, 2023, PAGES: 338-345
AUTHORS: Bruno Oliveira; Carla Teixeira Lopes ;
PUBLISHED: 2023, SOURCE: Proceedings of the 2023 Conference on Human Information Interaction and Retrieval, CHIIR 2023, Austin, TX, USA, March 19-23, 2023, PAGES: 338-345
INDEXED IN: DBLP
DBLP154
TITLE: From ISAD(G) to Linked Data Archival Descriptions
AUTHORS: Koch, Ines ; Pires, Catarina; Lopes, Carla Teixeira ; Ribeiro, Cristina ; Nunes, Sergio ;
PUBLISHED: 2023, SOURCE: 27th International Conference on Theory and Practice of Digital Libraries (TPDL) in LINKING THEORY AND PRACTICE OF DIGITAL LIBRARIES, TPDL 2023, VOLUME: 14241, PAGES: 303-309
AUTHORS: Koch, Ines ; Pires, Catarina; Lopes, Carla Teixeira ; Ribeiro, Cristina ; Nunes, Sergio ;
PUBLISHED: 2023, SOURCE: 27th International Conference on Theory and Practice of Digital Libraries (TPDL) in LINKING THEORY AND PRACTICE OF DIGITAL LIBRARIES, TPDL 2023, VOLUME: 14241, PAGES: 303-309
155
TITLE: GASTeN: Generative Adversarial Stress Test Networks
AUTHORS: Cunha, Luis; Soares, Carlos ; André Restivo ; Luis F. Teixeira ;
PUBLISHED: 2023, SOURCE: 21st International Symposium on Intelligent Data Analysis (IDA) in ADVANCES IN INTELLIGENT DATA ANALYSIS XXI, IDA 2023, VOLUME: 13876, PAGES: 91-102
AUTHORS: Cunha, Luis; Soares, Carlos ; André Restivo ; Luis F. Teixeira ;
PUBLISHED: 2023, SOURCE: 21st International Symposium on Intelligent Data Analysis (IDA) in ADVANCES IN INTELLIGENT DATA ANALYSIS XXI, IDA 2023, VOLUME: 13876, PAGES: 91-102
156
TITLE: Getting in touch with metadata: a DDI subset for FAIR metadata production in clinical psychology Full Text
AUTHORS: João Aguiar Castro ; Joana Rodrigues; Paula Mena Matos; Célia M D Sales; Cristina Ribeiro ;
PUBLISHED: 2023, SOURCE: IASSIST Quarterly, VOLUME: 47, ISSUE: 1
AUTHORS: João Aguiar Castro ; Joana Rodrigues; Paula Mena Matos; Célia M D Sales; Cristina Ribeiro ;
PUBLISHED: 2023, SOURCE: IASSIST Quarterly, VOLUME: 47, ISSUE: 1
INDEXED IN: CrossRef
CrossRef157
TITLE: Hand Gestures Recognition for an Intelligent Wheelchair Steering Command
AUTHORS: Almeida, Patricia; Faria, Brigida Monica ; Reis, Luis Paulo ;
PUBLISHED: 2023, SOURCE: 5th Iberian Robotics Conference (ROBOT) in ROBOT2022: FIFTH IBERIAN ROBOTICS CONFERENCE: ADVANCES IN ROBOTICS, VOL 2, VOLUME: 590, PAGES: 41-52
AUTHORS: Almeida, Patricia; Faria, Brigida Monica ; Reis, Luis Paulo ;
PUBLISHED: 2023, SOURCE: 5th Iberian Robotics Conference (ROBOT) in ROBOT2022: FIFTH IBERIAN ROBOTICS CONFERENCE: ADVANCES IN ROBOTICS, VOL 2, VOLUME: 590, PAGES: 41-52
158
TITLE: Images as Metadata: A New Perspective for Describing Research Data Full Text
AUTHORS: Joana Rodrigues ; Carla Teixeira Lopes ;
PUBLISHED: 2023, SOURCE: Journal of Library Metadata, PAGES: 1-15
AUTHORS: Joana Rodrigues ; Carla Teixeira Lopes ;
PUBLISHED: 2023, SOURCE: Journal of Library Metadata, PAGES: 1-15
INDEXED IN: Scopus CrossRef
Scopus CrossRef159
TITLE: Impact of incidental visualizations on primary tasks Full Text
AUTHORS: Moreira, Joao; Mendes, Daniel ; Goncalves, Daniel;
PUBLISHED: 2023, SOURCE: INFORMATION VISUALIZATION, VOLUME: 22, ISSUE: 4, PAGES: 307-322
AUTHORS: Moreira, Joao; Mendes, Daniel ; Goncalves, Daniel;
PUBLISHED: 2023, SOURCE: INFORMATION VISUALIZATION, VOLUME: 22, ISSUE: 4, PAGES: 307-322
160
TITLE: Impact of remote work on Portuguese software professionals during the COVID-19 pandemic
AUTHORS: Ana J Almeida; Jácome Cunha ; João M Fernandes;
PUBLISHED: 2023, SOURCE: 26th Ibero-American Conference on Software Engineering, CIbSE 2023 in 26th Iberoamerican Conference on Software Engineering, CIbSE 2023, Montevideo, Uruguay, April 24-28, 2023., PAGES: 191-205
AUTHORS: Ana J Almeida; Jácome Cunha ; João M Fernandes;
PUBLISHED: 2023, SOURCE: 26th Ibero-American Conference on Software Engineering, CIbSE 2023 in 26th Iberoamerican Conference on Software Engineering, CIbSE 2023, Montevideo, Uruguay, April 24-28, 2023., PAGES: 191-205
INDEXED IN: Scopus DBLP
Scopus DBLP