Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
No data about last update.
Rules:
This actions updates publications citations of every team member.
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
No data about last update.
Rules:
This actions updates all pre print publications of the group/institution.
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Publications Count: 4713
62 Team MembersFilters -> Year: 2026
261
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
AUTHORS: Isabel Amaral; Alexandra Mendes ; José Campos;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2511.15403
INDEXED IN: 
DBLP
DBLP262
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
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
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef263
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
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
264
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
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
265
TITLE: PAM: Paraphrase AMR-Centric Evaluation Metric
AUTHORS: Afonso Sousa; Henrique Lopes Cardoso ;
PUBLISHED: 2025, SOURCE: ACL (Findings), PAGES: 17106-17121
AUTHORS: Afonso Sousa; Henrique Lopes Cardoso ;
PUBLISHED: 2025, SOURCE: ACL (Findings), PAGES: 17106-17121
266
TITLE: Patterns for Teaching Agile with Student Projects -- Team and Project Setup PDF
AUTHORS: Daniel Pinho; Petr Pícha; Filipe Correia ; Přemek Brada;
PUBLISHED: 2025
AUTHORS: Daniel Pinho; Petr Pícha; Filipe Correia ; Přemek Brada;
PUBLISHED: 2025
INDEXED IN: 
arXiv 
DataCite
arXiv DataCite267
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
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
268
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
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
269
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
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
INDEXED IN: Scopus DBLP
Scopus DBLP270
TITLE: Polylayer: the Next 700 Storage Configurations Full Text
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
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
271
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
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
272
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
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
INDEXED IN: Scopus
Scopus273
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
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
INDEXED IN: Scopus
Scopus274
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
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
275
TITLE: Proceedings of the 17th International Conference on Agents and Artificial Intelligence, ICAART 2025 - Volume 1, Porto, Portugal, February 23-25, 2025
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLISHED: 2025, SOURCE: ICAART (1)
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLISHED: 2025, SOURCE: ICAART (1)
INDEXED IN: DBLP
DBLP276
TITLE: Proceedings of the 17th International Conference on Agents and Artificial Intelligence, ICAART 2025 - Volume 2, Porto, Portugal, February 23-25, 2025
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLISHED: 2025, SOURCE: ICAART (2)
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLISHED: 2025, SOURCE: ICAART (2)
INDEXED IN: DBLP
DBLP277
TITLE: Proceedings of the 17th International Conference on Agents and Artificial Intelligence, ICAART 2025 - Volume 3, Porto, Portugal, February 23-25, 2025
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLISHED: 2025, SOURCE: ICAART (3)
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLISHED: 2025, SOURCE: ICAART (3)
INDEXED IN: DBLP
DBLP278
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
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
INDEXED IN: DBLP
DBLP279
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
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
INDEXED IN: DBLP
DBLP280
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
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
INDEXED IN: DBLP
DBLP