Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering

Universidade do Porto (UP) :: Faculdade de Engenharia (FEUP)

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

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!

Update PrePrints

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!

Publications Count: 3741

49 Team Members
Filters -> 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
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
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
INDEXED IN: DBLP
103
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
INDEXED IN: Scopus CrossRef
104
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
INDEXED IN: Scopus DBLP
105
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
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
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
INDEXED IN: Scopus WOS DBLP
107
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
INDEXED IN: Scopus DBLP CrossRef
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
INDEXED IN: Scopus WOS CrossRef Unpaywall
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
INDEXED IN: DBLP
110
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
INDEXED IN: Scopus
111
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
INDEXED IN: Scopus DBLP CrossRef Unpaywall
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
INDEXED IN: Scopus WOS DBLP CrossRef
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
INDEXED IN: Scopus WOS DBLP CrossRef
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
INDEXED IN: Scopus WOS CrossRef Unpaywall
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
INDEXED IN: DBLP
116
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
INDEXED IN: WOS DBLP
117
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
INDEXED IN: Scopus WOS CrossRef: 1
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
INDEXED IN: DBLP
119
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
INDEXED IN: Scopus WOS CrossRef
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
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall

Results per Page: 20.
Página 6 de 188. Total de resultados: 3741.