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: 3942

49 Team Members
Filters -> Year: 2024
181
TÍTULO: Beyond Tradition: Evaluating Agile feasibility in DO-178C for Aerospace Software Development
AUTORES: Eduardo E Ferreira Ribeiro; João Gabriel Silva; Ademar Aguiar ;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2311.04344
INDEXADO EM: DBLP
182
TÍTULO: bGSL: An imperative language for specification and refinement of backtracking programs
AUTORES: Dunne, Steve; Ferreira, Joao F.; Mendes, Alexandra ; Ritchie, Campbell; Stoddart, Bill; Zeyda, Frank;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 130, PÁGINAS: 100811
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
183
TÍTULO: Brain Waves Classification Using a Single-Channel Dry EEG Headset: An Application for Controlling an Intelligent Wheelchair
AUTORES: Patricia Almeida; Brígida Mónica Faria; Luís Paulo Reis ;
PUBLICAÇÃO: 2023, FONTE: 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, PÁGINAS: 3-14
INDEXADO EM: DBLP
184
TÍTULO: Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment
AUTORES: João Pascoal Faria ; Rui Abreu;
PUBLICAÇÃO: 2023, FONTE: 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, PÁGINAS: 25-39
INDEXADO EM: Scopus CrossRef
185
TÍTULO: Challenges and Opportunities in C/C++ Source-To-Source Compilation (Invited Paper)
AUTORES: João Bispo ; Nuno Paulino ; Luís Miguel Sousa;
PUBLICAÇÃO: 2023, FONTE: 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, PÁGINAS: 2:1-2:15
INDEXADO EM: Scopus DBLP
186
TÍTULO: CharM - Evaluating a model for characterizing service-based architectures  Full Text
AUTORES: Rosa, Thatiane de Oliveira; Guerra, Eduardo Martins; Correia, Filipe Figueiredo ; Goldman, Alfredo;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 206, PÁGINAS: 111826
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
187
TÍTULO: CI/CD Meets Block-Based Languages
AUTORES: da Giao, Hugo; Pereira, Rui ; Cunha, Jacome ;
PUBLICAÇÃO: 2023, FONTE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2023 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, VL/HCC, PÁGINAS: 232-234
INDEXADO EM: Scopus WOS DBLP CrossRef
188
TÍTULO: CIDER: Collaborative Interior Design in Extended Reality
AUTORES: Deborah Pintani; Ariel Caputo; Daniel Mendes ; Andrea Giachetti;
PUBLICAÇÃO: 2023, FONTE: 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, PÁGINAS: 16:1-16:11
INDEXADO EM: Scopus DBLP CrossRef
189
TÍTULO: Clinical model for Hereditary Transthyretin Amyloidosis age of onset prediction  Full Text
AUTORES: Pedroto, Maria ; Coelho, Teresa; Jorge, Alipio ; Mendes Moreira, Joao ;
PUBLICAÇÃO: 2023, FONTE: FRONTIERS IN NEUROLOGY, VOLUME: 14
INDEXADO EM: Scopus WOS CrossRef Unpaywall
190
TÍTULO: CogniChallenge: Multiplayer serious games' platform for cognitive and psychosocial rehabilitation
AUTORES: Eliana Silva; Ricardo Lopes; Luís Paulo Reis ;
PUBLICAÇÃO: 2023, FONTE: Int. J. Serious Games, VOLUME: 10, NÚMERO: 4, PÁGINAS: 3-16
INDEXADO EM: DBLP
191
TÍTULO: CogniChallenge: Multiplayer serious games’ platform for cognitive and psychosocial rehabilitation
AUTORES: Eliana Silva; Ricardo Lopes; Luís Paulo Reis ;
PUBLICAÇÃO: 2023, FONTE: International Journal of Serious Games, VOLUME: 10, NÚMERO: 4, PÁGINAS: 3-16
INDEXADO EM: Scopus
192
TÍTULO: Coherent Concept-based Explanations in Medical Image and Its Application to Skin Lesion Diagnosis
AUTORES: Cristiano Patrício ; João C Neves; Luis F. Teixeira ;
PUBLICAÇÃO: 2023, FONTE: 2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, CVPRW 2023 in IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2023 - Workshops, Vancouver, BC, Canada, June 17-24, 2023, VOLUME: 2023-June, PÁGINAS: 3799-3808
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
193
TÍTULO: Collecting cognitive strategies applied by students during test case design
AUTORES: Cammaerts, Felix; Snoeck, Monique; Paiva, Ana C. R. ;
PUBLICAÇÃO: 2023, FONTE: 27th International Conference on Evaluation and Assessment in Software Engineering (EASE) in 27TH INTERNATIONAL CONFERENCE ON EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING, EASE 2023, PÁGINAS: 455-459
INDEXADO EM: Scopus WOS DBLP CrossRef
194
TÍTULO: Combining Neighbor Models to Improve Predictions of Age of Onset of ATTRv Carriers
AUTORES: Pedroto, Maria ; Jorge, Alipio ; Mendes Moreira, Joao ; Coelho, Teresa;
PUBLICAÇÃO: 2023, FONTE: 22nd EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2023, PT II, VOLUME: 14116, PÁGINAS: 286-297
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
195
TÍTULO: Computational Similarity of Portuguese Folk Melodies Using Hierarchical Reduction
AUTORES: Carvalho, Nadia ; Diogo, Daniel; Bernardes, Gilberto ;
PUBLICAÇÃO: 2023, FONTE: 10th International Conference on Digital Libraries for Musicology (DLfM) in THE 10TH INTERNATIONAL CONFERENCE ON DIGITAL LIBRARIES FOR MUSICOLOGY, DLFM 2023, PÁGINAS: 22-29
INDEXADO EM: Scopus WOS CrossRef: 2 Unpaywall
196
TÍTULO: Computer Vision, Imaging and Computer Graphics Theory and Applications - 16th International Joint Conference, VISIGRAPP 2021, Virtual Event, February 8-10, 2021, Revised Selected Papers
AUTORES: Augusto A de Sousa ; Vlastimil Havran; Alexis Paljic; Tabitha C Peck; Christophe Hurter; Helen C Purchase; Giovanni Maria Farinella; Petia Radeva; Kadi Bouatouch;
PUBLICAÇÃO: 2023, FONTE: VISIGRAPP (Revised Selected Papers), VOLUME: 1691
INDEXADO EM: DBLP
197
TÍTULO: Consistent comparison of symptom-based methods for COVID-19 infection detection  Full Text
AUTORES: Rufino, Jesus; Ramirez, Juan Marcos; Aguilar, Jose; Baquero, Carlos ; Champati, Jaya; Frey, Davide; Lillo, Rosa Elvira; Fernandez Anta, Antonio;
PUBLICAÇÃO: 2023, FONTE: INTERNATIONAL JOURNAL OF MEDICAL INFORMATICS, VOLUME: 177, PÁGINAS: 105133
INDEXADO EM: WOS DBLP
198
TÍTULO: Cooperative, Connected and Autonomous Mobility: A Simulation Framework for Evaluating Coordination Mechanisms
AUTORES: Filipe, Francisco; Kokkinogenis, Zafeiris ; d'Orey, Pedro M.; Rossetti, Rosaldo J. F.;
PUBLICAÇÃO: 2023, FONTE: IEEE 26th International Conference on Intelligent Transportation Systems (ITSC) in 2023 IEEE 26TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS, ITSC, PÁGINAS: 6158-6164
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
199
TÍTULO: Cooperative, Connected and Autonomous Mobility: Coordination at Intersections using Reservation-based Mechanisms
AUTORES: Filipe, Francisco; Kokkinogenis, Zafeiris ; d'Orey, Pedro M.; Rossetti, Rosaldo J. F.;
PUBLICAÇÃO: 2023, FONTE: IEEE 26th International Conference on Intelligent Transportation Systems (ITSC) in 2023 IEEE 26TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS, ITSC, PÁGINAS: 3879-3886
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
200
TÍTULO: Cooperatives and the Use of Artificial Intelligence: A Critical View  Full Text
AUTORES: Ramos, Maria Elisabete; Azevedo, Ana; Meira, Deolinda; Malta, Mariana Curado ;
PUBLICAÇÃO: 2023, FONTE: SUSTAINABILITY, VOLUME: 15, NÚMERO: 1, PÁGINAS: 329
INDEXADO EM: Scopus WOS CrossRef: 1

Results per Page: 20.
Página 10 de 198. Total de resultados: 3942.