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

AuthID: I-000-0K9


Publications Count: 4455

56 Team Members
Filters -> Year: 2025
441
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
442
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: 21st International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2023 in 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
443
TÍTULO: CADV: A software visualization approach for code annotations distribution
AUTORES: Phyllipe Lima; Jorge Melegati ; Everaldo Gomes; Nathalya Stefhany Pereira; Eduardo Guerra; Paulo Meirelles;
PUBLICAÇÃO: 2023, FONTE: Inf. Softw. Technol., VOLUME: 154, PÁGINAS: 107089
444
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
445
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
446
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
447
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
448
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
449
450
TÍTULO: CogniChallenge: Multiplayer serious games' platform for cognitive and psychosocial rehabilitation
AUTORES: Silva, Eliana; Lopes, Ricardo; Reis, Luis Paulo ;
PUBLICAÇÃO: 2023, FONTE: INTERNATIONAL JOURNAL OF SERIOUS GAMES, VOLUME: 10, NÚMERO: 4, PÁGINAS: 3-16
451
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
452
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
453
TÍTULO: Coherent Concept-based Explanations in Medical Image and Its Application to Skin Lesion Diagnosis
AUTORES: Cristiano Patrício ; João C Neves; Luís 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
454
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
455
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
456
TÍTULO: Companion Proceedings (PhD Retreat, Posters and Industry Track) of the 13th International Conference on Software Business, Bolzano, Italy, November 8-11, 2022
AUTORES: Jorge Melegati ; Abdullah Aldaeej; Luciana A M Zaina; Dimitri Petrik; Henry Edison; Eduardo Guerra;
PUBLICAÇÃO: 2023, FONTE: ICSOB Companion, VOLUME: 3316
457
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
458
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
459
TÍTULO: Computer Vision, Imaging and Computer Graphics Theory and Applications - 17th International Joint Conference, VISIGRAPP 2022, Virtual Event, February 6-8, 2022, Revised Selected Papers
AUTORES: Augusto A de Sousa ; Kurt Debattista; Alexis Paljic; Mounia Ziat; Christophe Hurter; Helen C Purchase; Giovanni Maria Farinella; Petia Radeva; Kadi Bouatouch;
PUBLICAÇÃO: 2023, FONTE: VISIGRAPP (Revised Selected Papers), VOLUME: 1815
460
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

Results per Page: 20.
Página 23 de 223. Total de resultados: 4455.