Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 Publications Count: 4649
62 Team MembersFilters -> Year: 2026
581
TÃTULO: Attention-Based Regularisation for Improved Generalisability in Medical Multi-Centre Data
AUTORES: Daniel Silva ; Georgios Agrotis; Regina Beets Tan; Luís F Teixeira ; Wilson Silva ;
PUBLICAÇÃO: 2023, FONTE: ICMLA, PÁGINAS: 1412-1417
AUTORES: Daniel Silva ; Georgios Agrotis; Regina Beets Tan; Luís F Teixeira ; Wilson Silva ;
PUBLICAÇÃO: 2023, FONTE: ICMLA, PÁGINAS: 1412-1417
582
TÃTULO: Augmenting Automated Spectrum Based Fault Localization for Multiple Faults
AUTORES: Chatterjee, Prantik; Campos, Jose ; Abreu, Rui ; Roy, Subhajit;
PUBLICAÇÃO: 2023, FONTE: 32nd International Joint Conference on Artificial Intelligence (IJCAI) in PROCEEDINGS OF THE THIRTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2023, VOLUME: 2023-August, PÁGINAS: 3140-3148
AUTORES: Chatterjee, Prantik; Campos, Jose ; Abreu, Rui ; Roy, Subhajit;
PUBLICAÇÃO: 2023, FONTE: 32nd International Joint Conference on Artificial Intelligence (IJCAI) in PROCEEDINGS OF THE THIRTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2023, VOLUME: 2023-August, PÁGINAS: 3140-3148
583
TÃTULO: Automatic Difficulty Balance in Two-Player Games with Deep Reinforcement Learning
AUTORES: Simão Reis; Rita Novais; Luís Paulo Reis ; Nuno Lau;
PUBLICAÇÃO: 2023, FONTE: CoG, PÁGINAS: 1-8
AUTORES: Simão Reis; Rita Novais; Luís Paulo Reis ; Nuno Lau;
PUBLICAÇÃO: 2023, FONTE: CoG, PÁGINAS: 1-8
584
TÃTULO: Automatic Generation of Smell-free Unit Tests
AUTORES: Afonso, Joao; Campos, Jose ;
PUBLICAÇÃO: 2023, FONTE: 16th IEEE/ACM International Workshop on Search-Based and Fuzz Testing (SBFT) in 2023 IEEE/ACM INTERNATIONAL WORKSHOP ON SEARCH-BASED AND FUZZ TESTING, SBFT, PÁGINAS: 9-16
AUTORES: Afonso, Joao; Campos, Jose ;
PUBLICAÇÃO: 2023, FONTE: 16th IEEE/ACM International Workshop on Search-Based and Fuzz Testing (SBFT) in 2023 IEEE/ACM INTERNATIONAL WORKSHOP ON SEARCH-BASED AND FUZZ TESTING, SBFT, PÁGINAS: 9-16
585
TÃTULO: Automatic Test-Based Assessment of Assembly Programs
AUTORES: Luís Tavares; Bruno Lima ; António Araújo ;
PUBLICAÇÃO: 2023, FONTE: Proceedings of the 18th International Conference on Software Technologies
AUTORES: Luís Tavares; Bruno Lima ; António Araújo ;
PUBLICAÇÃO: 2023, FONTE: Proceedings of the 18th International Conference on Software Technologies
586
TÃTULO: Avoiding resource wastage
AUTORES: Altino Sampaio; Jorge Barbosa ;
PUBLICAÇÃO: 2023, FONTE: High Performance Computing in Clouds: Moving HPC Applications to a Scalable and Cost-Effective Environment, PÁGINAS: 213-236
AUTORES: Altino Sampaio; Jorge Barbosa ;
PUBLICAÇÃO: 2023, FONTE: High Performance Computing in Clouds: Moving HPC Applications to a Scalable and Cost-Effective Environment, PÁGINAS: 213-236
587
TÃTULO: BEYOND FRONT AND BACK OFFICE: VISUALIZATIONS, REPRESENTATIONS AND ACCESS THROUGH POSTCOLONIAL LENSES BETWEEN A RESEARCH PLATFORM AND AN ARTS EDUCATION ARCHIVE
AUTORES: Tiago Assis; Cat Martins; Alexandre Valle ; António Santos; José Castro; Luís Osório; Pedro Silva;
PUBLICAÇÃO: 2023, FONTE: ICERI2023 Proceedings - ICERI Proceedings
AUTORES: Tiago Assis; Cat Martins; Alexandre Valle ; António Santos; José Castro; Luís Osório; Pedro Silva;
PUBLICAÇÃO: 2023, FONTE: ICERI2023 Proceedings - ICERI Proceedings
588
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
AUTORES: Eduardo E Ferreira Ribeiro; João Gabriel Silva; Ademar Aguiar ;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2311.04344
589
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
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
590
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: PAAMS, VOLUME: 13955 LNAI, PÁGINAS: 3-14
AUTORES: Patricia Almeida; Brígida Mónica Faria; Luís Paulo Reis ;
PUBLICAÇÃO: 2023, FONTE: PAAMS, VOLUME: 13955 LNAI, PÁGINAS: 3-14
591
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
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
592
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
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
593
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: PARMA-DITAM, VOLUME: 107, PÁGINAS: 2:1-2:15
AUTORES: João Bispo ; Nuno Paulino ; Luís Miguel Sousa;
PUBLICAÇÃO: 2023, FONTE: PARMA-DITAM, VOLUME: 107, PÁGINAS: 2:1-2:15
594
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
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
595
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
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
596
TÃTULO: CIDER: Collaborative Interior Design in Extended Reality
AUTORES: Deborah Pintani; Ariel Caputo; Daniel Mendes ; Andrea Giachetti;
PUBLICAÇÃO: 2023, FONTE: CHItaly, PÁGINAS: 16:1-16:11
AUTORES: Deborah Pintani; Ariel Caputo; Daniel Mendes ; Andrea Giachetti;
PUBLICAÇÃO: 2023, FONTE: CHItaly, PÁGINAS: 16:1-16:11
597
TÃTULO: Clinical model for Hereditary Transthyretin Amyloidosis age of onset prediction
AUTORES: Pedroto, Maria ; Coelho, Teresa; Jorge, Alipio ; Mendes Moreira, Joao ;
PUBLICAÇÃO: 2023, FONTE: FRONTIERS IN NEUROLOGY, VOLUME: 14
AUTORES: Pedroto, Maria ; Coelho, Teresa; Jorge, Alipio ; Mendes Moreira, Joao ;
PUBLICAÇÃO: 2023, FONTE: FRONTIERS IN NEUROLOGY, VOLUME: 14
598
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
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
599
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
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
600
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: CVPR Workshops, VOLUME: 2023-June, PÁGINAS: 3799-3808
AUTORES: Cristiano Patrício ; João C Neves; Luís F Teixeira ;
PUBLICAÇÃO: 2023, FONTE: CVPR Workshops, VOLUME: 2023-June, PÁGINAS: 3799-3808
