Center for Research in Advanced Computing Systems (CRACS)
Center for Research in Advanced Computing Systems

AuthID: I-000-1RA

External   Internal

Publications Count: 1277

43 Team Members
Filters -> Year: 2026
401
TITLE: Multi-dimensional lock-free arrays for multithreaded mode-directed tabling in Prolog
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
402
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
403
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
404
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
405
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)
406
TITLE: Polar coding for physical-layer security without knowledge of the eavesdropper's channel
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
407
TITLE: Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types
AUTHORS: Alves, S ; Broda, S ;
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
408
TITLE: Preface
AUTHORS: Sandra Alves ; Michele Pagani;
PUBLISHED: 2019, SOURCE: Electronic Proceedings in Theoretical Computer Science Eptcs, VOLUME: 293, PAGES: 1-6
409
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
410
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
411
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
412
413
TITLE: PROud-A Gamification Framework Based on Programming Exercises Usage Data
AUTHORS: Queiros, R ;
PUBLISHED: 2019, SOURCE: INFORMATION, VOLUME: 10, ISSUE: 2, PAGES: 54
414
TITLE: pTASC: Trustable Autonomous Secure Communications. trustable autonomous secure communications
AUTHORS: Sousa, PR ; Cirne, A ; Resende, JS ; Martins, R ; Antunes, L ;
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
415
TITLE: Quarmic: A Data-Driven Web Development Framework
AUTHORS: Pedro Miguel Pereira Cunha; José Paulo Leal ;
PUBLISHED: 2019, SOURCE: SLATE, VOLUME: 74, PAGES: 19:1-19:8
416
TITLE: Reputation based approach for improved fairness and robustness in P2P protocols
AUTHORS: Nwebonyi, FN ; Martins, R ; Correia, ME ;
PUBLISHED: 2019, SOURCE: PEER-TO-PEER NETWORKING AND APPLICATIONS, VOLUME: 12, ISSUE: 4, PAGES: 951-968
417
TITLE: Reputation-Based Security System For Edge Computing
AUTHORS: Nwebonyi, FN ; Martins, R ; Correia, ME ;
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
418
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
419
TITLE: Secure Provisioning for Achieving End-to-End Secure Communications
AUTHORS: Sousa, PR ; Resende, JS ; Martins, R ; Antunes, L ;
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
420
TITLE: Security and Fairness in IoT Based e-Health System: A Case Study of Mobile Edge-Clouds
AUTHORS: Nwebonyi, FN; Martins, R ; Correia, ME ;
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

Results per Page: 20.
Page 21 of 64. Total results: 1277.