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: 1276
43 Team MembersFilters -> Year: 2026
101
TITLE: Utility Function for Assessing the Cost of Recovering from Ransomware Attacks
AUTHORS: Pinto, Luis; Pinto, Pedro ; Pinto, Antonio ;
PUBLISHED: 2024, SOURCE: 4th International Conference on Optimization Learning Algorithms and Applications in OPTIMIZATION, LEARNING ALGORITHMS AND APPLICATIONS, OL2A 2024, PT II, VOLUME: 2281, PAGES: 198-210
AUTHORS: Pinto, Luis; Pinto, Pedro ; Pinto, Antonio ;
PUBLISHED: 2024, SOURCE: 4th International Conference on Optimization Learning Algorithms and Applications in OPTIMIZATION, LEARNING ALGORITHMS AND APPLICATIONS, OL2A 2024, PT II, VOLUME: 2281, PAGES: 198-210
102
TITLE: WiFi-based Person Identification Through Motion Analysis
AUTHORS: Martins, Oscar ; Vilela, Joao P. ; Gomes, Marco;
PUBLISHED: 2024, SOURCE: IEEE International Mediterranean Conference on Communications and Networking (IEEE MeditCom) in 2024 IEEE INTERNATIONAL MEDITERRANEAN CONFERENCE ON COMMUNICATIONS AND NETWORKING, MEDITCOM 2024, PAGES: 209-214
AUTHORS: Martins, Oscar ; Vilela, Joao P. ; Gomes, Marco;
PUBLISHED: 2024, SOURCE: IEEE International Mediterranean Conference on Communications and Networking (IEEE MeditCom) in 2024 IEEE INTERNATIONAL MEDITERRANEAN CONFERENCE ON COMMUNICATIONS AND NETWORKING, MEDITCOM 2024, PAGES: 209-214
103
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
104
TITLE: Yet Another Lock-Free Atom Table Design for Scalable Symbol Management in Prolog
AUTHORS: Moreno, Pedro ; Miguel Areias ; Rocha, Ricardo ; Costa, Vitor Santos ;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, VOLUME: 52, ISSUE: 3, PAGES: 187-206
AUTHORS: Moreno, Pedro ; Miguel Areias ; Rocha, Ricardo ; Costa, Vitor Santos ;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, VOLUME: 52, ISSUE: 3, PAGES: 187-206
105
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
106
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
CrossRef107
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: ICPEC, VOLUME: 112, PAGES: 6:1-6:8
AUTHORS: Ricardo Queirós ; Carla M A Pinto ; Mário Cruz; Daniela Mascarenhas;
PUBLISHED: 2023, SOURCE: ICPEC, VOLUME: 112, PAGES: 6:1-6:8
INDEXED IN:
Scopus
DBLP
108
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: IWSSIP, VOLUME: 2023-June, PAGES: 1-5
AUTHORS: Tânia Silva; Sara Paiva ; Pedro Pinto ; António Pinto ;
PUBLISHED: 2023, SOURCE: IWSSIP, VOLUME: 2023-June, PAGES: 1-5
109
TITLE: An Expressive Model for the Specification and Analysis of Obligations
AUTHORS: Maribel Fernandez; Sandra Alves ;
PUBLISHED: 2023
AUTHORS: Maribel Fernandez; Sandra Alves ;
PUBLISHED: 2023
INDEXED IN:
CrossRef
CrossRef110
TITLE: An Online Anomaly Detection Approach for Fault Detection on Fire Alarm Systems
AUTHORS: Tome, Emanuel Sousa; Ribeiro, Rita P. P. ; Dutra, Ines ; Rodrigues, Arlete;
PUBLISHED: 2023, SOURCE: SENSORS, VOLUME: 23, ISSUE: 10, PAGES: 4902
AUTHORS: Tome, Emanuel Sousa; Ribeiro, Rita P. P. ; Dutra, Ines ; Rodrigues, Arlete;
PUBLISHED: 2023, SOURCE: SENSORS, VOLUME: 23, ISSUE: 10, PAGES: 4902
111
TITLE: Automated Assessment in Computer Science: A Bibliometric Analysis of the Literature
AUTHORS: Paiva, Jose Carlos ; Figueira, Alvaro ; Leal, Jose Paulo ;
PUBLISHED: 2023, SOURCE: 21st International Conference on Web-Based Learning / 7th International Symposium on Emerging Technologies for Education (ICWL/SETE) in LEARNING TECHNOLOGIES AND SYSTEMS, ICWL 2022, SETE 2022, VOLUME: 13869, PAGES: 122-134
AUTHORS: Paiva, Jose Carlos ; Figueira, Alvaro ; Leal, Jose Paulo ;
PUBLISHED: 2023, SOURCE: 21st International Conference on Web-Based Learning / 7th International Symposium on Emerging Technologies for Education (ICWL/SETE) in LEARNING TECHNOLOGIES AND SYSTEMS, ICWL 2022, SETE 2022, VOLUME: 13869, PAGES: 122-134
112
TITLE: Automated Assessment of Simple Web Applications (Short Paper)
AUTHORS: Luís Maia Costa; José Paulo Leal ; Ricardo Queirós ;
PUBLISHED: 2023, SOURCE: ICPEC, VOLUME: 112, PAGES: 11:1-11:8
AUTHORS: Luís Maia Costa; José Paulo Leal ; Ricardo Queirós ;
PUBLISHED: 2023, SOURCE: ICPEC, VOLUME: 112, PAGES: 11:1-11:8
INDEXED IN:
Scopus
DBLP
113
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
114
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
115
TITLE: Boosting additive circular economy ecosystems using blockchain: An exploratory case study
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
116
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
117
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: ICPEC, VOLUME: 112, PAGES: 4:1-4:8
AUTHORS: Yannik Bauer ; José Paulo Leal ; Ricardo Queirós ;
PUBLISHED: 2023, SOURCE: ICPEC, VOLUME: 112, PAGES: 4:1-4:8
INDEXED IN:
Scopus
DBLP
118
TITLE: Collecting, Processing and Secondary Using Personal and (Pseudo)Anonymized Data in Smart Cities
AUTHORS: Sampaio, Silvio; Sousa, Patricia R. ; Martins, Cristina; Ferreira, Ana ; Antunes, Luis ; Cruz Correia, Ricardo ;
PUBLISHED: 2023, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 13, ISSUE: 6, PAGES: 3830
AUTHORS: Sampaio, Silvio; Sousa, Patricia R. ; Martins, Cristina; Ferreira, Ana ; Antunes, Luis ; Cruz Correia, Ricardo ;
PUBLISHED: 2023, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 13, ISSUE: 6, PAGES: 3830
119
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
CrossRef120
TITLE: Data and Knowledge for Overtaking Scenarios in Autonomous Driving
AUTHORS: Mariana Pinto; Inês Dutra ; Joaquim Fonseca;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2305.19421
AUTHORS: Mariana Pinto; Inês Dutra ; Joaquim Fonseca;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2305.19421
INDEXED IN:
DBLP