Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 Publications Count: 4713
62 Team MembersFilters -> Year: 2026
261
TÃTULO: MutDafny: A Mutation-Based Approach to Assess Dafny Specifications
AUTORES: Isabel Amaral; Alexandra Mendes ; José Campos;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2511.15403
AUTORES: Isabel Amaral; Alexandra Mendes ; José Campos;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2511.15403
262
TÃTULO: MYCN-Amplified Neuroblastoma Detection Radiomics Vs. Trainable Features
AUTORES: Mafalda Malafaia ; Francisco Silva ; Diogo Costa Carvalho; Ricardo Martins; Sílvia Costa Dias; Helena Torrão; Hélder Oliveira ; Tania Pereira ;
PUBLICAÇÃO: 2025, FONTE: 25th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2025 in Proceedings - 2025 IEEE 25th International Conference on Bioinformatics and Bioengineering, BIBE 2025, PÁGINAS: 152-158
AUTORES: Mafalda Malafaia ; Francisco Silva ; Diogo Costa Carvalho; Ricardo Martins; Sílvia Costa Dias; Helena Torrão; Hélder Oliveira ; Tania Pereira ;
PUBLICAÇÃO: 2025, FONTE: 25th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2025 in Proceedings - 2025 IEEE 25th International Conference on Bioinformatics and Bioengineering, BIBE 2025, PÁGINAS: 152-158
263
TÃTULO: On improving the HLS compatibility of large C/C plus plus code regions
AUTORES: Santos, Tiago; Bispo, Joao ; Cardoso, Joao M. P. ; Hoe, James C.;
PUBLICAÇÃO: 2025, FONTE: 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, PÁGINAS: 282-282
AUTORES: Santos, Tiago; Bispo, Joao ; Cardoso, Joao M. P. ; Hoe, James C.;
PUBLICAÇÃO: 2025, FONTE: 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, PÁGINAS: 282-282
264
TÃTULO: Online boxplot derived outlier detection
AUTORES: Mazarei, Arefeh; Sousa, Ricardo ; Mendes Moreira, Joao ; Molchanov, Slavo; Ferreira, Hugo Miguel;
PUBLICAÇÃO: 2025, FONTE: INTERNATIONAL JOURNAL OF DATA SCIENCE AND ANALYTICS, VOLUME: 19, NÚMERO: 1, PÁGINAS: 83-97
AUTORES: Mazarei, Arefeh; Sousa, Ricardo ; Mendes Moreira, Joao ; Molchanov, Slavo; Ferreira, Hugo Miguel;
PUBLICAÇÃO: 2025, FONTE: INTERNATIONAL JOURNAL OF DATA SCIENCE AND ANALYTICS, VOLUME: 19, NÚMERO: 1, PÁGINAS: 83-97
265
TÃTULO: PAM: Paraphrase AMR-Centric Evaluation Metric
AUTORES: Afonso Sousa; Henrique Lopes Cardoso ;
PUBLICAÇÃO: 2025, FONTE: ACL (Findings), PÁGINAS: 17106-17121
AUTORES: Afonso Sousa; Henrique Lopes Cardoso ;
PUBLICAÇÃO: 2025, FONTE: ACL (Findings), PÁGINAS: 17106-17121
266
TÃTULO: Patterns for Teaching Agile with Student Projects -- Team and Project Setup
AUTORES: Daniel Pinho; Petr Pícha; Filipe Correia ; Přemek Brada;
PUBLICAÇÃO: 2025
AUTORES: Daniel Pinho; Petr Pícha; Filipe Correia ; Přemek Brada;
PUBLICAÇÃO: 2025
267
TÃTULO: Performance Configuration Analysis in Portuguese Traditional Music: A Computational Approach
AUTORES: Khatri, Nawaraj; Bernardes, Gilberto ;
PUBLICAÇÃO: 2025, FONTE: 12th International Conference on Digital Libraries for Musicology-DLFM-Annual in PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON DIGITAL LIBRARIES FOR MUSICOLOGY, DLFM 2025, PÁGINAS: 44-52
AUTORES: Khatri, Nawaraj; Bernardes, Gilberto ;
PUBLICAÇÃO: 2025, FONTE: 12th International Conference on Digital Libraries for Musicology-DLFM-Annual in PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON DIGITAL LIBRARIES FOR MUSICOLOGY, DLFM 2025, PÁGINAS: 44-52
268
TÃTULO: Ph.D. Project: Holistic Partitioning and Optimization of CPU-FPGA Applications Through Source-to-Source Compilation
AUTORES: Santos, Tiago; Bispo, Joao ; Cardoso, Joao M. P. ;
PUBLICAÇÃO: 2025, FONTE: 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, PÁGINAS: 308-309
AUTORES: Santos, Tiago; Bispo, Joao ; Cardoso, Joao M. P. ;
PUBLICAÇÃO: 2025, FONTE: 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, PÁGINAS: 308-309
269
TÃTULO: PipeBlocks: A Block-based Environment for CI/CD
AUTORES: Hugo Da Gião; Rui Pereira; Jácome Cunha ;
PUBLICAÇÃO: 2025, FONTE: 2025 IEEE Symposium on Visual Languages and Human-Centric Computing, VL-HCC 2025 in VL/HCC, PÁGINAS: 159-161
AUTORES: Hugo Da Gião; Rui Pereira; Jácome Cunha ;
PUBLICAÇÃO: 2025, FONTE: 2025 IEEE Symposium on Visual Languages and Human-Centric Computing, VL-HCC 2025 in VL/HCC, PÁGINAS: 159-161
270
TÃTULO: Polylayer: the Next 700 Storage Configurations
AUTORES: 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 ;
PUBLICAÇÃO: 2025, FONTE: 44th International Symposium on Reliable Distributed Systems, SRDS 2025 in SRDS, PÁGINAS: 422-427
AUTORES: 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 ;
PUBLICAÇÃO: 2025, FONTE: 44th International Symposium on Reliable Distributed Systems, SRDS 2025 in SRDS, PÁGINAS: 422-427
271
TÃTULO: Portuguese post-OCR Resources for Text Optimisation
AUTORES: Osorio, Tomas Freitas; Cardoso, Henrique Lopes ;
PUBLICAÇÃO: 2025, FONTE: 34th Conference on Information and Knowledge Management-CIKM in PROCEEDINGS OF THE 34TH ACM INTERNATIONAL CONFERENCE ON INFORMATION AND KNOWLEDGE MANAGEMENT, CIKM 2025, PÁGINAS: 6361-6366
AUTORES: Osorio, Tomas Freitas; Cardoso, Henrique Lopes ;
PUBLICAÇÃO: 2025, FONTE: 34th Conference on Information and Knowledge Management-CIKM in PROCEEDINGS OF THE 34TH ACM INTERNATIONAL CONFERENCE ON INFORMATION AND KNOWLEDGE MANAGEMENT, CIKM 2025, PÁGINAS: 6361-6366
272
TÃTULO: Preface
AUTORES: Ana Paula Rocha ; Luc Steels; Jaap van den Herik;
PUBLICAÇÃO: 2025, FONTE: 16th International Conference on Agents and Artificial Intelligence, ICAART 2024 in Lecture Notes in Computer Science, VOLUME: 15592 LNAI
AUTORES: Ana Paula Rocha ; Luc Steels; Jaap van den Herik;
PUBLICAÇÃO: 2025, FONTE: 16th International Conference on Agents and Artificial Intelligence, ICAART 2024 in Lecture Notes in Computer Science, VOLUME: 15592 LNAI
273
TÃTULO: Preface
AUTORES: José Luís Reis; Jiří Zelený; Beáta Gavurová; Marc Peter; Luís Paulo Reis ; Zorica Bogdanovic; José Paulo Marques Dos Santos;
PUBLICAÇÃO: 2025, FONTE: International Conference on Marketing and Technologies, ICMarkTech 2023 in Smart Innovation, Systems and Technologies, VOLUME: 393
AUTORES: José Luís Reis; Jiří Zelený; Beáta Gavurová; Marc Peter; Luís Paulo Reis ; Zorica Bogdanovic; José Paulo Marques Dos Santos;
PUBLICAÇÃO: 2025, FONTE: International Conference on Marketing and Technologies, ICMarkTech 2023 in Smart Innovation, Systems and Technologies, VOLUME: 393
274
TÃTULO: PrivateCTGAN: Adapting GAN for Privacy-Aware Tabular Data Sharing
AUTORES: Lopes, Frederico; Soares, Carlos ; Cortez, Paulo ;
PUBLICAÇÃO: 2025, FONTE: 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, PÁGINAS: 169-180
AUTORES: Lopes, Frederico; Soares, Carlos ; Cortez, Paulo ;
PUBLICAÇÃO: 2025, FONTE: 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, PÁGINAS: 169-180
275
TÃTULO: Proceedings of the 17th International Conference on Agents and Artificial Intelligence, ICAART 2025 - Volume 1, Porto, Portugal, February 23-25, 2025
AUTORES: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLICAÇÃO: 2025, FONTE: ICAART (1)
AUTORES: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLICAÇÃO: 2025, FONTE: ICAART (1)
276
TÃTULO: Proceedings of the 17th International Conference on Agents and Artificial Intelligence, ICAART 2025 - Volume 2, Porto, Portugal, February 23-25, 2025
AUTORES: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLICAÇÃO: 2025, FONTE: ICAART (2)
AUTORES: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLICAÇÃO: 2025, FONTE: ICAART (2)
277
TÃTULO: Proceedings of the 17th International Conference on Agents and Artificial Intelligence, ICAART 2025 - Volume 3, Porto, Portugal, February 23-25, 2025
AUTORES: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLICAÇÃO: 2025, FONTE: ICAART (3)
AUTORES: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLICAÇÃO: 2025, FONTE: ICAART (3)
278
TÃTULO: 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
AUTORES: 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 ;
PUBLICAÇÃO: 2025, FONTE: VISIGRAPP (1): GRAPP, HUCAPP, IVAPP
AUTORES: 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 ;
PUBLICAÇÃO: 2025, FONTE: VISIGRAPP (1): GRAPP, HUCAPP, IVAPP
279
TÃTULO: 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
AUTORES: 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 ;
PUBLICAÇÃO: 2025, FONTE: VISIGRAPP (2): VISAPP
AUTORES: 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 ;
PUBLICAÇÃO: 2025, FONTE: VISIGRAPP (2): VISAPP
280
TÃTULO: 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
AUTORES: 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 ;
PUBLICAÇÃO: 2025, FONTE: VISIGRAPP (3): VISAPP
AUTORES: 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 ;
PUBLICAÇÃO: 2025, FONTE: VISIGRAPP (3): VISAPP
