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
401
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
402
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
WOS403
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
404
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
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
405
TITLE: Preface
AUTHORS: Sandra Alves ; Michele Pagani;
PUBLISHED: 2019, SOURCE: Electronic Proceedings in Theoretical Computer Science Eptcs, VOLUME: 293, PAGES: 1-6
AUTHORS: Sandra Alves ; Michele Pagani;
PUBLISHED: 2019, SOURCE: Electronic Proceedings in Theoretical Computer Science Eptcs, VOLUME: 293, PAGES: 1-6
INDEXED IN: 
Scopus
Scopus406
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 CrossRef407
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
408
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
409
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 arXiv410
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
411
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
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
412
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
AUTHORS: Pedro Miguel Pereira Cunha; José Paulo Leal ;
PUBLISHED: 2019, SOURCE: SLATE, VOLUME: 74, PAGES: 19:1-19:8
INDEXED IN: Scopus DBLP
Scopus DBLP413
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
AUTHORS: Nwebonyi, FN ; Martins, R ; Correia, ME ;
PUBLISHED: 2019, SOURCE: PEER-TO-PEER NETWORKING AND APPLICATIONS, VOLUME: 12, ISSUE: 4, PAGES: 951-968
414
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
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
415
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 DBLP416
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
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
417
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
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
418
TITLE: Temporal network alignment via GoT-WAVE Full Text
AUTHORS: Aparício, D ; Ribeiro, P ; Milenkovic, Tijana ; Silva, F ;
PUBLISHED: 2019, SOURCE: BIOINFORMATICS, VOLUME: 35, ISSUE: 18, PAGES: 3527-3529
AUTHORS: Aparício, D ; Ribeiro, P ; Milenkovic, Tijana ; Silva, F ;
PUBLISHED: 2019, SOURCE: BIOINFORMATICS, VOLUME: 35, ISSUE: 18, PAGES: 3527-3529
419
TITLE: TENSORCAST: forecasting and mining with coupled tensors
AUTHORS: Araujo, M ; Ribeiro, P ; Song, HA; Faloutsos, C;
PUBLISHED: 2019, SOURCE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 59, ISSUE: 3, PAGES: 497-522
AUTHORS: Araujo, M ; Ribeiro, P ; Song, HA; Faloutsos, C;
PUBLISHED: 2019, SOURCE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 59, ISSUE: 3, PAGES: 497-522
420
TITLE: Termination of lambda-calculus linearisation methods
AUTHORS: Sandra Alves ;
PUBLISHED: 2019, SOURCE: Electronic Proceedings in Theoretical Computer Science Eptcs, VOLUME: 292
AUTHORS: Sandra Alves ;
PUBLISHED: 2019, SOURCE: Electronic Proceedings in Theoretical Computer Science Eptcs, VOLUME: 292
INDEXED IN: Scopus
Scopus