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: 2697
43 Team MembersFilters -> Year: 2025
241
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 arXiv242
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
243
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
244
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
245
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
246
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
DBLP247
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
DBLP248
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
249
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 DBLP250
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
251
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
252
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
253
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
DBLP254
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
255
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
256
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
DBLP257
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
258
TITLE: Multitask learning approach for lung nodule segmentation and classification in CT images
AUTHORS: Luís Fernandes ; Hélder P Oliveira ;
PUBLISHED: 2023, SOURCE: IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2023, Istanbul, Turkiye, December 5-8, 2023, PAGES: 3874-3880
AUTHORS: Luís Fernandes ; Hélder P Oliveira ;
PUBLISHED: 2023, SOURCE: IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2023, Istanbul, Turkiye, December 5-8, 2023, PAGES: 3874-3880
259
TITLE: Narrative Extraction from Semantic Graphs (Short Paper)
AUTHORS: Daniil Lystopadskyi; André Santos; José Paulo Leal ;
PUBLISHED: 2023, SOURCE: 12th Symposium on Languages, Applications and Technologies, SLATE 2023 in 12th Symposium on Languages, Applications and Technologies, SLATE 2023, June 26-28, 2023, Vila do Conde, Portugal, VOLUME: 113, PAGES: 9:1-9:8
AUTHORS: Daniil Lystopadskyi; André Santos; José Paulo Leal ;
PUBLISHED: 2023, SOURCE: 12th Symposium on Languages, Applications and Technologies, SLATE 2023 in 12th Symposium on Languages, Applications and Technologies, SLATE 2023, June 26-28, 2023, Vila do Conde, Portugal, VOLUME: 113, PAGES: 9:1-9:8
INDEXED IN: Scopus DBLP
Scopus DBLP260
TITLE: New Insights in Machine Learning and Deep Neural Networks
AUTHORS: Álvaro Figueira ; Francesco Renna;
PUBLISHED: 2023
AUTHORS: Álvaro Figueira ; Francesco Renna;
PUBLISHED: 2023
