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

AuthID: I-000-0K9


Publications Count: 3961

49 Team Members
Filters -> Year: 2025
201
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
202
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
203
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
204
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
205
TÍTULO: CharM - Evaluating a model for characterizing service-based architectures
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
206
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
207
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
208
209
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
210
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
211
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
212
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
213
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
214
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
215
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
216
TÍTULO: Consistent comparison of symptom-based methods for COVID-19 infection detection
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
217
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
218
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
219
TÍTULO: Cooperatives and the Use of Artificial Intelligence: A Critical View
AUTORES: Ramos, Maria Elisabete; Azevedo, Ana; Meira, Deolinda; Malta, Mariana Curado ;
PUBLICAÇÃO: 2023, FONTE: SUSTAINABILITY, VOLUME: 15, NÚMERO: 1, PÁGINAS: 329
220
TÍTULO: Cross-Genre Argument Mining: Can Language Models Automatically Fill in Missing Discourse Markers?
AUTORES: Gil Rocha; Henrique Lopes Cardoso ; Jonas Belouadi; Steffen Eger;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2306.04314

Results per Page: 20.
Página 11 de 199. Total de resultados: 3961.