Center for Research in Advanced Computing Systems (CRACS)
Center for Research in Advanced Computing Systems
Inesc Technology and Science (INESC TEC) :: CS: Computer Science
AuthID: I-000-1RA
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: 1135
37 Team MembersFilters -> Year: 2025
21
TITLE: Dvorak: A Browser Credential Dumping Malware
AUTHORS: José Areia; Bruno Santos; Mário Antunes ;
PUBLISHED: 2024, SOURCE: 21st International Conference on Security and Cryptography, SECRYPT 2024 in Proceedings of the 21st International Conference on Security and Cryptography, SECRYPT 2024, Dijon, France, July 8-10, 2024., PAGES: 434-441
AUTHORS: José Areia; Bruno Santos; Mário Antunes ;
PUBLISHED: 2024, SOURCE: 21st International Conference on Security and Cryptography, SECRYPT 2024 in Proceedings of the 21st International Conference on Security and Cryptography, SECRYPT 2024, Dijon, France, July 8-10, 2024., PAGES: 434-441
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP22
TITLE: Early Findings in Using LLMs to Assess Semantic Relations Strength (Short Paper)
AUTHORS: André Fernandes dos Santos; José Paulo Leal ;
PUBLISHED: 2024, SOURCE: 13th Symposium on Languages, Applications and Technologies, SLATE 2024, July 4-5, 2024, Águeda, Portugal, VOLUME: 120, PAGES: 4:1-4:9
AUTHORS: André Fernandes dos Santos; José Paulo Leal ;
PUBLISHED: 2024, SOURCE: 13th Symposium on Languages, Applications and Technologies, SLATE 2024, July 4-5, 2024, Águeda, Portugal, VOLUME: 120, PAGES: 4:1-4:9
INDEXED IN: DBLP
DBLP23
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
24
TITLE: Exercisify: An AI-Powered Statement Evaluator
AUTHORS: Ricardo Queirós ;
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: 19:1-19:6
AUTHORS: Ricardo Queirós ;
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: 19:1-19:6
INDEXED IN: Scopus DBLP
Scopus DBLP25
TITLE: Exploring HEIs Students' Perceptions of Artificial Intelligence on their Learning Process
AUTHORS: Lurdes Babo; Jorge P Mendonca; Ricardo Queiros ; Carla A Pinto; Mario Cruz; Daniela Mascarenhas;
PUBLISHED: 2024, SOURCE: 5th International Conference in Electronic Engineering, Information Technology and Education, EEITE 2024 in EEITE 2024 - Proceedings of 2024 5th International Conference in Electronic Engineering, Information Technology and Education, PAGES: 1-5
AUTHORS: Lurdes Babo; Jorge P Mendonca; Ricardo Queiros ; Carla A Pinto; Mario Cruz; Daniela Mascarenhas;
PUBLISHED: 2024, SOURCE: 5th International Conference in Electronic Engineering, Information Technology and Education, EEITE 2024 in EEITE 2024 - Proceedings of 2024 5th International Conference in Electronic Engineering, Information Technology and Education, PAGES: 1-5
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef26
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
DBLP27
TITLE: GAMAI, an AI-Powered Programming Exercise Gamifier Tool
AUTHORS: Montella, Raffaele; De Vita, Ciro Giuseppe; Mellone, Gennaro; Ciricillo, Tullio; Caramiello, Dario; Di Luccio, Diana; Kosta, Sokol; Damasevicius, Robertas; Maskeliunas, Rytis; Queiros, Ricardo ; Swacha, Jakub;
PUBLISHED: 2024, SOURCE: 25th International Conference on Artificial Intelligence in Education (AIED) in ARTIFICIAL INTELLIGENCE IN EDUCATION: POSTERS AND LATE BREAKING RESULTS, WORKSHOPS AND TUTORIALS, INDUSTRY AND INNOVATION TRACKS, PRACTITIONERS, DOCTORAL CONSORTIUM AND BLUE SKY, AIED 2024, PT I, VOLUME: 2150, PAGES: 485-493
AUTHORS: Montella, Raffaele; De Vita, Ciro Giuseppe; Mellone, Gennaro; Ciricillo, Tullio; Caramiello, Dario; Di Luccio, Diana; Kosta, Sokol; Damasevicius, Robertas; Maskeliunas, Rytis; Queiros, Ricardo ; Swacha, Jakub;
PUBLISHED: 2024, SOURCE: 25th International Conference on Artificial Intelligence in Education (AIED) in ARTIFICIAL INTELLIGENCE IN EDUCATION: POSTERS AND LATE BREAKING RESULTS, WORKSHOPS AND TUTORIALS, INDUSTRY AND INNOVATION TRACKS, PRACTITIONERS, DOCTORAL CONSORTIUM AND BLUE SKY, AIED 2024, PT I, VOLUME: 2150, PAGES: 485-493
28
TITLE: GERF - Gamified Educational Virtual Escape Room Framework for Innovative Micro-Learning and Adaptive Learning Experiences
AUTHORS: Ricardo Queirós ;
PUBLISHED: 2024, SOURCE: 3rd International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability, ARTIIS 2023 in Communications in Computer and Information Science, VOLUME: 1937 CCIS, PAGES: 140-148
AUTHORS: Ricardo Queirós ;
PUBLISHED: 2024, SOURCE: 3rd International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability, ARTIIS 2023 in Communications in Computer and Information Science, VOLUME: 1937 CCIS, PAGES: 140-148
INDEXED IN: Scopus CrossRef
Scopus CrossRef29
TITLE: HAL 9000: a Risk Manager for ITSs
AUTHORS: Tadeu Freitas ; Carlos Novo; João Soares; Inês Dutra ; Manuel E. Correia ; Behnam Shariati; Rolando Martins ;
PUBLISHED: 2024, SOURCE: 6th IEEE International Conference on Trust, Privacy and Security in Intelligent Systems, and Applications, TPS-ISA 2024 in 5th IEEE International Conference on Trust, Privacy and Security in Intelligent Systems and Applications, TPS-ISA 2023, Atlanta, GA, USA, November 1-4, 2023, PAGES: 322-331
AUTHORS: Tadeu Freitas ; Carlos Novo; João Soares; Inês Dutra ; Manuel E. Correia ; Behnam Shariati; Rolando Martins ;
PUBLISHED: 2024, SOURCE: 6th IEEE International Conference on Trust, Privacy and Security in Intelligent Systems, and Applications, TPS-ISA 2024 in 5th IEEE International Conference on Trust, Privacy and Security in Intelligent Systems and Applications, TPS-ISA 2023, Atlanta, GA, USA, November 1-4, 2023, PAGES: 322-331
30
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
31
TITLE: HEIs teachers' and students' current experience of AI introduction in teaching and learning
AUTHORS: Carla A Pinto ; Jorge P Mendonca; Lurdes Babo; Ricardo Queiros ; Mario Cruz; Daniela Mascarenhas;
PUBLISHED: 2024, SOURCE: 5th International Conference in Electronic Engineering, Information Technology and Education, EEITE 2024 in EEITE 2024 - Proceedings of 2024 5th International Conference in Electronic Engineering, Information Technology and Education, PAGES: 1-4
AUTHORS: Carla A Pinto ; Jorge P Mendonca; Lurdes Babo; Ricardo Queiros ; Mario Cruz; Daniela Mascarenhas;
PUBLISHED: 2024, SOURCE: 5th International Conference in Electronic Engineering, Information Technology and Education, EEITE 2024 in EEITE 2024 - Proceedings of 2024 5th International Conference in Electronic Engineering, Information Technology and Education, PAGES: 1-4
INDEXED IN: Scopus CrossRef
Scopus CrossRef32
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
33
TITLE: Leveraging Large Language Models to Support Authoring Gamified Programming Exercises
AUTHORS: Montella, Raffaele; De Vita, Ciro Giuseppe; Mellone, Gennaro; Ciricillo, Tullio; Caramiello, Dario; Di Luccio, Diana; Kosta, Sokol; Damasevicius, Robertas; Maskeliunas, Rytis; Queiros, Ricardo ; Swacha, Jakub;
PUBLISHED: 2024, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 14, ISSUE: 18, PAGES: 8344
AUTHORS: Montella, Raffaele; De Vita, Ciro Giuseppe; Mellone, Gennaro; Ciricillo, Tullio; Caramiello, Dario; Di Luccio, Diana; Kosta, Sokol; Damasevicius, Robertas; Maskeliunas, Rytis; Queiros, Ricardo ; Swacha, Jakub;
PUBLISHED: 2024, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 14, ISSUE: 18, PAGES: 8344
34
TITLE: Multilayer quantile graph for multivariate time series analysis and dimensionality reduction
AUTHORS: Silva, Vanessa Freitas ; Silva, Maria Eduarda ; Ribeiro, Pedro ; Silva, Fernando ;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL OF DATA SCIENCE AND ANALYTICS, VOLUME: abs/2311.11849
AUTHORS: Silva, Vanessa Freitas ; Silva, Maria Eduarda ; Ribeiro, Pedro ; Silva, Fernando ;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL OF DATA SCIENCE AND ANALYTICS, VOLUME: abs/2311.11849
35
TITLE: NAVIGATING THE SHIFTING LANDSCAPE OF TEACHER PROFESSIONALITY IN PORTUGUESE HIGHER EDUCATION: A CASE STUDY
AUTHORS: Mário Cruz; Daniela Mascarenhas; Ricardo Queirós ; Carla Pinto ;
PUBLISHED: 2024, SOURCE: EDULEARN Proceedings - EDULEARN24 Proceedings
AUTHORS: Mário Cruz; Daniela Mascarenhas; Ricardo Queirós ; Carla Pinto ;
PUBLISHED: 2024, SOURCE: EDULEARN Proceedings - EDULEARN24 Proceedings
INDEXED IN: CrossRef
CrossRef36
TITLE: On the Use of VGs for Feature Selection in Supervised Machine Learning - A Use Case to Detect Distributed DoS Attacks
AUTHORS: Lopes, Joao; Partida, Alberto; Pinto, Pedro ; Pinto, Antonio ;
PUBLISHED: 2024, SOURCE: 3rd International Conference on Optimization, Learning Algorithms and Applications (OL2A) in OPTIMIZATION, LEARNING ALGORITHMS AND APPLICATIONS, PT I, OL2A 2023, VOLUME: 1981, PAGES: 269-283
AUTHORS: Lopes, Joao; Partida, Alberto; Pinto, Pedro ; Pinto, Antonio ;
PUBLISHED: 2024, SOURCE: 3rd International Conference on Optimization, Learning Algorithms and Applications (OL2A) in OPTIMIZATION, LEARNING ALGORITHMS AND APPLICATIONS, PT I, OL2A 2023, VOLUME: 1981, PAGES: 269-283
37
TITLE: Privkit: A Toolkit of Privacy-Preserving Mechanisms for Heterogeneous Data Types
AUTHORS: Cunha, Mariana ; Duarte, Guilherme; Andrade, Ricardo; Mendes, Ricardo; Vilela, Joao P. ;
PUBLISHED: 2024, SOURCE: 14th ACM Conference on Data and Application Security and Privacy (ACM CODASPY) in PROCEEDINGS OF THE FOURTEENTH ACM CONFERENCE ON DATA AND APPLICATION SECURITY AND PRIVACY, CODASPY 2024, PAGES: 319-324
AUTHORS: Cunha, Mariana ; Duarte, Guilherme; Andrade, Ricardo; Mendes, Ricardo; Vilela, Joao P. ;
PUBLISHED: 2024, SOURCE: 14th ACM Conference on Data and Application Security and Privacy (ACM CODASPY) in PROCEEDINGS OF THE FOURTEENTH ACM CONFERENCE ON DATA AND APPLICATION SECURITY AND PRIVACY, CODASPY 2024, PAGES: 319-324
38
TITLE: Proceedings 13th International Workshop on Developments in Computational Models, DCM 2023, Rome, Italy, 2 July 2023
AUTHORS: Sandra Alves ; Ian Mackie;
PUBLISHED: 2024, SOURCE: DCM, VOLUME: 408
AUTHORS: Sandra Alves ; Ian Mackie;
PUBLISHED: 2024, SOURCE: DCM, VOLUME: 408
INDEXED IN: DBLP
DBLP39
TITLE: Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe 2024, Milan, Italy, 6 September 2024
AUTHORS: Sandra Alves ; Jesper Cockx;
PUBLISHED: 2024, SOURCE: TyDe@ICFP
AUTHORS: Sandra Alves ; Jesper Cockx;
PUBLISHED: 2024, SOURCE: TyDe@ICFP
INDEXED IN: DBLP
DBLP40
TITLE: Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus
AUTHORS: Filipe Marinho Rocha; Inês Dutra ; Vítor Santos Costa ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2405.06399
AUTHORS: Filipe Marinho Rocha; Inês Dutra ; Vítor Santos Costa ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2405.06399
INDEXED IN: DBLP
DBLP