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

AuthID: I-000-0K9


Publications Count: 4656

62 Team Members
Filters -> Year: 2026
221
TITLE: MutDafny: A Mutation-Based Approach to Assess Dafny Specifications
AUTHORS: Isabel Amaral; Alexandra Mendes ; José Campos;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2511.15403
222
TITLE: MYCN-Amplified Neuroblastoma Detection Radiomics Vs. Trainable Features
AUTHORS: Mafalda Malafaia ; Francisco Silva ; Diogo Costa Carvalho; Ricardo Martins; Sílvia Costa Dias; Helena Torrão; Hélder Oliveira ; Tania Pereira ;
PUBLISHED: 2025, SOURCE: 25th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2025 in Proceedings - 2025 IEEE 25th International Conference on Bioinformatics and Bioengineering, BIBE 2025, PAGES: 152-158
223
TITLE: On improving the HLS compatibility of large C/C plus plus code regions
AUTHORS: Santos, Tiago; Bispo, Joao ; Cardoso, Joao M. P. ; Hoe, James C.;
PUBLISHED: 2025, SOURCE: 33rd International Symposium on Field Programmable Custom Computing Machines-FCCM-Annual in 2025 IEEE 33RD ANNUAL INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, FCCM, PAGES: 282-282
224
TITLE: Online boxplot derived outlier detection
AUTHORS: Mazarei, Arefeh; Sousa, Ricardo ; Mendes Moreira, Joao ; Molchanov, Slavo; Ferreira, Hugo Miguel;
PUBLISHED: 2025, SOURCE: INTERNATIONAL JOURNAL OF DATA SCIENCE AND ANALYTICS, VOLUME: 19, ISSUE: 1, PAGES: 83-97
225
TITLE: Online Data Augmentation for Forecasting with Deep Learning
AUTHORS: Vítor Cerqueira ; Moisés Santos; Luis Roque; Yassine Baghoussi; Carlos Soares ;
PUBLISHED: 2025, SOURCE: 24th EPIA Conference on Artificial Intelligence, EPIA 2025, in EPIA (1), VOLUME: 16121 LNAI, PAGES: 217-229
226
TITLE: Performance Configuration Analysis in Portuguese Traditional Music: A Computational Approach
AUTHORS: Khatri, Nawaraj; Bernardes, Gilberto ;
PUBLISHED: 2025, SOURCE: 12th International Conference on Digital Libraries for Musicology-DLFM-Annual in PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON DIGITAL LIBRARIES FOR MUSICOLOGY, DLFM 2025, PAGES: 44-52
227
TITLE: Ph.D. Project: Holistic Partitioning and Optimization of CPU-FPGA Applications Through Source-to-Source Compilation
AUTHORS: Santos, Tiago; Bispo, Joao ; Cardoso, Joao M. P. ;
PUBLISHED: 2025, SOURCE: 33rd International Symposium on Field Programmable Custom Computing Machines-FCCM-Annual in 2025 IEEE 33RD ANNUAL INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, FCCM, PAGES: 308-309
228
TITLE: PipeBlocks: A Block-based Environment for CI/CD
AUTHORS: Hugo Da Gião; Rui Pereira; Jácome Cunha ;
PUBLISHED: 2025, SOURCE: VL/HCC, PAGES: 159-161
229
TITLE: Preface
AUTHORS: José Luís Reis; Jiří Zelený; Beáta Gavurová; Marc Peter; Luís Paulo Reis ; Zorica Bogdanovic; José Paulo Marques Dos Santos;
PUBLISHED: 2025, SOURCE: International Conference on Marketing and Technologies, ICMarkTech 2023 in Smart Innovation, Systems and Technologies, VOLUME: 393
230
TITLE: Preface
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van den Herik;
PUBLISHED: 2025, SOURCE: 16th International Conference on Agents and Artificial Intelligence, ICAART 2024 in Lecture Notes in Computer Science, VOLUME: 15592 LNAI
231
TITLE: PrivateCTGAN: Adapting GAN for Privacy-Aware Tabular Data Sharing
AUTHORS: Lopes, Frederico; Soares, Carlos ; Cortez, Paulo ;
PUBLISHED: 2025, SOURCE: 8th European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases in MACHINE LEARNING AND PRINCIPLES AND PRACTICE OF KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2023, PT II, VOLUME: 2134, PAGES: 169-180
235
TITLE: Proceedings of the 20th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2025 - Volume 1: GRAPP, HUCAPP and IVAPP, Porto, Portugal, February 26-28, 2025
AUTHORS: Thomas Bashford Rogers; Daniel Meneveaux; Mehdi Ammi; Mounia Ziat; Stefan Jänicke; Helen C Purchase; Petia Radeva; Antonino Furnari; Kadi Bouatouch; Augusto A de Sousa ;
PUBLISHED: 2025, SOURCE: VISIGRAPP (1): GRAPP, HUCAPP, IVAPP
236
TITLE: Proceedings of the 20th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2025 - Volume 2: VISAPP, Porto, Portugal, February 26-28, 2025
AUTHORS: Thomas Bashford Rogers; Daniel Meneveaux; Mehdi Ammi; Mounia Ziat; Stefan Jänicke; Helen C Purchase; Petia Radeva; Antonino Furnari; Kadi Bouatouch; Augusto A de Sousa ;
PUBLISHED: 2025, SOURCE: VISIGRAPP (2): VISAPP
237
TITLE: Proceedings of the 20th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2025 - Volume 3: VISAPP, Porto, Portugal, February 26-28, 2025
AUTHORS: Thomas Bashford Rogers; Daniel Meneveaux; Mehdi Ammi; Mounia Ziat; Stefan Jänicke; Helen C Purchase; Petia Radeva; Antonino Furnari; Kadi Bouatouch; Augusto A de Sousa ;
PUBLISHED: 2025, SOURCE: VISIGRAPP (3): VISAPP
238
TITLE: ProfOlaf: Semi-Automated Tool for Systematic Literature Reviews
AUTHORS: Martim Afonso; Nuno Saavedra; Bruno Lourenço; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2510.26750
239
TITLE: Promoting Cognitive and Psychosocial Rehabilitation with a Co-Designed Multiplayer Serious Game
AUTHORS: Figueira, Carolina; Reis, Simao; Reis, Luis Paulo ; Parreira, Marta; Ramos, Ana; Silva, Eliana ;
PUBLISHED: 2025, SOURCE: 13th International Conference on Games and Learning Alliance-GALA-Annual in GAMES AND LEARNING ALLIANCE, GALA 2024, VOLUME: 15348, PAGES: 407-413

Results per Page: 20.
Page 12 of 233. Total results: 4656.