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: 2703
43 Team MembersFilters -> Year: 2025
241
TITLE: Kyber terminates
AUTHORS: Manuel Barbosa ; Peter Schwabe;
PUBLISHED: 2023, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2023, PAGES: 708
AUTHORS: Manuel Barbosa ; Peter Schwabe;
PUBLISHED: 2023, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2023, PAGES: 708
INDEXED IN: 
DBLP
DBLP242
TITLE: Learning Models for Bone Marrow Edema Detection in Magnetic Resonance Imaging
AUTHORS: Ribeiro, Goncalo; Pereira, Tania ; Silva, Francisco ; Sousa, Joana ; Carvalho, Diogo Costa; Dias, Silvia Costa; Oliveira, Helder P. ;
PUBLISHED: 2023, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 13, ISSUE: 2, PAGES: 1024
AUTHORS: Ribeiro, Goncalo; Pereira, Tania ; Silva, Francisco ; Sousa, Joana ; Carvalho, Diogo Costa; Dias, Silvia Costa; Oliveira, Helder P. ;
PUBLISHED: 2023, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 13, ISSUE: 2, PAGES: 1024
243
TITLE: Location automata for regular expressions with shuffle and intersection Full Text
AUTHORS: Broda, Sabine ; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2023, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 295, PAGES: 104917
AUTHORS: Broda, Sabine ; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2023, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 295, PAGES: 104917
244
TITLE: Location automata for regular expressions with shuffle and intersection PDF
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2023, SOURCE: Inf. Comput., VOLUME: 295, ISSUE: Part B, PAGES: 104917
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2023, SOURCE: Inf. Comput., VOLUME: 295, ISSUE: Part B, PAGES: 104917
INDEXED IN: DBLP 
arXiv
DBLP arXiv245
TITLE: Location automata for synchronised shuffle expressions
AUTHORS: Broda, Sabine ; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2023, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 132, PAGES: 100847
AUTHORS: Broda, Sabine ; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2023, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 132, PAGES: 100847
246
TITLE: Lung CT image synthesis using GANs Full Text
AUTHORS: Mendes, Jose; Pereira, Tania ; Silva, Francisco ; Frade, Julieta; Morgado, Joana; Freitas, Claudia ; Negrao, Eduardo; de Lima, Beatriz Flor; da Silva, Miguel Correia; Madureira, Antonio J. ; Ramos, Isabel; Costa, Jose Luis; Hespanhol, Venceslau ; Cunha, Antonio ; Oliveira, Helder P. ;
PUBLISHED: 2023, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 215, PAGES: 119350
AUTHORS: Mendes, Jose; Pereira, Tania ; Silva, Francisco ; Frade, Julieta; Morgado, Joana; Freitas, Claudia ; Negrao, Eduardo; de Lima, Beatriz Flor; da Silva, Miguel Correia; Madureira, Antonio J. ; Ramos, Isabel; Costa, Jose Luis; Hespanhol, Venceslau ; Cunha, Antonio ; Oliveira, Helder P. ;
PUBLISHED: 2023, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 215, PAGES: 119350
247
TITLE: Machine Learning and Principles and Practice of Knowledge Discovery in Databases. International Workshops of ECML PKDD 2022, Grenoble, France, September 19–23, 2022, Proceedings, Part II
AUTHORS: Irena Koprinska; Paolo Mignone; Riccardo Guidotti; Szymon Jaroszewicz; Holger Fröning; Francesco Gullo; Pedro M Ferreira; Damian Roqueiro; Gaia Ceddia; Slawomir Nowaczyk; João Gama; Rita Ribeiro ; Ricard Gavaldà; Elio Masciari; Zbigniew Ras; Ettore Ritacco; Francesca Naretto; Andreas Theissler; Przemyslaw Biecek; Wouter Verbeke; ...More
PUBLISHED: 2023, SOURCE: Communications in Computer and Information Science
AUTHORS: Irena Koprinska; Paolo Mignone; Riccardo Guidotti; Szymon Jaroszewicz; Holger Fröning; Francesco Gullo; Pedro M Ferreira; Damian Roqueiro; Gaia Ceddia; Slawomir Nowaczyk; João Gama; Rita Ribeiro ; Ricard Gavaldà; Elio Masciari; Zbigniew Ras; Ettore Ritacco; Francesca Naretto; Andreas Theissler; Przemyslaw Biecek; Wouter Verbeke; ...More
PUBLISHED: 2023, SOURCE: Communications in Computer and Information Science
248
TITLE: Machine Learning and Principles and Practice of Knowledge Discovery in Databases. International Workshops of ECML PKDD 2022, Grenoble, France, September 19–23, 2022, Proceedings, Part I
AUTHORS: Irena Koprinska; Paolo Mignone; Riccardo Guidotti; Szymon Jaroszewicz; Holger Fröning; Francesco Gullo; Pedro M Ferreira ; Damian Roqueiro; Gaia Ceddia; Slawomir Nowaczyk; João Gama; Rita Ribeiro ; Ricard Gavaldà; Elio Masciari; Zbigniew Ras; Ettore Ritacco; Francesca Naretto; Andreas Theissler; Przemyslaw Biecek; Wouter Verbeke; ...More
PUBLISHED: 2023, SOURCE: Communications in Computer and Information Science
AUTHORS: Irena Koprinska; Paolo Mignone; Riccardo Guidotti; Szymon Jaroszewicz; Holger Fröning; Francesco Gullo; Pedro M Ferreira ; Damian Roqueiro; Gaia Ceddia; Slawomir Nowaczyk; João Gama; Rita Ribeiro ; Ricard Gavaldà; Elio Masciari; Zbigniew Ras; Ettore Ritacco; Francesca Naretto; Andreas Theissler; Przemyslaw Biecek; Wouter Verbeke; ...More
PUBLISHED: 2023, SOURCE: Communications in Computer and Information Science
249
TITLE: Machine Learning and Principles and Practice of Knowledge Discovery in Databases - International Workshops of ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part I
AUTHORS: Irena Koprinska; Paolo Mignone; Riccardo Guidotti; Szymon Jaroszewicz; Holger Fröning; Francesco Gullo; Pedro M Ferreira; Damian Roqueiro; Gaia Ceddia; Slawomir Nowaczyk; João Gama ; Rita P Ribeiro ; Ricard Gavaldà; Elio Masciari; Zbigniew W Ras; Ettore Ritacco; Francesca Naretto; Andreas Theissler; Przemyslaw Biecek; Wouter Verbeke; ...More
PUBLISHED: 2023, SOURCE: PKDD/ECML Workshops (1), VOLUME: 1752
AUTHORS: Irena Koprinska; Paolo Mignone; Riccardo Guidotti; Szymon Jaroszewicz; Holger Fröning; Francesco Gullo; Pedro M Ferreira; Damian Roqueiro; Gaia Ceddia; Slawomir Nowaczyk; João Gama ; Rita P Ribeiro ; Ricard Gavaldà; Elio Masciari; Zbigniew W Ras; Ettore Ritacco; Francesca Naretto; Andreas Theissler; Przemyslaw Biecek; Wouter Verbeke; ...More
PUBLISHED: 2023, SOURCE: PKDD/ECML Workshops (1), VOLUME: 1752
INDEXED IN: DBLP
DBLP250
TITLE: Machine Learning and Principles and Practice of Knowledge Discovery in Databases - International Workshops of ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part II
AUTHORS: Irena Koprinska; Paolo Mignone; Riccardo Guidotti; Szymon Jaroszewicz; Holger Fröning; Francesco Gullo; Pedro M Ferreira; Damian Roqueiro; Gaia Ceddia; Slawomir Nowaczyk; João Gama ; Rita P Ribeiro ; Ricard Gavaldà; Elio Masciari; Zbigniew W Ras; Ettore Ritacco; Francesca Naretto; Andreas Theissler; Przemyslaw Biecek; Wouter Verbeke; ...More
PUBLISHED: 2023, SOURCE: PKDD/ECML Workshops (2), VOLUME: 1753
AUTHORS: Irena Koprinska; Paolo Mignone; Riccardo Guidotti; Szymon Jaroszewicz; Holger Fröning; Francesco Gullo; Pedro M Ferreira; Damian Roqueiro; Gaia Ceddia; Slawomir Nowaczyk; João Gama ; Rita P Ribeiro ; Ricard Gavaldà; Elio Masciari; Zbigniew W Ras; Ettore Ritacco; Francesca Naretto; Andreas Theissler; Przemyslaw Biecek; Wouter Verbeke; ...More
PUBLISHED: 2023, SOURCE: PKDD/ECML Workshops (2), VOLUME: 1753
INDEXED IN: DBLP
DBLP251
TITLE: Machine learning-based approaches for cancer prediction using microbiome data Full Text
AUTHORS: Freitas, Pedro ; Silva, Francisco ; Sousa, Joana Vale ; Ferreira, Rui M. ; Figueiredo, Ceu ; Pereira, Tania ; Oliveira, Helder P. ;
PUBLISHED: 2023, SOURCE: SCIENTIFIC REPORTS, VOLUME: 13, ISSUE: 1
AUTHORS: Freitas, Pedro ; Silva, Francisco ; Sousa, Joana Vale ; Ferreira, Rui M. ; Figueiredo, Ceu ; Pereira, Tania ; Oliveira, Helder P. ;
PUBLISHED: 2023, SOURCE: SCIENTIFIC REPORTS, VOLUME: 13, ISSUE: 1
252
TITLE: Machine-Checked Security for XMSS as in RFC 8391 and SPHINCS+
AUTHORS: Barbosa, Manuel ; Dupressoir, Francois; Gregoire, Benjamin; Hulsing, Andreas; Meijers, Matthias; Strub, Pierre Yves;
PUBLISHED: 2023, SOURCE: 43rd International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2023, PT V, VOLUME: 14085, PAGES: 421-454
AUTHORS: Barbosa, Manuel ; Dupressoir, Francois; Gregoire, Benjamin; Hulsing, Andreas; Meijers, Matthias; Strub, Pierre Yves;
PUBLISHED: 2023, SOURCE: 43rd International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2023, PT V, VOLUME: 14085, PAGES: 421-454
INDEXED IN: 
Scopus 
WOS DBLP
Scopus WOS DBLP253
TITLE: Machine-Checked Security for $$\textrm{XMSS} $$ as in RFC 8391 and $$\mathrm {SPHINCS^{+}} $$
AUTHORS: Manuel Barbosa ; François Dupressoir; Benjamin Grégoire; Andreas Hülsing; Matthias Meijers; Pierre-Yves Strub;
PUBLISHED: 2023, SOURCE: Lecture Notes in Computer Science - Advances in Cryptology – CRYPTO 2023, PAGES: 421-454
AUTHORS: Manuel Barbosa ; François Dupressoir; Benjamin Grégoire; Andreas Hülsing; Matthias Meijers; Pierre-Yves Strub;
PUBLISHED: 2023, SOURCE: Lecture Notes in Computer Science - Advances in Cryptology – CRYPTO 2023, PAGES: 421-454
254
TITLE: Markov-Based Neural Networks for Heart Sound Segmentation: Using Domain Knowledge in a Principled Way Full Text
AUTHORS: Martins, Miguel L. ; Coimbra, Miguel T. ; Renna, Francesco ;
PUBLISHED: 2023, SOURCE: IEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS, VOLUME: 27, ISSUE: 11, PAGES: 5357-5368
AUTHORS: Martins, Miguel L. ; Coimbra, Miguel T. ; Renna, Francesco ;
PUBLISHED: 2023, SOURCE: IEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS, VOLUME: 27, ISSUE: 11, PAGES: 5357-5368
255
TITLE: Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
AUTHORS: Barbosa, Manuel ; Barthe, Gilles; Gregoire, Benjamin; Koutsos, Adrien; Strub, Pierre Yves;
PUBLISHED: 2023, SOURCE: ACM TRANSACTIONS ON PRIVACY AND SECURITY, VOLUME: 26, ISSUE: 3, PAGES: 41:1-41:34
AUTHORS: Barbosa, Manuel ; Barthe, Gilles; Gregoire, Benjamin; Koutsos, Adrien; Strub, Pierre Yves;
PUBLISHED: 2023, SOURCE: ACM TRANSACTIONS ON PRIVACY AND SECURITY, VOLUME: 26, ISSUE: 3, PAGES: 41:1-41:34
256
TITLE: MetroPT-3 Dataset
AUTHORS: Narjes Davari; Bruno Veloso ; Rita P Ribeiro ; João Gama ;
PUBLISHED: 2023
AUTHORS: Narjes Davari; Bruno Veloso ; Rita P Ribeiro ; João Gama ;
PUBLISHED: 2023
INDEXED IN: DBLP
DBLP257
TITLE: Model Selection for Time Series Forecasting An Empirical Analysis of Multiple Estimators Full Text
AUTHORS: Cerqueira, Vitor ; Torgo, Luis ; Soares, Carlos ;
PUBLISHED: 2023, SOURCE: NEURAL PROCESSING LETTERS, VOLUME: 55, ISSUE: 7, PAGES: 10073-10091
AUTHORS: Cerqueira, Vitor ; Torgo, Luis ; Soares, Carlos ;
PUBLISHED: 2023, SOURCE: NEURAL PROCESSING LETTERS, VOLUME: 55, ISSUE: 7, PAGES: 10073-10091
258
TITLE: Mortality prediction using medical time series on TBI patients Full Text
AUTHORS: Fonseca, Joao; Liu, Xiuyun; Oliveira, Helder P. ; Pereira, Tania ;
PUBLISHED: 2023, SOURCE: COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, VOLUME: 242, PAGES: 107806
AUTHORS: Fonseca, Joao; Liu, Xiuyun; Oliveira, Helder P. ; Pereira, Tania ;
PUBLISHED: 2023, SOURCE: COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, VOLUME: 242, PAGES: 107806
259
TITLE: Multi-output Ensembles for Multi-step Forecasting
AUTHORS: Vítor Cerqueira ; Luís Torgo ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2306.14563
AUTHORS: Vítor Cerqueira ; Luís Torgo ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2306.14563
INDEXED IN: DBLP
DBLP260
TITLE: Multimodal Classification of Anxiety Based on Physiological Signals
AUTHORS: Vaz, Mariana; Summavielle, Teresa ; Sebastiao, Raquel; Ribeiro, Rita P. ;
PUBLISHED: 2023, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 13, ISSUE: 11, PAGES: 6368
AUTHORS: Vaz, Mariana; Summavielle, Teresa ; Sebastiao, Raquel; Ribeiro, Rita P. ;
PUBLISHED: 2023, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 13, ISSUE: 11, PAGES: 6368
