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

AuthID: I-000-0K9


Publications Count: 4682

62 Team Members
Filters -> Year: 2026
241
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
242
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
243
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
244
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
245
TITLE: Online Data Augmentation for Forecasting with Deep Learning
AUTHORS: vitor 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
246
TITLE: PAM: Paraphrase AMR-Centric Evaluation Metric
AUTHORS: Afonso Sousa; Henrique Lopes Cardoso ;
PUBLISHED: 2025, SOURCE: 63rd Annual Meeting of the Association for Computational Linguistics, ACL 2025 in Findings of the Association for Computational Linguistics, ACL 2025, Vienna, Austria, July 27 - August 1, 2025, PAGES: 17106-17121
247
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
248
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
249
TITLE: PipeBlocks: A Block-based Environment for CI/CD
AUTHORS: Hugo Da Gião; Rui Pereira; Jácome Cunha ;
PUBLISHED: 2025, SOURCE: 2025 IEEE Symposium on Visual Languages and Human-Centric Computing, VL-HCC 2025 in VL/HCC, PAGES: 159-161
250
TITLE: Polylayer: the Next 700 Storage Configurations
AUTHORS: João Lopes; Bruno Pereira ; Filipe Pereira; Vicente Muñoz; Tiago Gomes; Rui Ribeiro; Filipe Costa; Marta Bonjardim; Francisco Cruz; João Paulo; Francisco Maia ;
PUBLISHED: 2025, SOURCE: 44th International Symposium on Reliable Distributed Systems, SRDS 2025 in SRDS, PAGES: 422-427
251
TITLE: Portuguese post-OCR Resources for Text Optimisation
AUTHORS: Osorio, Tomas Freitas; Cardoso, Henrique Lopes ;
PUBLISHED: 2025, SOURCE: 34th Conference on Information and Knowledge Management-CIKM in PROCEEDINGS OF THE 34TH ACM INTERNATIONAL CONFERENCE ON INFORMATION AND KNOWLEDGE MANAGEMENT, CIKM 2025, PAGES: 6361-6366
252
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
253
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
254
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
255
256
257
258
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
259
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
260
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

Results per Page: 20.
Page 13 of 235. Total results: 4682.