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: 2883
46 Team MembersFilters -> Year: 2026
221
TITLE: Floralens: a Deep Learning Model for the Portuguese Native Flora
AUTHORS: António Filgueiras; Eduardo R B Marques ; Luís M B Lopes ; Miguel Marques; Hugo Silva;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2403.12072
AUTHORS: António Filgueiras; Eduardo R B Marques ; Luís M B Lopes ; Miguel Marques; Hugo Silva;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2403.12072
INDEXED IN: 
DBLP
DBLP222
TITLE: Flow Correlation Attacks on Tor Onion Service Sessions with Sliding Subset Sum
AUTHORS: Daniela Lopes; Jin Dong Dong; Pedro Medeiros; Daniel Castro; Diogo Barradas; Bernardo Portela ; João Vinagre ; Bernardo Ferreira; Nicolas Christin; Nuno Santos;
PUBLISHED: 2024, SOURCE: 31st Annual Network and Distributed System Security Symposium, NDSS 2024, San Diego, California, USA, February 26 - March 1, 2024
AUTHORS: Daniela Lopes; Jin Dong Dong; Pedro Medeiros; Daniel Castro; Diogo Barradas; Bernardo Portela ; João Vinagre ; Bernardo Ferreira; Nicolas Christin; Nuno Santos;
PUBLISHED: 2024, SOURCE: 31st Annual Network and Distributed System Security Symposium, NDSS 2024, San Diego, California, USA, February 26 - March 1, 2024
223
TITLE: Formal Simulation and Visualisation of Hybrid Programs An Extension of a Proof-of-Concept Tool Full Text
AUTHORS: Mendes, Pedro; Correia, Ricardo; Neves, Renato ; Proenca, Jose ;
PUBLISHED: 2024, SOURCE: 6th International Workshop on Formal Methods for Autonomous Systems (FMAS) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 411, PAGES: 20-37
AUTHORS: Mendes, Pedro; Correia, Ricardo; Neves, Renato ; Proenca, Jose ;
PUBLISHED: 2024, SOURCE: 6th International Workshop on Formal Methods for Autonomous Systems (FMAS) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 411, PAGES: 20-37
224
TITLE: Formally Verifying Kyber Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt. Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt
AUTHORS: Almeida, Jose Bacelar ; Olmos, Santiago Arranz; Barbosa, Manuel ; Barthe, Gilles; Dupressoir, Francois; Gregoire, Benjamin; Laporte, Vincent; Lechenet, Jean Christophe; Low, Cameron; Oliveira, Tiago; Pacheco, Hugo ; Quaresma, Miguel; Schwabe, Peter; Strub, Pierre Yves;
PUBLISHED: 2024, SOURCE: 44th Annual International Cryptology Conference on Advances in Cryptology (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2024, PT II, VOLUME: 14921, PAGES: 384-421
AUTHORS: Almeida, Jose Bacelar ; Olmos, Santiago Arranz; Barbosa, Manuel ; Barthe, Gilles; Dupressoir, Francois; Gregoire, Benjamin; Laporte, Vincent; Lechenet, Jean Christophe; Low, Cameron; Oliveira, Tiago; Pacheco, Hugo ; Quaresma, Miguel; Schwabe, Peter; Strub, Pierre Yves;
PUBLISHED: 2024, SOURCE: 44th Annual International Cryptology Conference on Advances in Cryptology (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2024, PT II, VOLUME: 14921, PAGES: 384-421
225
TITLE: Foundational Models for Pathology and Endoscopy Images: Application for Gastric Inflammation Full Text
AUTHORS: Kerdegari, Hamideh; Higgins, Kyle; Veselkov, Dennis; Laponogov, Ivan; Polaka, Inese; Coimbra, Miguel ; Pescino, Junior Andrea; Leja, Marcis; Dinis Ribeiro, Mario; Fleitas Kanonnikoff, Tania; Veselkov, Kirill;
PUBLISHED: 2024, SOURCE: DIAGNOSTICS, VOLUME: 14, ISSUE: 17, PAGES: 1912
AUTHORS: Kerdegari, Hamideh; Higgins, Kyle; Veselkov, Dennis; Laponogov, Ivan; Polaka, Inese; Coimbra, Miguel ; Pescino, Junior Andrea; Leja, Marcis; Dinis Ribeiro, Mario; Fleitas Kanonnikoff, Tania; Veselkov, Kirill;
PUBLISHED: 2024, SOURCE: DIAGNOSTICS, VOLUME: 14, ISSUE: 17, PAGES: 1912
226
TITLE: From fault detection to anomaly explanation: A case study on predictive maintenance Full Text
AUTHORS: Gama, Joao ; Ribeiro, Rita P. ; Mastelini, Saulo; Davari, Narjes ; Veloso, Bruno ;
PUBLISHED: 2024, SOURCE: JOURNAL OF WEB SEMANTICS, VOLUME: 81, PAGES: 100821
AUTHORS: Gama, Joao ; Ribeiro, Rita P. ; Mastelini, Saulo; Davari, Narjes ; Veloso, Bruno ;
PUBLISHED: 2024, SOURCE: JOURNAL OF WEB SEMANTICS, VOLUME: 81, PAGES: 100821
227
TITLE: HAL 9000: a Risk Manager for ITSs
AUTHORS: Freitas, Tadeu ; Novo, Carlos; Soares, Joao ; Dutra, Ines ; Correia, Manuel E. ; Shariati, Behnam; Martins, Rolando ;
PUBLISHED: 2024, SOURCE: 6th International Conference on Trust Privacy and Security in Intelligent Systems and Applications in 2024 IEEE 6TH INTERNATIONAL CONFERENCE ON TRUST, PRIVACY AND SECURITY IN INTELLIGENT SYSTEMS, AND APPLICATIONS, TPS-ISA, PAGES: 322-331
AUTHORS: Freitas, Tadeu ; Novo, Carlos; Soares, Joao ; Dutra, Ines ; Correia, Manuel E. ; Shariati, Behnam; Martins, Rolando ;
PUBLISHED: 2024, SOURCE: 6th International Conference on Trust Privacy and Security in Intelligent Systems and Applications in 2024 IEEE 6TH INTERNATIONAL CONFERENCE ON TRUST, PRIVACY AND SECURITY IN INTELLIGENT SYSTEMS, AND APPLICATIONS, TPS-ISA, PAGES: 322-331
228
TITLE: Hardware Security for Internet of Things Identity Assurance Full Text
AUTHORS: Cirne, Andre ; Sousa, Patricia R.; Resende, Joao S. ; Antunes, Luis ;
PUBLISHED: 2024, SOURCE: IEEE COMMUNICATIONS SURVEYS AND TUTORIALS, VOLUME: 26, ISSUE: 2, PAGES: 1041-1079
AUTHORS: Cirne, Andre ; Sousa, Patricia R.; Resende, Joao S. ; Antunes, Luis ;
PUBLISHED: 2024, SOURCE: IEEE COMMUNICATIONS SURVEYS AND TUTORIALS, VOLUME: 26, ISSUE: 2, PAGES: 1041-1079
229
TITLE: Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus
AUTHORS: Vasconcelos, Pedro ; Marques, Rodrigo;
PUBLISHED: 2024, SOURCE: 17th International Symposium on Haskell (Haskell) in PROCEEDINGS OF THE 17TH ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON HASKELL, HASKELL 2024, VOLUME: 6, PAGES: 1-13
AUTHORS: Vasconcelos, Pedro ; Marques, Rodrigo;
PUBLISHED: 2024, SOURCE: 17th International Symposium on Haskell (Haskell) in PROCEEDINGS OF THE 17TH ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON HASKELL, HASKELL 2024, VOLUME: 6, PAGES: 1-13
230
TITLE: Heterogeneity in families with ATTRV30M amyloidosis: a historical and longitudinal Portuguese case study impact for genetic counselling Full Text
AUTHORS: Pedroto, Maria ; Coelho, Teresa; Fernandes, Joana; Oliveira, Alexandra; Jorge, Alipio ; Mendes Moreira, Joao ;
PUBLISHED: 2024, SOURCE: AMYLOID-JOURNAL OF PROTEIN FOLDING DISORDERS, VOLUME: 31, ISSUE: 3, PAGES: 168-178
AUTHORS: Pedroto, Maria ; Coelho, Teresa; Fernandes, Joana; Oliveira, Alexandra; Jorge, Alipio ; Mendes Moreira, Joao ;
PUBLISHED: 2024, SOURCE: AMYLOID-JOURNAL OF PROTEIN FOLDING DISORDERS, VOLUME: 31, ISSUE: 3, PAGES: 168-178
231
TITLE: Image Captioning for Coronary Artery Disease Diagnosis
AUTHORS: Magalhaes, Bruno; Pedrosa, Joao ; Renna, Francesco ; Paredes, Hugo ; Filipe, Vitor ;
PUBLISHED: 2024, SOURCE: 2024 International Conference on Bioinformatics and Biomedicine in 2024 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE, BIBM, PAGES: 5302-5308
AUTHORS: Magalhaes, Bruno; Pedrosa, Joao ; Renna, Francesco ; Paredes, Hugo ; Filipe, Vitor ;
PUBLISHED: 2024, SOURCE: 2024 International Conference on Bioinformatics and Biomedicine in 2024 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE, BIBM, PAGES: 5302-5308
232
TITLE: Implications of seasonal and daily variation on methane and ammonia emissions from naturally ventilated dairy cattle barns in a Mediterranean climate: A two-year study
AUTHORS: Rodrigues, Ana R. F.; Silva, Maria Eduarda ; Silva, Vanessa F. ; Maia, Margarida R. G. ; Cabrita, Ana R. J. ; Trindade, Henrique; Fonseca, Antonio J. M. ; Pereira, Jose L. S.;
PUBLISHED: 2024, SOURCE: SCIENCE OF THE TOTAL ENVIRONMENT, VOLUME: 946, PAGES: 173734
AUTHORS: Rodrigues, Ana R. F.; Silva, Maria Eduarda ; Silva, Vanessa F. ; Maia, Margarida R. G. ; Cabrita, Ana R. J. ; Trindade, Henrique; Fonseca, Antonio J. M. ; Pereira, Jose L. S.;
PUBLISHED: 2024, SOURCE: SCIENCE OF THE TOTAL ENVIRONMENT, VOLUME: 946, PAGES: 173734
233
TITLE: Improving Endoscopy Lesion Classification Using Self-Supervised Deep Learning
AUTHORS: Inês Lopes; Maria Vakalopoulou; Enzo Ferrante; Diogo Libânio; Mário Dinis Ribeiro; Miguel Tavares Coimbra ; Francesco Renna ;
PUBLISHED: 2024, SOURCE: 46th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2024, Orlando, FL, USA, July 15-19, 2024, PAGES: 1-4
AUTHORS: Inês Lopes; Maria Vakalopoulou; Enzo Ferrante; Diogo Libânio; Mário Dinis Ribeiro; Miguel Tavares Coimbra ; Francesco Renna ;
PUBLISHED: 2024, SOURCE: 46th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2024, Orlando, FL, USA, July 15-19, 2024, PAGES: 1-4
234
TITLE: Indexing Portuguese NLP Resources with PT-Pump-Up
AUTHORS: Rúben Almeida; Ricardo Campos ; Alípio Jorge ; Sérgio Nunes ;
PUBLISHED: 2024, SOURCE: Proceedings of the 16th International Conference on Computational Processing of Portuguese, PROPOR 2024, Santiago de Compostela, Galicia/Spain, March 12-15, 2024, Volume 2, PAGES: 178-181
AUTHORS: Rúben Almeida; Ricardo Campos ; Alípio Jorge ; Sérgio Nunes ;
PUBLISHED: 2024, SOURCE: Proceedings of the 16th International Conference on Computational Processing of Portuguese, PROPOR 2024, Santiago de Compostela, Galicia/Spain, March 12-15, 2024, Volume 2, PAGES: 178-181
INDEXED IN: DBLP
DBLP235
TITLE: Instance-based meta-learning for conditionally dependent univariate multi-step forecasting Full Text
AUTHORS: Vitor Cerqueira ; Luis Torgo ; Gianluca Bontempi;
PUBLISHED: 2024, SOURCE: International Journal of Forecasting, VOLUME: 40, ISSUE: 4, PAGES: 1507-1520
AUTHORS: Vitor Cerqueira ; Luis Torgo ; Gianluca Bontempi;
PUBLISHED: 2024, SOURCE: International Journal of Forecasting, VOLUME: 40, ISSUE: 4, PAGES: 1507-1520
236
TITLE: Instance-wise Uncertainty for Class Imbalance in Semantic Segmentation
AUTHORS: Luís Almeida; Inês Dutra ; Francesco Renna;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2407.12609
AUTHORS: Luís Almeida; Inês Dutra ; Francesco Renna;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2407.12609
INDEXED IN: DBLP
DBLP237
TITLE: Integração e vivências solidárias no ensino superior: contributos de programas de mentoria interpares
AUTHORS: Teresa Medina; G. Lopes; Ines Dutra ; Marta C da Silva; Renata Barros; Teresa Duarte;
PUBLISHED: 2024
AUTHORS: Teresa Medina; G. Lopes; Ines Dutra ; Marta C da Silva; Renata Barros; Teresa Duarte;
PUBLISHED: 2024
INDEXED IN: 
Handle
Handle238
TITLE: Integration of multi-modal datasets to estimate human aging Full Text
AUTHORS: Ribeiro, Rogerio; Moraes, Athos; Moreno, Marta; Ferreira, Pedro G. ;
PUBLISHED: 2024, SOURCE: MACHINE LEARNING, VOLUME: 113, ISSUE: 10, PAGES: 7293-7317
AUTHORS: Ribeiro, Rogerio; Moraes, Athos; Moreno, Marta; Ferreira, Pedro G. ;
PUBLISHED: 2024, SOURCE: MACHINE LEARNING, VOLUME: 113, ISSUE: 10, PAGES: 7293-7317
239
TITLE: Keywords attention for fake news detection using few positive labels Full Text
AUTHORS: de Souza, Mariana Caravanti; Golo, Marcos Paulo Silva; Jorge, Alipio Mario Guedes ; de Amorim, Evelin Carvalho Freire ; Campos, Ricardo Nuno Taborda ; Marcacini, Ricardo Marcondes; Rezende, Solange Oliveira;
PUBLISHED: 2024, SOURCE: INFORMATION SCIENCES, VOLUME: 663, PAGES: 120300
AUTHORS: de Souza, Mariana Caravanti; Golo, Marcos Paulo Silva; Jorge, Alipio Mario Guedes ; de Amorim, Evelin Carvalho Freire ; Campos, Ricardo Nuno Taborda ; Marcacini, Ricardo Marcondes; Rezende, Solange Oliveira;
PUBLISHED: 2024, SOURCE: INFORMATION SCIENCES, VOLUME: 663, PAGES: 120300
240
TITLE: Kumon-Inspired Approach to Teaching Programming Fundamentals
AUTHORS: Ivone Amorim; Pedro B Vasconcelos ; João Pedro Pedroso ;
PUBLISHED: 2024, SOURCE: 5th International Computer Programming Education Conference, ICPEC 2024 in 5th International Computer Programming Education Conference, ICPEC 2024, June 27-28, 2024, Lisbon, Portugal, VOLUME: 122, PAGES: 5:1-5:13
AUTHORS: Ivone Amorim; Pedro B Vasconcelos ; João Pedro Pedroso ;
PUBLISHED: 2024, SOURCE: 5th International Computer Programming Education Conference, ICPEC 2024 in 5th International Computer Programming Education Conference, ICPEC 2024, June 27-28, 2024, Lisbon, Portugal, VOLUME: 122, PAGES: 5:1-5:13
INDEXED IN: 
Scopus DBLP
Scopus DBLP