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: 2674
43 Team MembersFilters -> Year: 2025
201
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
202
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
203
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
204
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
205
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
206
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
207
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
208
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
209
TITLE: Haskelite: A Step-By-Step Interpreter for Teaching Functional Programming
AUTHORS: Pedro Vasconcelos ;
PUBLISHED: 2023, SOURCE: OpenAccess Series in Informatics, VOLUME: 112
AUTHORS: Pedro Vasconcelos ;
PUBLISHED: 2023, SOURCE: OpenAccess Series in Informatics, VOLUME: 112
INDEXED IN: 
Scopus
Scopus210
TITLE: Heart murmur detection from phonocardiogram recordings: The George B. Moody PhysioNet Challenge 2022
AUTHORS: Matthew Reyna; Yashar Kiarashi; Andoni Elola; Jorge Oliveira ; Francesco Renna ; Annie Gu; Erick Perez Alday; Nadi Sadr; Ashish Sharma; Jacques Kpodonu; Sandra Mattos; Miguel Coimbra ; Reza Sameni; Ali Bahrami Rad; Gari Clifford;
PUBLISHED: 2023, SOURCE: PLOS Digital Health, VOLUME: 2, ISSUE: 9 September
AUTHORS: Matthew Reyna; Yashar Kiarashi; Andoni Elola; Jorge Oliveira ; Francesco Renna ; Annie Gu; Erick Perez Alday; Nadi Sadr; Ashish Sharma; Jacques Kpodonu; Sandra Mattos; Miguel Coimbra ; Reza Sameni; Ali Bahrami Rad; Gari Clifford;
PUBLISHED: 2023, SOURCE: PLOS Digital Health, VOLUME: 2, ISSUE: 9 September
211
TITLE: Improving the Characterization and Comparison of Football Players with Spatial Flow Motifs
AUTHORS: Barbosa, Alberto ; Ribeiro, Pedro ; Dutra, Ines ;
PUBLISHED: 2023, SOURCE: 11th International Conference on Complex Networks and their Applications (COMPLEX NETWORKS) in COMPLEX NETWORKS AND THEIR APPLICATIONS XI, COMPLEX NETWORKS 2022, VOL 2, VOLUME: 1078, PAGES: 579-591
AUTHORS: Barbosa, Alberto ; Ribeiro, Pedro ; Dutra, Ines ;
PUBLISHED: 2023, SOURCE: 11th International Conference on Complex Networks and their Applications (COMPLEX NETWORKS) in COMPLEX NETWORKS AND THEIR APPLICATIONS XI, COMPLEX NETWORKS 2022, VOL 2, VOLUME: 1078, PAGES: 579-591
212
TITLE: Jay: A software framework for prototyping and evaluating offloading applications in hybrid edge clouds Full Text
AUTHORS: Silva, Joaquim ; Marques, Eduardo R. B. ; Lopes, Luis M. B. ; Silva, Fernando M. A. ;
PUBLISHED: 2023, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 53, ISSUE: 10, PAGES: 2007-2025
AUTHORS: Silva, Joaquim ; Marques, Eduardo R. B. ; Lopes, Luis M. B. ; Silva, Fernando M. A. ;
PUBLISHED: 2023, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 53, ISSUE: 10, PAGES: 2007-2025
213
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
DBLP214
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
215
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 arXiv216
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
217
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
218
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
219
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
220
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
