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: 3741
49 Team MembersFilters -> Year: 2024
101
TITLE: bGSL: An imperative language for specification and refinement of backtracking programs
AUTHORS: Dunne, Steve; Ferreira, Joao F.; Mendes, Alexandra ; Ritchie, Campbell; Stoddart, Bill; Zeyda, Frank;
PUBLISHED: 2023, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 130, PAGES: 100811
AUTHORS: Dunne, Steve; Ferreira, Joao F.; Mendes, Alexandra ; Ritchie, Campbell; Stoddart, Bill; Zeyda, Frank;
PUBLISHED: 2023, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 130, PAGES: 100811
102
TITLE: Brain Waves Classification Using a Single-Channel Dry EEG Headset: An Application for Controlling an Intelligent Wheelchair
AUTHORS: Patricia Almeida; Brígida Mónica Faria; Luís Paulo Reis ;
PUBLISHED: 2023, SOURCE: Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection - 21st International Conference, PAAMS 2023, Guimarães, Portugal, July 12-14, 2023, Proceedings, VOLUME: 13955, PAGES: 3-14
AUTHORS: Patricia Almeida; Brígida Mónica Faria; Luís Paulo Reis ;
PUBLISHED: 2023, SOURCE: Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection - 21st International Conference, PAAMS 2023, Guimarães, Portugal, July 12-14, 2023, Proceedings, VOLUME: 13955, PAGES: 3-14
INDEXED IN: 
DBLP
DBLP103
TITLE: Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment
AUTHORS: João Pascoal Faria ; Rui Abreu;
PUBLISHED: 2023, SOURCE: 10th IPM International Conference on Fundamentals of Software Engineering, FSEN 2023 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 14155 LNCS, PAGES: 25-39
AUTHORS: João Pascoal Faria ; Rui Abreu;
PUBLISHED: 2023, SOURCE: 10th IPM International Conference on Fundamentals of Software Engineering, FSEN 2023 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 14155 LNCS, PAGES: 25-39
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef104
TITLE: Challenges and Opportunities in C/C++ Source-To-Source Compilation (Invited Paper)
AUTHORS: João Bispo ; Nuno Paulino ; Luís Miguel Sousa;
PUBLISHED: 2023, SOURCE: 14th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 12th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2023 in 14th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 12th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2023, January 17, 2023, Toulouse, France., VOLUME: 107, PAGES: 2:1-2:15
AUTHORS: João Bispo ; Nuno Paulino ; Luís Miguel Sousa;
PUBLISHED: 2023, SOURCE: 14th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 12th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2023 in 14th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 12th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2023, January 17, 2023, Toulouse, France., VOLUME: 107, PAGES: 2:1-2:15
INDEXED IN: Scopus DBLP
Scopus DBLP105
TITLE: CharM - Evaluating a model for characterizing service-based architectures Full Text
AUTHORS: Rosa, Thatiane de Oliveira; Guerra, Eduardo Martins; Correia, Filipe Figueiredo ; Goldman, Alfredo;
PUBLISHED: 2023, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 206, PAGES: 111826
AUTHORS: Rosa, Thatiane de Oliveira; Guerra, Eduardo Martins; Correia, Filipe Figueiredo ; Goldman, Alfredo;
PUBLISHED: 2023, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 206, PAGES: 111826
106
TITLE: CI/CD Meets Block-Based Languages
AUTHORS: da Giao, Hugo; Pereira, Rui ; Cunha, Jacome ;
PUBLISHED: 2023, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2023 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, VL/HCC, PAGES: 232-234
AUTHORS: da Giao, Hugo; Pereira, Rui ; Cunha, Jacome ;
PUBLISHED: 2023, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2023 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, VL/HCC, PAGES: 232-234
INDEXED IN: Scopus 
WOS DBLP
Scopus WOS DBLP107
TITLE: CIDER: Collaborative Interior Design in Extended Reality
AUTHORS: Deborah Pintani; Ariel Caputo; Daniel Mendes ; Andrea Giachetti;
PUBLISHED: 2023, SOURCE: 15th Biannual Conference of the Italian SIGCHI Chapter: Crossing HCI and AI, CHItaly 2023 in Proceedings of the 15th Biannual Conference of the Italian SIGCHI Chapter, CHItaly 2023, Torino, Italy, September 20-22, 2023, PAGES: 16:1-16:11
AUTHORS: Deborah Pintani; Ariel Caputo; Daniel Mendes ; Andrea Giachetti;
PUBLISHED: 2023, SOURCE: 15th Biannual Conference of the Italian SIGCHI Chapter: Crossing HCI and AI, CHItaly 2023 in Proceedings of the 15th Biannual Conference of the Italian SIGCHI Chapter, CHItaly 2023, Torino, Italy, September 20-22, 2023, PAGES: 16:1-16:11
108
TITLE: Clinical model for Hereditary Transthyretin Amyloidosis age of onset prediction Full Text
AUTHORS: Pedroto, Maria; Coelho, Teresa; Jorge, Alipio ; Mendes Moreira, Joao ;
PUBLISHED: 2023, SOURCE: FRONTIERS IN NEUROLOGY, VOLUME: 14
AUTHORS: Pedroto, Maria; Coelho, Teresa; Jorge, Alipio ; Mendes Moreira, Joao ;
PUBLISHED: 2023, SOURCE: FRONTIERS IN NEUROLOGY, VOLUME: 14
109
TITLE: CogniChallenge: Multiplayer serious games' platform for cognitive and psychosocial rehabilitation
AUTHORS: Eliana Silva; Ricardo Lopes; Luís Paulo Reis ;
PUBLISHED: 2023, SOURCE: Int. J. Serious Games, VOLUME: 10, ISSUE: 4, PAGES: 3-16
AUTHORS: Eliana Silva; Ricardo Lopes; Luís Paulo Reis ;
PUBLISHED: 2023, SOURCE: Int. J. Serious Games, VOLUME: 10, ISSUE: 4, PAGES: 3-16
INDEXED IN: DBLP
DBLP110
TITLE: CogniChallenge: Multiplayer serious games’ platform for cognitive and psychosocial rehabilitation
AUTHORS: Eliana Silva; Ricardo Lopes; Luís Paulo Reis ;
PUBLISHED: 2023, SOURCE: International Journal of Serious Games, VOLUME: 10, ISSUE: 4, PAGES: 3-16
AUTHORS: Eliana Silva; Ricardo Lopes; Luís Paulo Reis ;
PUBLISHED: 2023, SOURCE: International Journal of Serious Games, VOLUME: 10, ISSUE: 4, PAGES: 3-16
INDEXED IN: Scopus
Scopus111
TITLE: Coherent Concept-based Explanations in Medical Image and Its Application to Skin Lesion Diagnosis
AUTHORS: Cristiano Patrício ; João C Neves; Luis F. Teixeira ;
PUBLISHED: 2023, SOURCE: 2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, CVPRW 2023 in CoRR, VOLUME: abs/2304.04579, PAGES: 3799-3808
AUTHORS: Cristiano Patrício ; João C Neves; Luis F. Teixeira ;
PUBLISHED: 2023, SOURCE: 2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, CVPRW 2023 in CoRR, VOLUME: abs/2304.04579, PAGES: 3799-3808
112
TITLE: Collecting cognitive strategies applied by students during test case design
AUTHORS: Cammaerts, Felix; Snoeck, Monique; Paiva, Ana C. R. ;
PUBLISHED: 2023, SOURCE: 27th International Conference on Evaluation and Assessment in Software Engineering (EASE) in 27TH INTERNATIONAL CONFERENCE ON EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING, EASE 2023, PAGES: 455-459
AUTHORS: Cammaerts, Felix; Snoeck, Monique; Paiva, Ana C. R. ;
PUBLISHED: 2023, SOURCE: 27th International Conference on Evaluation and Assessment in Software Engineering (EASE) in 27TH INTERNATIONAL CONFERENCE ON EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING, EASE 2023, PAGES: 455-459
113
TITLE: Combining Neighbor Models to Improve Predictions of Age of Onset of ATTRv Carriers
AUTHORS: Pedroto, Maria; Jorge, Alipio ; Mendes Moreira, Joao ; Coelho, Teresa;
PUBLISHED: 2023, SOURCE: 22nd EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2023, PT II, VOLUME: 14116, PAGES: 286-297
AUTHORS: Pedroto, Maria; Jorge, Alipio ; Mendes Moreira, Joao ; Coelho, Teresa;
PUBLISHED: 2023, SOURCE: 22nd EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2023, PT II, VOLUME: 14116, PAGES: 286-297
114
TITLE: Computational Similarity of Portuguese Folk Melodies Using Hierarchical Reduction
AUTHORS: Carvalho, Nadia ; Diogo, Daniel; Bernardes, Gilberto ;
PUBLISHED: 2023, SOURCE: 10th International Conference on Digital Libraries for Musicology (DLfM) in THE 10TH INTERNATIONAL CONFERENCE ON DIGITAL LIBRARIES FOR MUSICOLOGY, DLFM 2023, PAGES: 22-29
AUTHORS: Carvalho, Nadia ; Diogo, Daniel; Bernardes, Gilberto ;
PUBLISHED: 2023, SOURCE: 10th International Conference on Digital Libraries for Musicology (DLfM) in THE 10TH INTERNATIONAL CONFERENCE ON DIGITAL LIBRARIES FOR MUSICOLOGY, DLFM 2023, PAGES: 22-29
115
TITLE: Computer Vision, Imaging and Computer Graphics Theory and Applications - 16th International Joint Conference, VISIGRAPP 2021, Virtual Event, February 8-10, 2021, Revised Selected Papers
AUTHORS: Augusto A de Sousa ; Vlastimil Havran; Alexis Paljic; Tabitha C Peck; Christophe Hurter; Helen C Purchase; Giovanni Maria Farinella; Petia Radeva; Kadi Bouatouch;
PUBLISHED: 2023, SOURCE: VISIGRAPP (Revised Selected Papers), VOLUME: 1691
AUTHORS: Augusto A de Sousa ; Vlastimil Havran; Alexis Paljic; Tabitha C Peck; Christophe Hurter; Helen C Purchase; Giovanni Maria Farinella; Petia Radeva; Kadi Bouatouch;
PUBLISHED: 2023, SOURCE: VISIGRAPP (Revised Selected Papers), VOLUME: 1691
INDEXED IN: DBLP
DBLP116
TITLE: Consistent comparison of symptom-based methods for COVID-19 infection detection Full Text
AUTHORS: Rufino, Jesus; Ramirez, Juan Marcos; Aguilar, Jose; Baquero, Carlos ; Champati, Jaya; Frey, Davide; Lillo, Rosa Elvira; Fernandez Anta, Antonio;
PUBLISHED: 2023, SOURCE: INTERNATIONAL JOURNAL OF MEDICAL INFORMATICS, VOLUME: 177, PAGES: 105133
AUTHORS: Rufino, Jesus; Ramirez, Juan Marcos; Aguilar, Jose; Baquero, Carlos ; Champati, Jaya; Frey, Davide; Lillo, Rosa Elvira; Fernandez Anta, Antonio;
PUBLISHED: 2023, SOURCE: INTERNATIONAL JOURNAL OF MEDICAL INFORMATICS, VOLUME: 177, PAGES: 105133
INDEXED IN: WOS DBLP
WOS DBLP117
TITLE: Cooperatives and the Use of Artificial Intelligence: A Critical View Full Text
AUTHORS: Ramos, Maria Elisabete; Azevedo, Ana; Meira, Deolinda; Malta, Mariana Curado ;
PUBLISHED: 2023, SOURCE: SUSTAINABILITY, VOLUME: 15, ISSUE: 1, PAGES: 329
AUTHORS: Ramos, Maria Elisabete; Azevedo, Ana; Meira, Deolinda; Malta, Mariana Curado ;
PUBLISHED: 2023, SOURCE: SUSTAINABILITY, VOLUME: 15, ISSUE: 1, PAGES: 329
118
TITLE: Cross-Genre Argument Mining: Can Language Models Automatically Fill in Missing Discourse Markers?
AUTHORS: Gil Rocha; Henrique Lopes Cardoso ; Jonas Belouadi; Steffen Eger;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2306.04314
AUTHORS: Gil Rocha; Henrique Lopes Cardoso ; Jonas Belouadi; Steffen Eger;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2306.04314
INDEXED IN: DBLP
DBLP119
TITLE: Deep Convolutional Neural Networks applied to Hand Keypoints Estimation
AUTHORS: Santos, Bruno M.; Pais, Pedro; Ribeiro, Francisco M.; Lima, Jose; Gil Gonçalves ; Pinto, Vitor H. ;
PUBLISHED: 2023, SOURCE: IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2023 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS, ICARSC, PAGES: 93-98
AUTHORS: Santos, Bruno M.; Pais, Pedro; Ribeiro, Francisco M.; Lima, Jose; Gil Gonçalves ; Pinto, Vitor H. ;
PUBLISHED: 2023, SOURCE: IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2023 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS, ICARSC, PAGES: 93-98
120
TITLE: Deep learning-based human action recognition to leverage context awareness in collaborative assembly
AUTHORS: Moutinho, Duarte ; Rocha, Luis F. ; Costa, Carlos M. ; Luis F. Teixeira ; Veiga, Germano ;
PUBLISHED: 2023, SOURCE: ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING, VOLUME: 80, PAGES: 102449
AUTHORS: Moutinho, Duarte ; Rocha, Luis F. ; Costa, Carlos M. ; Luis F. Teixeira ; Veiga, Germano ;
PUBLISHED: 2023, SOURCE: ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING, VOLUME: 80, PAGES: 102449
