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: 1142
37 Team MembersFilters -> Year: 2025
321
TITLE: Memory Reclamation Methods for Lock-Free Hash Tries Full Text
AUTHORS: Pedro Moreno ; Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2019, SOURCE: 31st International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) in 2019 31ST INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING (SBAC-PAD 2019), VOLUME: 2019-October, PAGES: 188-195
AUTHORS: Pedro Moreno ; Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2019, SOURCE: 31st International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) in 2019 31ST INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING (SBAC-PAD 2019), VOLUME: 2019-October, PAGES: 188-195
322
TITLE: Multi-dimensional lock-free arrays for multithreaded mode-directed tabling in Prolog. Multi-Dimensional Lock-Free Arrays for Multithreaded Mode-Directed Tabling in Prolog Full Text
AUTHORS: Miguel Areias ; Rocha, R ;
PUBLISHED: 2019, SOURCE: 10th International Symposium on High-Level Parallel Programming and Applications (HLPP) in CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 31, ISSUE: 5
AUTHORS: Miguel Areias ; Rocha, R ;
PUBLISHED: 2019, SOURCE: 10th International Symposium on High-Level Parallel Programming and Applications (HLPP) in CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 31, ISSUE: 5
323
TITLE: Ncryptr: a symmetric and asymmetric encryption application
AUTHORS: Goncalo Ribeiro; Marin Grabovschi; Mario Antunes ; Luis Frazao;
PUBLISHED: 2019, SOURCE: 14th Iberian Conference on Information Systems and Technologies (CISTI) in 2019 14TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2019-June
AUTHORS: Goncalo Ribeiro; Marin Grabovschi; Mario Antunes ; Luis Frazao;
PUBLISHED: 2019, SOURCE: 14th Iberian Conference on Information Systems and Technologies (CISTI) in 2019 14TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2019-June
324
TITLE: On the Development of a Model to Prevent Failures, Built from Interactions with Moodle
AUTHORS: Bruno Cabral; Alvaro Figueira ;
PUBLISHED: 2019, SOURCE: 18th Annual International Conference on Web-Based Learning (ICWL) in ADVANCES IN WEB-BASED LEARNING - ICWL 2019, VOLUME: 11841, PAGES: 352-356
AUTHORS: Bruno Cabral; Alvaro Figueira ;
PUBLISHED: 2019, SOURCE: 18th Annual International Conference on Web-Based Learning (ICWL) in ADVANCES IN WEB-BASED LEARNING - ICWL 2019, VOLUME: 11841, PAGES: 352-356
325
TITLE: Performance of Hash Functions in Blockchain Applied to IoT Devices
AUTHORS: Jessica Ferreira; Mykyta Zhygulskyy; Mario Antunes ; Luis Frazao;
PUBLISHED: 2019, SOURCE: 14th Iberian Conference on Information Systems and Technologies (CISTI) in 2019 14TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2019-June
AUTHORS: Jessica Ferreira; Mykyta Zhygulskyy; Mario Antunes ; Luis Frazao;
PUBLISHED: 2019, SOURCE: 14th Iberian Conference on Information Systems and Technologies (CISTI) in 2019 14TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2019-June
326
TITLE: Polar coding for physical-layer security without knowledge of the eavesdropper's channel Full Text
AUTHORS: Pinto, T; Gomes, M; Vilela, JP ; Harrison, WK;
PUBLISHED: 2019, SOURCE: 89th IEEE Vehicular Technology Conference, VTC Spring 2019 in IEEE Vehicular Technology Conference, VOLUME: 2019-April
AUTHORS: Pinto, T; Gomes, M; Vilela, JP ; Harrison, WK;
PUBLISHED: 2019, SOURCE: 89th IEEE Vehicular Technology Conference, VTC Spring 2019 in IEEE Vehicular Technology Conference, VOLUME: 2019-April
327
TITLE: Polar Coding for Physical-layer Security without Knowledge of the Eavesdropper's Channel
AUTHORS: Thyago Monteiro; Marco Gomes; Joao P Vilela ; Willie K Harrison;
PUBLISHED: 2019, SOURCE: 89th IEEE Vehicular Technology Conference (VTC Spring) in 2019 IEEE 89TH VEHICULAR TECHNOLOGY CONFERENCE (VTC2019-SPRING)
AUTHORS: Thyago Monteiro; Marco Gomes; Joao P Vilela ; Willie K Harrison;
PUBLISHED: 2019, SOURCE: 89th IEEE Vehicular Technology Conference (VTC Spring) in 2019 IEEE 89TH VEHICULAR TECHNOLOGY CONFERENCE (VTC2019-SPRING)
INDEXED IN: 
WOS
WOS328
TITLE: Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types
AUTHORS: Sandra Alves ; Sabine Broda ;
PUBLISHED: 2019, SOURCE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344, PAGES: 25-45
AUTHORS: Sandra Alves ; Sabine Broda ;
PUBLISHED: 2019, SOURCE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344, PAGES: 25-45
329
TITLE: Preface
AUTHORS: Paulo Novais ; Jung, JJ; Villarrubia, G; Fernández Caballero, A; Navarro, E; González, P; Carneiro, D ; Pinto, A ; Campbell, AT; Duraes, D ;
PUBLISHED: 2019, SOURCE: 9th International Symposium on Ambient Intelligence, ISAmI 2018 in Advances in Intelligent Systems and Computing, VOLUME: 806
AUTHORS: Paulo Novais ; Jung, JJ; Villarrubia, G; Fernández Caballero, A; Navarro, E; González, P; Carneiro, D ; Pinto, A ; Campbell, AT; Duraes, D ;
PUBLISHED: 2019, SOURCE: 9th International Symposium on Ambient Intelligence, ISAmI 2018 in Advances in Intelligent Systems and Computing, VOLUME: 806
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef330
TITLE: Preventing Failures by Predicting Students' Grades through an Analysis of Logged Data of Online Interactions
AUTHORS: Cabral, B; Figueira, A ;
PUBLISHED: 2019, SOURCE: 11th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2019 in KDIR: PROCEEDINGS OF THE 11TH INTERNATIONAL JOINT CONFERENCE ON KNOWLEDGE DISCOVERY, KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT - VOL 1: KDIR, VOLUME: 1, PAGES: 491-499
AUTHORS: Cabral, B; Figueira, A ;
PUBLISHED: 2019, SOURCE: 11th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2019 in KDIR: PROCEEDINGS OF THE 11TH INTERNATIONAL JOINT CONFERENCE ON KNOWLEDGE DISCOVERY, KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT - VOL 1: KDIR, VOLUME: 1, PAGES: 491-499
331
TITLE: Privacy Preservation and Mandate Representation In Identity Management Systems
AUTHORS: Abubakar Sadiq Shehu ; Antonio Pinto ; Manuel E Correia ;
PUBLISHED: 2019, SOURCE: 14th Iberian Conference on Information Systems and Technologies (CISTI) in 2019 14TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2019-June
AUTHORS: Abubakar Sadiq Shehu ; Antonio Pinto ; Manuel E Correia ;
PUBLISHED: 2019, SOURCE: 14th Iberian Conference on Information Systems and Technologies (CISTI) in 2019 14TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2019-June
332
TITLE: Proceedings of the 4th Workshop on Middleware for Edge Clouds & Cloudlets, Middleware 2019, Davis, CA, USA, December 09-13, 2019
AUTHORS: Rolando Martins ; Hervé Paulino ; Luís Veiga;
PUBLISHED: 2019, SOURCE: MECC@Middleware
AUTHORS: Rolando Martins ; Hervé Paulino ; Luís Veiga;
PUBLISHED: 2019, SOURCE: MECC@Middleware
INDEXED IN: 
DBLP
DBLP333
TITLE: Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, DCM/ITRS 2018, Oxford, UK, 8th July 2018 PDF
AUTHORS: Michele Pagani; Sandra Alves ;
PUBLISHED: 2019, SOURCE: DCM/ITRS, VOLUME: 293
AUTHORS: Michele Pagani; Sandra Alves ;
PUBLISHED: 2019, SOURCE: DCM/ITRS, VOLUME: 293
INDEXED IN: DBLP 
arXiv
DBLP arXiv334
TITLE: PROud-A Gamification Framework Based on Programming Exercises Usage Data Full Text
AUTHORS: Queiros, R ;
PUBLISHED: 2019, SOURCE: INFORMATION, VOLUME: 10, ISSUE: 2, PAGES: 54
AUTHORS: Queiros, R ;
PUBLISHED: 2019, SOURCE: INFORMATION, VOLUME: 10, ISSUE: 2, PAGES: 54
335
TITLE: pTASC: Trustable Autonomous Secure Communications. trustable autonomous secure communications
AUTHORS: Patricia R Sousa ; Andre Cirne ; Joao S Resende ; Rolando Martins ; Luis Antunes ;
PUBLISHED: 2019, SOURCE: 20th International Conference on Distributed Computing and Networking (ICDCN) in ICDCN '19: PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING AND NETWORKING, PAGES: 193-202
AUTHORS: Patricia R Sousa ; Andre Cirne ; Joao S Resende ; Rolando Martins ; Luis Antunes ;
PUBLISHED: 2019, SOURCE: 20th International Conference on Distributed Computing and Networking (ICDCN) in ICDCN '19: PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING AND NETWORKING, PAGES: 193-202
336
TITLE: Quarmic: A Data-Driven Web Development Framework
AUTHORS: Pedro Miguel Pereira Cunha; José Paulo Leal ;
PUBLISHED: 2019, SOURCE: 8th Symposium on Languages, Applications and Technologies, SLATE 2019 in 8th Symposium on Languages, Applications and Technologies, SLATE 2019, June 27-28, 2019, Coimbra, Portugal., VOLUME: 74, PAGES: 19:1-19:8
AUTHORS: Pedro Miguel Pereira Cunha; José Paulo Leal ;
PUBLISHED: 2019, SOURCE: 8th Symposium on Languages, Applications and Technologies, SLATE 2019 in 8th Symposium on Languages, Applications and Technologies, SLATE 2019, June 27-28, 2019, Coimbra, Portugal., VOLUME: 74, PAGES: 19:1-19:8
INDEXED IN: Scopus DBLP
Scopus DBLP337
TITLE: Reputation based approach for improved fairness and robustness in P2P protocols Full Text
AUTHORS: Francis N Nwebonyi ; Rolando Martins ; Manuel E Correia ;
PUBLISHED: 2019, SOURCE: PEER-TO-PEER NETWORKING AND APPLICATIONS, VOLUME: 12, ISSUE: 4, PAGES: 951-968
AUTHORS: Francis N Nwebonyi ; Rolando Martins ; Manuel E Correia ;
PUBLISHED: 2019, SOURCE: PEER-TO-PEER NETWORKING AND APPLICATIONS, VOLUME: 12, ISSUE: 4, PAGES: 951-968
338
TITLE: Reputation-Based Security System For Edge Computing
AUTHORS: Francis N Nwebonyi ; Rolando Martins ; Manuel E Correia ;
PUBLISHED: 2019, SOURCE: 13th International Conference on Availability, Reliability and Security (ARES) in 13TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY (ARES 2018), PAGES: 39:1-39:8
AUTHORS: Francis N Nwebonyi ; Rolando Martins ; Manuel E Correia ;
PUBLISHED: 2019, SOURCE: 13th International Conference on Availability, Reliability and Security (ARES) in 13TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY (ARES 2018), PAGES: 39:1-39:8
339
TITLE: SeCoGen - A Service Code Generator
AUTHORS: Ricardo Queirós ;
PUBLISHED: 2019, SOURCE: 8th Symposium on Languages, Applications and Technologies, SLATE 2019 in 8th Symposium on Languages, Applications and Technologies, SLATE 2019, June 27-28, 2019, Coimbra, Portugal., VOLUME: 74, PAGES: 23:1-23:8
AUTHORS: Ricardo Queirós ;
PUBLISHED: 2019, SOURCE: 8th Symposium on Languages, Applications and Technologies, SLATE 2019 in 8th Symposium on Languages, Applications and Technologies, SLATE 2019, June 27-28, 2019, Coimbra, Portugal., VOLUME: 74, PAGES: 23:1-23:8
INDEXED IN: Scopus DBLP
Scopus DBLP340
TITLE: Secure Provisioning for Achieving End-to-End Secure Communications
AUTHORS: Patricia R Sousa ; Joao S Resende ; Rolando Martins ; Luis Antunes ;
PUBLISHED: 2019, SOURCE: 18th International Conference on Ad-Hoc Networks and Wireless (AdHoc-Now) in AD-HOC, MOBILE, AND WIRELESS NETWORKS (ADHOC-NOW 2019), VOLUME: 11803, PAGES: 498-507
AUTHORS: Patricia R Sousa ; Joao S Resende ; Rolando Martins ; Luis Antunes ;
PUBLISHED: 2019, SOURCE: 18th International Conference on Ad-Hoc Networks and Wireless (AdHoc-Now) in AD-HOC, MOBILE, AND WIRELESS NETWORKS (ADHOC-NOW 2019), VOLUME: 11803, PAGES: 498-507
