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: 1285
43 Team MembersFilters -> Year: 2026
261
TITLE: EVL: a typed functional language for event processing
AUTHORS: Sandra Alves ; Maribel Fernández; Miguel Ramos ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2109.08960
AUTHORS: Sandra Alves ; Maribel Fernández; Miguel Ramos ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2109.08960
INDEXED IN: 
DBLP
DBLP262
TITLE: Experiments on PR-Based Gamification (Short Paper)
AUTHORS: Alberto Simões; Ricardo Queirós ;
PUBLISHED: 2021, SOURCE: 2nd International Computer Programming Education Conference, ICPEC 2021 in Second International Computer Programming Education Conference, ICPEC 2021, May 27-28, 2021, University of Minho, Braga, Portugal., VOLUME: 91, PAGES: 16:1-16:10
AUTHORS: Alberto Simões; Ricardo Queirós ;
PUBLISHED: 2021, SOURCE: 2nd International Computer Programming Education Conference, ICPEC 2021 in Second International Computer Programming Education Conference, ICPEC 2021, May 27-28, 2021, University of Minho, Braga, Portugal., VOLUME: 91, PAGES: 16:1-16:10
INDEXED IN: 
Scopus DBLP
Scopus DBLP263
TITLE: Exposing Manipulated Photos and Videos in Digital Forensics Analysis
AUTHORS: Ferreira, S; Antunes, M ; Correia, ME ;
PUBLISHED: 2021, SOURCE: JOURNAL OF IMAGING, VOLUME: 7, ISSUE: 7, PAGES: 102
AUTHORS: Ferreira, S; Antunes, M ; Correia, ME ;
PUBLISHED: 2021, SOURCE: JOURNAL OF IMAGING, VOLUME: 7, ISSUE: 7, PAGES: 102
264
TITLE: FGPE Gamification Service: A GraphQL Service to Gamify Online Education
AUTHORS: Paiva, JC ; Haraszczuk, A; Queirós, R ; Leal, JP ; Swacha, J; Kosta, S;
PUBLISHED: 2021, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2021 in TRENDS AND APPLICATIONS IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 4, VOLUME: 1368, PAGES: 480-489
AUTHORS: Paiva, JC ; Haraszczuk, A; Queirós, R ; Leal, JP ; Swacha, J; Kosta, S;
PUBLISHED: 2021, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2021 in TRENDS AND APPLICATIONS IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 4, VOLUME: 1368, PAGES: 480-489
265
TITLE: Flight Planning Optimization of Multiple UAVs for Internet of Things Full Text
AUTHORS: Rodrigues, L; Riker, A; Ribeiro, M ; Both, C; Sousa, F ; Moreira, W ; Cardoso, K; Oliveira Jr, Antonio; ;
PUBLISHED: 2021, SOURCE: SENSORS, VOLUME: 21, ISSUE: 22, PAGES: 7735
AUTHORS: Rodrigues, L; Riker, A; Ribeiro, M ; Both, C; Sousa, F ; Moreira, W ; Cardoso, K; Oliveira Jr, Antonio; ;
PUBLISHED: 2021, SOURCE: SENSORS, VOLUME: 21, ISSUE: 22, PAGES: 7735
266
TITLE: Forensic Analysis of Tampered Digital Photos
AUTHORS: Sara Ferreira; Mário Antunes ; Manuel Eduardo Correia ;
PUBLISHED: 2021, SOURCE: Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications - 25th Iberoamerican Congress, CIARP 2021, Porto, Portugal, May 10-13, 2021, Revised Selected Papers, VOLUME: 12702, PAGES: 461-470
AUTHORS: Sara Ferreira; Mário Antunes ; Manuel Eduardo Correia ;
PUBLISHED: 2021, SOURCE: Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications - 25th Iberoamerican Congress, CIARP 2021, Porto, Portugal, May 10-13, 2021, Revised Selected Papers, VOLUME: 12702, PAGES: 461-470
267
TITLE: Hardening cryptographic operations through the use of secure enclaves Full Text
AUTHORS: Brandao, A ; Resende, JS ; Martins, R ;
PUBLISHED: 2021, SOURCE: COMPUTERS & SECURITY, VOLUME: 108, PAGES: 102327
AUTHORS: Brandao, A ; Resende, JS ; Martins, R ;
PUBLISHED: 2021, SOURCE: COMPUTERS & SECURITY, VOLUME: 108, PAGES: 102327
268
TITLE: Information Security and Cybersecurity Management: A Case Study with SMEs in Portugal
AUTHORS: Antunes, M ; Maximiano, M ; Ricardo Gomes ; Pinto, D;
PUBLISHED: 2021, SOURCE: JOURNAL OF CYBERSECURITY AND PRIVACY, VOLUME: 1, ISSUE: 2, PAGES: 219-238
AUTHORS: Antunes, M ; Maximiano, M ; Ricardo Gomes ; Pinto, D;
PUBLISHED: 2021, SOURCE: JOURNAL OF CYBERSECURITY AND PRIVACY, VOLUME: 1, ISSUE: 2, PAGES: 219-238
269
TITLE: Keyed Polar Coding for Physical-Layer Security without Channel State Information
AUTHORS: Pinto, TMS; Vilela, JP ; Gomes, MAC; Harrison, WK;
PUBLISHED: 2021, SOURCE: IEEE International Conference on Communications (ICC) in IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC 2021)
AUTHORS: Pinto, TMS; Vilela, JP ; Gomes, MAC; Harrison, WK;
PUBLISHED: 2021, SOURCE: IEEE International Conference on Communications (ICC) in IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC 2021)
271
TITLE: Matching User Interfaces to Assess Simple Web Applications (Short Paper)
AUTHORS: Marco Primo; José Paulo Leal ;
PUBLISHED: 2021, SOURCE: 2nd International Computer Programming Education Conference, ICPEC 2021 in Second International Computer Programming Education Conference, ICPEC 2021, May 27-28, 2021, University of Minho, Braga, Portugal., VOLUME: 91, PAGES: 7:1-7:6
AUTHORS: Marco Primo; José Paulo Leal ;
PUBLISHED: 2021, SOURCE: 2nd International Computer Programming Education Conference, ICPEC 2021 in Second International Computer Programming Education Conference, ICPEC 2021, May 27-28, 2021, University of Minho, Braga, Portugal., VOLUME: 91, PAGES: 7:1-7:6
INDEXED IN: Scopus DBLP
Scopus DBLP272
TITLE: Mooshak's Diet Update: Introducing YAPExIL Format to Mooshak (Short Paper)
AUTHORS: José Carlos Paiva ; Ricardo Queirós ; José Paulo Leal ;
PUBLISHED: 2021, SOURCE: 10th Symposium on Languages, Applications and Technologies, SLATE 2021 in 10th Symposium on Languages, Applications and Technologies, SLATE 2021, July 1-2, 2021, Vila do Conde/Póvoa de Varzim, Portugal., VOLUME: 94, PAGES: 9:1-9:7
AUTHORS: José Carlos Paiva ; Ricardo Queirós ; José Paulo Leal ;
PUBLISHED: 2021, SOURCE: 10th Symposium on Languages, Applications and Technologies, SLATE 2021 in 10th Symposium on Languages, Applications and Technologies, SLATE 2021, July 1-2, 2021, Vila do Conde/Póvoa de Varzim, Portugal., VOLUME: 94, PAGES: 9:1-9:7
INDEXED IN: Scopus DBLP
Scopus DBLP273
TITLE: NeuralLog: a Neural Logic Language
AUTHORS: Victor Guimarães; Vítor Santos Costa ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2105.01442
AUTHORS: Victor Guimarães; Vítor Santos Costa ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2105.01442
INDEXED IN: DBLP
DBLP274
TITLE: Non-linear Methods Predominant in Fetal Heart Rate Analysis: A Systematic Review
AUTHORS: Ribeiro, M ; Monteiro Santos, J; Castro, L ; Antunes, L ; Costa Santos, C ; Teixeira, A ; Henriques, TS ;
PUBLISHED: 2021, SOURCE: FRONTIERS IN MEDICINE, VOLUME: 8
AUTHORS: Ribeiro, M ; Monteiro Santos, J; Castro, L ; Antunes, L ; Costa Santos, C ; Teixeira, A ; Henriques, TS ;
PUBLISHED: 2021, SOURCE: FRONTIERS IN MEDICINE, VOLUME: 8
275
TITLE: On the correctness and efficiency of a novel lock-free hash trie map design
AUTHORS: Miguel Areias ; Rocha, R ;
PUBLISHED: 2021, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 150, PAGES: 184-195
AUTHORS: Miguel Areias ; Rocha, R ;
PUBLISHED: 2021, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 150, PAGES: 184-195
276
TITLE: On the implementation of memory reclamation methods in a lock-free hash trie design Full Text
AUTHORS: Moreno, P ; Miguel Areias ; Rocha, R ;
PUBLISHED: 2021, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 155, PAGES: 1-13
AUTHORS: Moreno, P ; Miguel Areias ; Rocha, R ;
PUBLISHED: 2021, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 155, PAGES: 1-13
277
TITLE: On the Secure Spectral Efficiency of URLLC With Randomly Located Colluding Eavesdroppers
AUTHORS: Farhat, J; Brante, G; Souza, RD; Vilela, JP ;
PUBLISHED: 2021, SOURCE: IEEE INTERNET OF THINGS JOURNAL, VOLUME: 8, ISSUE: 19, PAGES: 14672-14682
AUTHORS: Farhat, J; Brante, G; Souza, RD; Vilela, JP ;
PUBLISHED: 2021, SOURCE: IEEE INTERNET OF THINGS JOURNAL, VOLUME: 8, ISSUE: 19, PAGES: 14672-14682
278
TITLE: Online Learning of Logic Based Neural Network Structures
AUTHORS: Victor Guimarães; Vítor Santos Costa ;
PUBLISHED: 2021, SOURCE: Inductive Logic Programming - 30th International Conference, ILP 2021, Virtual Event, October 25-27, 2021, Proceedings, VOLUME: 13191, PAGES: 140-155
AUTHORS: Victor Guimarães; Vítor Santos Costa ;
PUBLISHED: 2021, SOURCE: Inductive Logic Programming - 30th International Conference, ILP 2021, Virtual Event, October 25-27, 2021, Proceedings, VOLUME: 13191, PAGES: 140-155
INDEXED IN: DBLP
DBLP279
TITLE: Open source collection of gamified programming exercises
AUTHORS: Swacha, J; Naprawski, T; Queirós, R; Paiva, JC; Leal, JP ; de Vita, CG; Mellone, G; Montella, R; Ljubenkov, D; Kosta, S;
PUBLISHED: 2021, SOURCE: 37th Information Systems Education Conference, ISECON 2021 in Proceedings of the Information Systems Education Conference, ISECON, VOLUME: 2021-October, PAGES: 120-123
AUTHORS: Swacha, J; Naprawski, T; Queirós, R; Paiva, JC; Leal, JP ; de Vita, CG; Mellone, G; Montella, R; Ljubenkov, D; Kosta, S;
PUBLISHED: 2021, SOURCE: 37th Information Systems Education Conference, ISECON 2021 in Proceedings of the Information Systems Education Conference, ISECON, VOLUME: 2021-October, PAGES: 120-123
INDEXED IN: Scopus
Scopus280
TITLE: Performance analysis of AES encryption operation modes for IoT devices
AUTHORS: Dias Serra, Luis Filipe; Baptista Goncalves, Pedro Goncalo; Lopes Frazalo, Luis Alexandre; Goncalves Antunes, Mario Joao ;
PUBLISHED: 2021, SOURCE: 16th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF 2021 16TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI'2021)
AUTHORS: Dias Serra, Luis Filipe; Baptista Goncalves, Pedro Goncalo; Lopes Frazalo, Luis Alexandre; Goncalves Antunes, Mario Joao ;
PUBLISHED: 2021, SOURCE: 16th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF 2021 16TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI'2021)
