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: 1141
37 Team MembersFilters -> Year: 2025
321
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
322
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
323
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
324
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
325
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
326
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
WOS327
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
328
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 CrossRef329
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
330
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
331
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
DBLP332
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 arXiv333
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
334
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
335
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 DBLP336
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
337
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
338
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 DBLP339
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
340
TITLE: Security and Fairness in IoT Based e-Health System: A Case Study of Mobile Edge-Clouds
AUTHORS: Francis N Nwebonyi; Rolando Martins ; Manuel E Correia ;
PUBLISHED: 2019, SOURCE: 15th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) in 2019 INTERNATIONAL CONFERENCE ON WIRELESS AND MOBILE COMPUTING, NETWORKING AND COMMUNICATIONS (WIMOB), VOLUME: 2019-October, PAGES: 318-323
AUTHORS: Francis N Nwebonyi; Rolando Martins ; Manuel E Correia ;
PUBLISHED: 2019, SOURCE: 15th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) in 2019 INTERNATIONAL CONFERENCE ON WIRELESS AND MOBILE COMPUTING, NETWORKING AND COMMUNICATIONS (WIMOB), VOLUME: 2019-October, PAGES: 318-323
