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: 2858
47 Team MembersFilters -> Year: 2026
241
TITLE: Distributed Applications and Interoperable Systems - 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings
AUTHORS: Rolando Martins ; Mennan Selimi;
PUBLISHED: 2024, SOURCE: DAIS, VOLUME: 14677
AUTHORS: Rolando Martins ; Mennan Selimi;
PUBLISHED: 2024, SOURCE: DAIS, VOLUME: 14677
INDEXED IN: 
DBLP
DBLP242
TITLE: DRL-KeyAgree: An Intelligent Combinatorial Deep Reinforcement Learning-Based Vehicular Platooning Secret Key Generation
AUTHORS: Kurunathan, Harrison; Li, Kai; Tovar, Eduardo ; Jorge, Alipio Mario ; Ni, Wei; Jamalipour, Abbas;
PUBLISHED: 2024, SOURCE: IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, VOLUME: 25, ISSUE: 11, PAGES: 16354-16369
AUTHORS: Kurunathan, Harrison; Li, Kai; Tovar, Eduardo ; Jorge, Alipio Mario ; Ni, Wei; Jamalipour, Abbas;
PUBLISHED: 2024, SOURCE: IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, VOLUME: 25, ISSUE: 11, PAGES: 16354-16369
243
TITLE: Early Findings in Using LLMs to Assess Semantic Relations Strength (Short Paper)
AUTHORS: André Fernandes dos Santos ; José Paulo Leal ;
PUBLISHED: 2024, SOURCE: SLATE, VOLUME: 120, PAGES: 4:1-4:9
AUTHORS: André Fernandes dos Santos ; José Paulo Leal ;
PUBLISHED: 2024, SOURCE: SLATE, VOLUME: 120, PAGES: 4:1-4:9
INDEXED IN: 
Scopus DBLP 
DataCite
Scopus DBLP DataCite244
TITLE: Enhanced authentication and device integrity protection for GDOI using blockchain Full Text
AUTHORS: Mukhandi, Munkenyi; Andrade, Eduardo; Granjal, Jorge; Vilela, Joao P. ;
PUBLISHED: 2024, SOURCE: TRANSACTIONS ON EMERGING TELECOMMUNICATIONS TECHNOLOGIES, VOLUME: 35, ISSUE: 5
AUTHORS: Mukhandi, Munkenyi; Andrade, Eduardo; Granjal, Jorge; Vilela, Joao P. ;
PUBLISHED: 2024, SOURCE: TRANSACTIONS ON EMERGING TELECOMMUNICATIONS TECHNOLOGIES, VOLUME: 35, ISSUE: 5
245
TITLE: Enhancing mammography: a comprehensive review of computer methods for improving image quality
AUTHORS: Santos, Joana Cristo; Santos, Miriam Seoane ; Abreu, Pedro Henriques ;
PUBLISHED: 2024, SOURCE: PROGRESS IN BIOMEDICAL ENGINEERING, VOLUME: 6, ISSUE: 4, PAGES: 042002
AUTHORS: Santos, Joana Cristo; Santos, Miriam Seoane ; Abreu, Pedro Henriques ;
PUBLISHED: 2024, SOURCE: PROGRESS IN BIOMEDICAL ENGINEERING, VOLUME: 6, ISSUE: 4, PAGES: 042002
246
TITLE: Enhancing short-term vessel trajectory prediction with clustering for heterogeneous and multi-modal movement patterns
AUTHORS: Alam, Md Mahbub; Spadon, Gabriel; Etemad, Mohammad; Torgo, Luis ; Milios, Evangelos;
PUBLISHED: 2024, SOURCE: OCEAN ENGINEERING, VOLUME: 308, PAGES: 118303
AUTHORS: Alam, Md Mahbub; Spadon, Gabriel; Etemad, Mohammad; Torgo, Luis ; Milios, Evangelos;
PUBLISHED: 2024, SOURCE: OCEAN ENGINEERING, VOLUME: 308, PAGES: 118303
247
TITLE: Explainable Multimodal Deep Learning for Heart Sounds and Electrocardiogram Classification
AUTHORS: Bruno Oliveira; André Lobo; Cátia Isabel Andrade Botelho Costa; Ricardo Fontes Carvalho ; Miguel T Coimbra ; Francesco Renna ;
PUBLISHED: 2024, SOURCE: EMBC, PAGES: 1-4
AUTHORS: Bruno Oliveira; André Lobo; Cátia Isabel Andrade Botelho Costa; Ricardo Fontes Carvalho ; Miguel T Coimbra ; Francesco Renna ;
PUBLISHED: 2024, SOURCE: EMBC, PAGES: 1-4
248
TITLE: Exploring the differences between Multi-task and Single-task with the use of hxplainable AI for lung nodule classification
AUTHORS: Fernandes, Luis ; Pereira, Tania ; Oliveira, Helder P. ;
PUBLISHED: 2024, SOURCE: 37th International Symposium on Computer-Based Medical Systems (CBMS) in 2024 IEEE 37TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, CBMS 2024, PAGES: 418-423
AUTHORS: Fernandes, Luis ; Pereira, Tania ; Oliveira, Helder P. ;
PUBLISHED: 2024, SOURCE: 37th International Symposium on Computer-Based Medical Systems (CBMS) in 2024 IEEE 37TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, CBMS 2024, PAGES: 418-423
249
TITLE: Extending C2 Traffic Detection Methodologies: From TLS 1.2 to TLS 1.3-enabled Malware
AUTHORS: Barradas, Diogo; Novo, Carlos; Portela, Bernardo ; Romeiro, Sofia; Santos, Nuno;
PUBLISHED: 2024, SOURCE: 27th International Symposium on Research in Attacks, Intrusions and Defenses (RAID) in PROCEEDINGS OF 27TH INTERNATIONAL SYMPOSIUM ON RESEARCH IN ATTACKS, INTRUSIONS AND DEFENSES, RAID 2024, PAGES: 181-196
AUTHORS: Barradas, Diogo; Novo, Carlos; Portela, Bernardo ; Romeiro, Sofia; Santos, Nuno;
PUBLISHED: 2024, SOURCE: 27th International Symposium on Research in Attacks, Intrusions and Defenses (RAID) in PROCEEDINGS OF 27TH INTERNATIONAL SYMPOSIUM ON RESEARCH IN ATTACKS, INTRUSIONS AND DEFENSES, RAID 2024, PAGES: 181-196
250
TITLE: FC Portugal: RoboCup 2023 3D Simulation League Champions
AUTHORS: Abreu, Miguel; Mota, Pedro; Reis, Luis Paulo ; Lau, Nuno; Florido, Mario ;
PUBLISHED: 2024, SOURCE: 26th Annual Robot World Cup International Symposium (RoboCup) in ROBOCUP 2023: ROBOT WORLD CUP XXVI, VOLUME: 14140, PAGES: 416-427
AUTHORS: Abreu, Miguel; Mota, Pedro; Reis, Luis Paulo ; Lau, Nuno; Florido, Mario ;
PUBLISHED: 2024, SOURCE: 26th Annual Robot World Cup International Symposium (RoboCup) in ROBOCUP 2023: ROBOT WORLD CUP XXVI, VOLUME: 14140, PAGES: 416-427
251
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
DBLP252
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: NDSS
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: NDSS
253
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
254
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
255
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
256
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
257
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
258
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
259
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
260
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
