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: 1094
37 Team MembersFilters -> Year: 2024
21
TITLE: Uncovering Manipulated Files Using Mathematical Natural Laws
AUTHORS: Fernandes, Pedro; Ciardhuain, Seamus O.; Antunes, Mario ;
PUBLISHED: 2024, SOURCE: 26th Iberoamerican Congress on Pattern Recognition (CIARP) in PROGRESS IN PATTERN RECOGNITION, IMAGE ANALYSIS, COMPUTER VISION, AND APPLICATIONS, CIARP 2023, PT I, VOLUME: 14469, PAGES: 46-62
AUTHORS: Fernandes, Pedro; Ciardhuain, Seamus O.; Antunes, Mario ;
PUBLISHED: 2024, SOURCE: 26th Iberoamerican Congress on Pattern Recognition (CIARP) in PROGRESS IN PATTERN RECOGNITION, IMAGE ANALYSIS, COMPUTER VISION, AND APPLICATIONS, CIARP 2023, PT I, VOLUME: 14469, PAGES: 46-62
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP22
TITLE: Work in progress: Leveraging Virtual Escape Rooms for Innovative Computer Programming Learning Environments
AUTHORS: Queiros, Ricardo ; Pinto, Carla M. A.; Cruz, Mario;
PUBLISHED: 2024, SOURCE: IEEE World Engineering Education Conference (EDUNINE) in VIII IEEE WORLD ENGINEERING EDUCATION CONFERENCE, EDUNINE 2024
AUTHORS: Queiros, Ricardo ; Pinto, Carla M. A.; Cruz, Mario;
PUBLISHED: 2024, SOURCE: IEEE World Engineering Education Conference (EDUNINE) in VIII IEEE WORLD ENGINEERING EDUCATION CONFERENCE, EDUNINE 2024
23
TITLE: Yet Another Lock-Free Atom Table Design for Scalable Symbol Management in Prolog Full Text
AUTHORS: Moreno, Pedro; Areias, Miguel ; Rocha, Ricardo ; Costa, Vitor Santos ;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, VOLUME: 52, ISSUE: 3, PAGES: 187-206
AUTHORS: Moreno, Pedro; Areias, Miguel ; Rocha, Ricardo ; Costa, Vitor Santos ;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, VOLUME: 52, ISSUE: 3, PAGES: 187-206
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP24
TITLE: 4th International Computer Programming Education Conference, ICPEC 2023, June 26-28, 2023, Vila do Conde, Portugal
AUTHORS: Ricardo Alexandre Peixoto de Queirós ; Mario Paulo Teixeira Pinto;
PUBLISHED: 2023, SOURCE: ICPEC, VOLUME: 112
AUTHORS: Ricardo Alexandre Peixoto de Queirós ; Mario Paulo Teixeira Pinto;
PUBLISHED: 2023, SOURCE: ICPEC, VOLUME: 112
INDEXED IN: DBLP
DBLP25
TITLE: A Game with a Purpose for Building Crowdsourced Semantic Relations Datasets for Named Entities
AUTHORS: André Fernandes dos Santos ; José Paulo Leal ;
PUBLISHED: 2023, SOURCE: Proceedings of the Computing Conference 2023 in Lecture Notes in Networks and Systems, VOLUME: 739 LNNS, PAGES: 422-439
AUTHORS: André Fernandes dos Santos ; José Paulo Leal ;
PUBLISHED: 2023, SOURCE: Proceedings of the Computing Conference 2023 in Lecture Notes in Networks and Systems, VOLUME: 739 LNNS, PAGES: 422-439
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef26
TITLE: A Gamified Educational Escape Rooms' Framework for Computer Programming Classes (Short Paper)
AUTHORS: Ricardo Queirós ; Carla M A Pinto ; Mário Cruz; Daniela Mascarenhas;
PUBLISHED: 2023, SOURCE: 4th International Computer Programming Education Conference, ICPEC 2023 in 4th International Computer Programming Education Conference, ICPEC 2023, June 26-28, 2023, Vila do Conde, Portugal, VOLUME: 112, PAGES: 6:1-6:8
AUTHORS: Ricardo Queirós ; Carla M A Pinto ; Mário Cruz; Daniela Mascarenhas;
PUBLISHED: 2023, SOURCE: 4th International Computer Programming Education Conference, ICPEC 2023 in 4th International Computer Programming Education Conference, ICPEC 2023, June 26-28, 2023, Vila do Conde, Portugal, VOLUME: 112, PAGES: 6:1-6:8
INDEXED IN: Scopus DBLP
Scopus DBLP27
TITLE: A Survey and Risk Assessment on Virtual and Augmented Reality Cyberattacks
AUTHORS: Tânia Silva; Sara Paiva; Pedro Pinto ; António Pinto ;
PUBLISHED: 2023, SOURCE: 30th International Conference on Systems, Signals and Image Processing, IWSSIP 2023 in 30th International Conference on Systems, Signals and Image Processing, IWSSIP 2023, Ohrid, North Macedonia, June 27-29, 2023, VOLUME: 2023-June, PAGES: 1-5
AUTHORS: Tânia Silva; Sara Paiva; Pedro Pinto ; António Pinto ;
PUBLISHED: 2023, SOURCE: 30th International Conference on Systems, Signals and Image Processing, IWSSIP 2023 in 30th International Conference on Systems, Signals and Image Processing, IWSSIP 2023, Ohrid, North Macedonia, June 27-29, 2023, VOLUME: 2023-June, PAGES: 1-5
28
TITLE: Automated Assessment of Simple Web Applications (Short Paper)
AUTHORS: Luís Maia Costa; José Paulo Leal ; Ricardo Queirós ;
PUBLISHED: 2023, SOURCE: 4th International Computer Programming Education Conference, ICPEC 2023 in 4th International Computer Programming Education Conference, ICPEC 2023, June 26-28, 2023, Vila do Conde, Portugal, VOLUME: 112, PAGES: 11:1-11:8
AUTHORS: Luís Maia Costa; José Paulo Leal ; Ricardo Queirós ;
PUBLISHED: 2023, SOURCE: 4th International Computer Programming Education Conference, ICPEC 2023 in 4th International Computer Programming Education Conference, ICPEC 2023, June 26-28, 2023, Vila do Conde, Portugal, VOLUME: 112, PAGES: 11:1-11:8
INDEXED IN: Scopus DBLP
Scopus DBLP29
TITLE: Benford's law applied to digital forensic analysis
AUTHORS: Fernandes, Pedro; Antunes, Mario ;
PUBLISHED: 2023, SOURCE: FORENSIC SCIENCE INTERNATIONAL-DIGITAL INVESTIGATION, VOLUME: 45, PAGES: 301515
AUTHORS: Fernandes, Pedro; Antunes, Mario ;
PUBLISHED: 2023, SOURCE: FORENSIC SCIENCE INTERNATIONAL-DIGITAL INVESTIGATION, VOLUME: 45, PAGES: 301515
30
TITLE: Bibliometric Analysis of Automated Assessment in Programming Education: A Deeper Insight into Feedback Full Text
AUTHORS: Paiva, Jose Carlos ; Figueira, Alvaro ; Leal, Jose Paulo ;
PUBLISHED: 2023, SOURCE: ELECTRONICS, VOLUME: 12, ISSUE: 10, PAGES: 2254
AUTHORS: Paiva, Jose Carlos ; Figueira, Alvaro ; Leal, Jose Paulo ;
PUBLISHED: 2023, SOURCE: ELECTRONICS, VOLUME: 12, ISSUE: 10, PAGES: 2254
31
TITLE: Boosting additive circular economy ecosystems using blockchain: An exploratory case study Full Text
AUTHORS: Ferreira, Ines A.; Godina, Radu; Pinto, Antonio ; Pinto, Pedro ; Carvalho, Helena;
PUBLISHED: 2023, SOURCE: COMPUTERS & INDUSTRIAL ENGINEERING, VOLUME: 175, PAGES: 108916
AUTHORS: Ferreira, Ines A.; Godina, Radu; Pinto, Antonio ; Pinto, Pedro ; Carvalho, Helena;
PUBLISHED: 2023, SOURCE: COMPUTERS & INDUSTRIAL ENGINEERING, VOLUME: 175, PAGES: 108916
32
TITLE: Calcium-dependent subquantal peptide release from single docked lawn-resident vesicles of pituitary lactotrophs
AUTHORS: Goncalves, Paula P.; Stenovec, Matjaz; Gracio, Luciano ; Kreft, Marko; Zorec, Robert;
PUBLISHED: 2023, SOURCE: CELL CALCIUM, VOLUME: 109
AUTHORS: Goncalves, Paula P.; Stenovec, Matjaz; Gracio, Luciano ; Kreft, Marko; Zorec, Robert;
PUBLISHED: 2023, SOURCE: CELL CALCIUM, VOLUME: 109
INDEXED IN: WOS
WOS33
TITLE: Can a Content Management System Provide a Good User Experience to Teachers? (Short Paper)
AUTHORS: Yannik Bauer; José Paulo Leal ; Ricardo Queirós ;
PUBLISHED: 2023, SOURCE: 4th International Computer Programming Education Conference, ICPEC 2023 in 4th International Computer Programming Education Conference, ICPEC 2023, June 26-28, 2023, Vila do Conde, Portugal, VOLUME: 112, PAGES: 4:1-4:8
AUTHORS: Yannik Bauer; José Paulo Leal ; Ricardo Queirós ;
PUBLISHED: 2023, SOURCE: 4th International Computer Programming Education Conference, ICPEC 2023 in 4th International Computer Programming Education Conference, ICPEC 2023, June 26-28, 2023, Vila do Conde, Portugal, VOLUME: 112, PAGES: 4:1-4:8
INDEXED IN: Scopus DBLP
Scopus DBLP34
TITLE: Creating a culture of innovation: The case of the pedagogical innovation center at the Polytechnic of Porto. The Case of the Pedagogical Innovation Center at the Polytechnic of Porto
AUTHORS: Ricardo Alexandre Peixoto de Queiros ; Mário Cruz; Carla Pinto ; Daniela Mascarenhas;
PUBLISHED: 2023, SOURCE: Fostering Pedagogy Through Micro and Adaptive Learning in Higher Education: Trends, Tools, and Applications, PAGES: 79-91
AUTHORS: Ricardo Alexandre Peixoto de Queiros ; Mário Cruz; Carla Pinto ; Daniela Mascarenhas;
PUBLISHED: 2023, SOURCE: Fostering Pedagogy Through Micro and Adaptive Learning in Higher Education: Trends, Tools, and Applications, PAGES: 79-91
INDEXED IN: Scopus CrossRef
Scopus CrossRef35
TITLE: Deterministic or probabilistic?- A survey on Byzantine fault tolerant state machine replication Full Text
AUTHORS: Freitas, Tadeu ; Soares, Joao ; Manuel E. Correia ; Rolando Martins ;
PUBLISHED: 2023, SOURCE: COMPUTERS & SECURITY, VOLUME: 129, PAGES: 103200
AUTHORS: Freitas, Tadeu ; Soares, Joao ; Manuel E. Correia ; Rolando Martins ;
PUBLISHED: 2023, SOURCE: COMPUTERS & SECURITY, VOLUME: 129, PAGES: 103200
36
TITLE: Evaluation of Regularization Techniques for Transformers-Based Models
AUTHORS: Hugo S Oliveira ; Pedro P Ribeiro ; Hélder P Oliveira ;
PUBLISHED: 2023, SOURCE: 11th Iberian Conference on Pattern Recognition and Image Analysis, IbPRIA 2023 in Pattern Recognition and Image Analysis - 11th Iberian Conference, IbPRIA 2023, Alicante, Spain, June 27-30, 2023, Proceedings, VOLUME: 14062, PAGES: 312-319
AUTHORS: Hugo S Oliveira ; Pedro P Ribeiro ; Hélder P Oliveira ;
PUBLISHED: 2023, SOURCE: 11th Iberian Conference on Pattern Recognition and Image Analysis, IbPRIA 2023 in Pattern Recognition and Image Analysis - 11th Iberian Conference, IbPRIA 2023, Alicante, Spain, June 27-30, 2023, Proceedings, VOLUME: 14062, PAGES: 312-319
37
TITLE: FGPE+: The Mobile FGPE Environment and the Pareto-Optimized Gamified Programming Exercise Selection Model-An Empirical Evaluation
AUTHORS: Maskeliunas, Rytis; Damasevicius, Robertas; Blazauskas, Tomas; Swacha, Jakub; Queiros, Ricardo ; Paiva, Jose Carlos ;
PUBLISHED: 2023, SOURCE: COMPUTERS, VOLUME: 12, ISSUE: 7, PAGES: 144
AUTHORS: Maskeliunas, Rytis; Damasevicius, Robertas; Blazauskas, Tomas; Swacha, Jakub; Queiros, Ricardo ; Paiva, Jose Carlos ;
PUBLISHED: 2023, SOURCE: COMPUTERS, VOLUME: 12, ISSUE: 7, PAGES: 144
38
TITLE: Fostering pedagogy through micro and adaptive learning in higher education: Trends, tools, and applications. Trends, Tools, and Applications
AUTHORS: Ricardo Queirós ; Mario Cruz; Carla Pinto ; Daniela Mascarenhas;
PUBLISHED: 2023, SOURCE: Fostering Pedagogy Through Micro and Adaptive Learning in Higher Education: Trends, Tools, and Applications, PAGES: 1-376
AUTHORS: Ricardo Queirós ; Mario Cruz; Carla Pinto ; Daniela Mascarenhas;
PUBLISHED: 2023, SOURCE: Fostering Pedagogy Through Micro and Adaptive Learning in Higher Education: Trends, Tools, and Applications, PAGES: 1-376
39
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
40
TITLE: GATUGU: Six Perspectives of Evaluation of Gamified Systems Full Text
AUTHORS: Swacha, Jakub; Queiros, Ricardo ; Paiva, Jose Carlos ;
PUBLISHED: 2023, SOURCE: INFORMATION, VOLUME: 14, ISSUE: 2, PAGES: 136
AUTHORS: Swacha, Jakub; Queiros, Ricardo ; Paiva, Jose Carlos ;
PUBLISHED: 2023, SOURCE: INFORMATION, VOLUME: 14, ISSUE: 2, PAGES: 136
