Department of Computer Science (DCC)
Departamento de Ciências dos Computadores
AuthID: I-000-0JZ
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: 2645
43 Team MembersFilters -> Year: 2025
161
TITLE: Evaluating the ability of an artificial-intelligence cloud-based platform designed to provide information prior to locoregional therapy for breast cancer in improving patient's satisfaction with therapy: The CINDERELLA trial Full Text
AUTHORS: Orit Kaidar Person; Marilia Antunes; Jaime Cardoso ; Oriana Ciani; Helena Cruz; Rosa Di Micco; Oreste Gentilini; Tiago Gonçalves; Pedro Gouveia; Jörg Heil; Pawel Kabata; Daniela Lopes; Marta Martinho; Henrique Martins; Carlos Mavioso; Martin Mika; Helena Montenegro; Helder Oliveira ; André Pfob; Nicole Rotmensz; ...More
PUBLISHED: 2023, SOURCE: PLOS ONE, VOLUME: 18, ISSUE: 8
AUTHORS: Orit Kaidar Person; Marilia Antunes; Jaime Cardoso ; Oriana Ciani; Helena Cruz; Rosa Di Micco; Oreste Gentilini; Tiago Gonçalves; Pedro Gouveia; Jörg Heil; Pawel Kabata; Daniela Lopes; Marta Martinho; Henrique Martins; Carlos Mavioso; Martin Mika; Helena Montenegro; Helder Oliveira ; André Pfob; Nicole Rotmensz; ...More
PUBLISHED: 2023, SOURCE: PLOS ONE, VOLUME: 18, ISSUE: 8
162
TITLE: Evaluation of automatic pericardial segmentation methods in computed tomography images
AUTHORS: J Pedrosa; R Silva; C Santos; F Nunes; J Mancio; F Renna ; R Fontes Carvalho;
PUBLISHED: 2023, SOURCE: European Heart Journal - Cardiovascular Imaging
AUTHORS: J Pedrosa; R Silva; C Santos; F Nunes; J Mancio; F Renna ; R Fontes Carvalho;
PUBLISHED: 2023, SOURCE: European Heart Journal - Cardiovascular Imaging
INDEXED IN: 
Unpaywall
Unpaywall163
TITLE: Evaluation of Regularization Techniques for Transformers-Based Models
AUTHORS: Hugo S Oliveira ; Pedro P Ribeiro ; Hélder P Oliveira ;
PUBLISHED: 2023, SOURCE: 11th Iberian Conference on Pattern Recognition and Image Analysis, IbPRIA 2023 in Pattern Recognition and Image Analysis - 11th Iberian Conference, IbPRIA 2023, Alicante, Spain, June 27-30, 2023, Proceedings, VOLUME: 14062, PAGES: 312-319
AUTHORS: Hugo S Oliveira ; Pedro P Ribeiro ; Hélder P Oliveira ;
PUBLISHED: 2023, SOURCE: 11th Iberian Conference on Pattern Recognition and Image Analysis, IbPRIA 2023 in Pattern Recognition and Image Analysis - 11th Iberian Conference, IbPRIA 2023, Alicante, Spain, June 27-30, 2023, Proceedings, VOLUME: 14062, PAGES: 312-319
164
TITLE: Event Extraction for Portuguese: A QA-Driven Approach Using ACE-2005
AUTHORS: Cunha, Luis Filipe; Campos, Ricardo ; Jorge, Alipio ;
PUBLISHED: 2023, SOURCE: 22nd EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2023, PT I, VOLUME: 14115, PAGES: 402-414
AUTHORS: Cunha, Luis Filipe; Campos, Ricardo ; Jorge, Alipio ;
PUBLISHED: 2023, SOURCE: 22nd EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2023, PT I, VOLUME: 14115, PAGES: 402-414
165
TITLE: Excess Mortality in Kidney and Kidney-Pancreas Transplant Recipients in the COVID-19 Pandemic in Portugal-A Cohort Study Full Text
AUTHORS: Coimbra, Miguel T. ; Francisco, Jose A. T. S.; Freitas, Joana C.; Carvalho, Renata V.; Vilela, Sara R. B.; Ribeiro, Catarina I. C. D.; Silvano, Jose L. C. S. L.; Pedroso, Sofia; Almeida, Manuela; Martins, La Salete; Malheiro, Jorge;
PUBLISHED: 2023, SOURCE: TRANSPLANT INTERNATIONAL, VOLUME: 36
AUTHORS: Coimbra, Miguel T. ; Francisco, Jose A. T. S.; Freitas, Joana C.; Carvalho, Renata V.; Vilela, Sara R. B.; Ribeiro, Catarina I. C. D.; Silvano, Jose L. C. S. L.; Pedroso, Sofia; Almeida, Manuela; Martins, La Salete; Malheiro, Jorge;
PUBLISHED: 2023, SOURCE: TRANSPLANT INTERNATIONAL, VOLUME: 36
INDEXED IN: 
Scopus 
WOS
Scopus WOS166
TITLE: Execution Time Program Verification with Tight Bounds
AUTHORS: Silva, Ana Carolina; Barbosa, Manuel ; Florido, Mario ;
PUBLISHED: 2023, SOURCE: 25th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2023, VOLUME: 13880, PAGES: 56-72
AUTHORS: Silva, Ana Carolina; Barbosa, Manuel ; Florido, Mario ;
PUBLISHED: 2023, SOURCE: 25th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2023, VOLUME: 13880, PAGES: 56-72
167
TITLE: Explainable Predictive Maintenance
AUTHORS: Sepideh Pashami; Slawomir Nowaczyk; Yuantao Fan; Jakub Jakubowski; Nuno Paiva; Narjes Davari; Szymon Bobek; Samaneh Jamshidi; Hamid Sarmadi; Abdallah Alabdallah; Rita P Ribeiro ; Bruno Veloso ; Moamar Sayed Mouchaweh; Lala H Rajaoarisoa; Grzegorz J Nalepa; João Gama ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2306.05120
AUTHORS: Sepideh Pashami; Slawomir Nowaczyk; Yuantao Fan; Jakub Jakubowski; Nuno Paiva; Narjes Davari; Szymon Bobek; Samaneh Jamshidi; Hamid Sarmadi; Abdallah Alabdallah; Rita P Ribeiro ; Bruno Veloso ; Moamar Sayed Mouchaweh; Lala H Rajaoarisoa; Grzegorz J Nalepa; João Gama ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2306.05120
INDEXED IN: 
DBLP
DBLP168
TITLE: Fault Detection in Wastewater Treatment Plants: Application of Autoencoders Models with Streaming Data
AUTHORS: Salles, Rodrigo; Mendes, Jerome; Ribeiro, Rita P. ; Gama, Joao ;
PUBLISHED: 2023, SOURCE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD) in MACHINE LEARNING AND PRINCIPLES AND PRACTICE OF KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2022, PT I, VOLUME: 1752, PAGES: 55-70
AUTHORS: Salles, Rodrigo; Mendes, Jerome; Ribeiro, Rita P. ; Gama, Joao ;
PUBLISHED: 2023, SOURCE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD) in MACHINE LEARNING AND PRINCIPLES AND PRACTICE OF KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2022, PT I, VOLUME: 1752, PAGES: 55-70
169
TITLE: Fault Forecasting Using Data-Driven Modeling: A Case Study for Metro do Porto Data Set
AUTHORS: Davari, Narjes; Veloso, Bruno ; Ribeiro, Rita P. ; Gama, Joao ;
PUBLISHED: 2023, SOURCE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD) in MACHINE LEARNING AND PRINCIPLES AND PRACTICE OF KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2022, PT II, VOLUME: 1753, PAGES: 400-409
AUTHORS: Davari, Narjes; Veloso, Bruno ; Ribeiro, Rita P. ; Gama, Joao ;
PUBLISHED: 2023, SOURCE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD) in MACHINE LEARNING AND PRINCIPLES AND PRACTICE OF KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2022, PT II, VOLUME: 1753, PAGES: 400-409
170
TITLE: Fifth International Workshop on Learning with Imbalanced Domains: Theory and Applications, 18 September 2023, LIDTA@ECML-PKDD, Turin, Italy
AUTHORS: Nuno Moniz; Paula Branco; Luís Torgo ; Nathalie Japkowicz; Michal Wozniak; Shuo Wang;
PUBLISHED: 2023, SOURCE: LIDTA, VOLUME: 241
AUTHORS: Nuno Moniz; Paula Branco; Luís Torgo ; Nathalie Japkowicz; Michal Wozniak; Shuo Wang;
PUBLISHED: 2023, SOURCE: LIDTA, VOLUME: 241
INDEXED IN: DBLP
DBLP171
TITLE: Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium
AUTHORS: Barbosa, Manuel ; Barthe, Gilles; Doczkal, Christian; Don, Jelle; Fehr, Serge; Gregoire, Benjamin; Huang, Yu Hsuan; Hulsing, Andreas; Lee, Yi; Wu, Xiaodi;
PUBLISHED: 2023, SOURCE: 43rd International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2023, PT V, VOLUME: 14085, PAGES: 358-389
AUTHORS: Barbosa, Manuel ; Barthe, Gilles; Doczkal, Christian; Don, Jelle; Fehr, Serge; Gregoire, Benjamin; Huang, Yu Hsuan; Hulsing, Andreas; Lee, Yi; Wu, Xiaodi;
PUBLISHED: 2023, SOURCE: 43rd International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2023, PT V, VOLUME: 14085, PAGES: 358-389
172
TITLE: Formally verifying Kyber Episode IV: Implementation correctness. Episode IV: Implementation correctness
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Tiago Oliveira; Hugo Pacheco ; Miguel Quaresma; Peter Schwabe; Antoine Séré; Pierre Yves Strub;
PUBLISHED: 2023, SOURCE: IACR Trans. Cryptogr. Hardw. Embed. Syst., VOLUME: 2023, ISSUE: 3, PAGES: 164-193
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Tiago Oliveira; Hugo Pacheco ; Miguel Quaresma; Peter Schwabe; Antoine Séré; Pierre Yves Strub;
PUBLISHED: 2023, SOURCE: IACR Trans. Cryptogr. Hardw. Embed. Syst., VOLUME: 2023, ISSUE: 3, PAGES: 164-193
173
TITLE: Fractal Bilinear Deep Neural Network Models for Gastric Intestinal Metaplasia Detection
AUTHORS: Pedroso, Maria; Martins, Miguel L. ; Libanio, Diogo ; Dinis Ribeiro, Mario ; Coimbra, Miguel ; Renna, Francesco ;
PUBLISHED: 2023, SOURCE: IEEE-EMBS International Conference on Biomedical and Health Informatics (BHI) in 2023 IEEE EMBS INTERNATIONAL CONFERENCE ON BIOMEDICAL AND HEALTH INFORMATICS, BHI, PAGES: 1-5
AUTHORS: Pedroso, Maria; Martins, Miguel L. ; Libanio, Diogo ; Dinis Ribeiro, Mario ; Coimbra, Miguel ; Renna, Francesco ;
PUBLISHED: 2023, SOURCE: IEEE-EMBS International Conference on Biomedical and Health Informatics (BHI) in 2023 IEEE EMBS INTERNATIONAL CONFERENCE ON BIOMEDICAL AND HEALTH INFORMATICS, BHI, PAGES: 1-5
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP174
TITLE: From random-walks to graph-sprints: a low-latency node embedding framework on continuous-time dynamic graphs
AUTHORS: Eddin, Ahmad Naser; Bono, Jacopo; Aparicio, David; Ferreira, Hugo; Ascensao, Joao; Ribeiro, Pedro ; Bizarro, Pedro;
PUBLISHED: 2023, SOURCE: 4th ACM International Conference on AI in Finance (ICAIF) in PROCEEDINGS OF THE 4TH ACM INTERNATIONAL CONFERENCE ON AI IN FINANCE, ICAIF 2023, PAGES: 176-184
AUTHORS: Eddin, Ahmad Naser; Bono, Jacopo; Aparicio, David; Ferreira, Hugo; Ascensao, Joao; Ribeiro, Pedro ; Bizarro, Pedro;
PUBLISHED: 2023, SOURCE: 4th ACM International Conference on AI in Finance (ICAIF) in PROCEEDINGS OF THE 4TH ACM INTERNATIONAL CONFERENCE ON AI IN FINANCE, ICAIF 2023, PAGES: 176-184
175
TITLE: Gastric cancer detection based on Colorectal Cancer transfer learning
AUTHORS: Nobrega, Sara; Neto, Alexandre ; Coimbra, Miguel ; Cunha, Antonio ;
PUBLISHED: 2023, SOURCE: IEEE 7th Portuguese Meeting on Bioengineering (ENBENG) in 2023 IEEE 7TH PORTUGUESE MEETING ON BIOENGINEERING, ENBENG, PAGES: 72-75
AUTHORS: Nobrega, Sara; Neto, Alexandre ; Coimbra, Miguel ; Cunha, Antonio ;
PUBLISHED: 2023, SOURCE: IEEE 7th Portuguese Meeting on Bioengineering (ENBENG) in 2023 IEEE 7TH PORTUGUESE MEETING ON BIOENGINEERING, ENBENG, PAGES: 72-75
176
TITLE: General-Purpose Secure Conflict-free Replicated Data Types
AUTHORS: Portela, Bernardo ; Pacheco, Hugo ; Jorge, Pedro; Pontes, Rogerio ;
PUBLISHED: 2023, SOURCE: IEEE 36th Computer Security Foundations Symposium (CSF) in 2023 IEEE 36TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM, CSF, VOLUME: 2023-July, PAGES: 521-536
AUTHORS: Portela, Bernardo ; Pacheco, Hugo ; Jorge, Pedro; Pontes, Rogerio ;
PUBLISHED: 2023, SOURCE: IEEE 36th Computer Security Foundations Symposium (CSF) in 2023 IEEE 36TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM, CSF, VOLUME: 2023-July, PAGES: 521-536
177
TITLE: Geovisualisation Tools for Reporting and Monitoring Transthyretin-Associated Familial Amyloid Polyneuropathy Disease
AUTHORS: Lopo, Ruben X. ; Jorge, Alipio M. ; Pedroto, Maria ;
PUBLISHED: 2023, SOURCE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD) in MACHINE LEARNING AND PRINCIPLES AND PRACTICE OF KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2022, PT I, VOLUME: 1752, PAGES: 103-118
AUTHORS: Lopo, Ruben X. ; Jorge, Alipio M. ; Pedroto, Maria ;
PUBLISHED: 2023, SOURCE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD) in MACHINE LEARNING AND PRINCIPLES AND PRACTICE OF KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2022, PT I, VOLUME: 1752, PAGES: 103-118
178
TITLE: GPT Struct Me: Probing GPT Models on Narrative Entity Extraction
AUTHORS: Sousa, Hugo; Guimaraes, Nuno ; Jorge, Alipio ; Campos, Ricardo ;
PUBLISHED: 2023, SOURCE: 22nd IEEE/WIC International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT) in 2023 IEEE INTERNATIONAL CONFERENCE ON WEB INTELLIGENCE AND INTELLIGENT AGENT TECHNOLOGY, WI-IAT, PAGES: 383-387
AUTHORS: Sousa, Hugo; Guimaraes, Nuno ; Jorge, Alipio ; Campos, Ricardo ;
PUBLISHED: 2023, SOURCE: 22nd IEEE/WIC International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT) in 2023 IEEE INTERNATIONAL CONFERENCE ON WEB INTELLIGENCE AND INTELLIGENT AGENT TECHNOLOGY, WI-IAT, PAGES: 383-387
179
TITLE: Gradual Guarantee for FJ with lambda-Expressions
AUTHORS: Angelo, Pedro; Bono, Viviana; Dezani Ciancaglini, Mariangiola; Florido, Mario ;
PUBLISHED: 2023, SOURCE: 25th ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP) in PROCEEDINGS OF THE 25TH ACM INTERNATIONAL WORKSHOP ON FORMAL TECHNIQUES FOR JAVA-LIKE PROGRAMS, FTFJP 2023, PAGES: 32-38
AUTHORS: Angelo, Pedro; Bono, Viviana; Dezani Ciancaglini, Mariangiola; Florido, Mario ;
PUBLISHED: 2023, SOURCE: 25th ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP) in PROCEEDINGS OF THE 25TH ACM INTERNATIONAL WORKSHOP ON FORMAL TECHNIQUES FOR JAVA-LIKE PROGRAMS, FTFJP 2023, PAGES: 32-38
180
TITLE: HAL 9000: Skynet's Risk Manager
AUTHORS: Tadeu Freitas ; Mario Tasso Ribeiro Serra Neto; Inês Dutra ; João Soares; Manuel E. Correia ; Rolando Martins ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2311.09449
AUTHORS: Tadeu Freitas ; Mario Tasso Ribeiro Serra Neto; Inês Dutra ; João Soares; Manuel E. Correia ; Rolando Martins ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2311.09449
INDEXED IN: DBLP
DBLP