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: 1166
37 Team MembersFilters -> Year: 2024
221
TITLE: Authoring Game-Based Programming Challenges to Improve Students' Motivation
AUTHORS: Paiva, Jose Carlos ; Leal, Jose Paulo ; Queiros, Ricardo ;
PUBLISHED: 2020, SOURCE: 21st International Conference on Interactive Collaborative Learning (ICL) / 47th IGIP International Conference on Engineering Pedagogy - Teaching and Learning in a Digital World in CHALLENGES OF THE DIGITAL TRANSFORMATION IN EDUCATION, ICL2018, VOL 1, VOLUME: 916, PAGES: 602-613
AUTHORS: Paiva, Jose Carlos ; Leal, Jose Paulo ; Queiros, Ricardo ;
PUBLISHED: 2020, SOURCE: 21st International Conference on Interactive Collaborative Learning (ICL) / 47th IGIP International Conference on Engineering Pedagogy - Teaching and Learning in a Digital World in CHALLENGES OF THE DIGITAL TRANSFORMATION IN EDUCATION, ICL2018, VOL 1, VOLUME: 916, PAGES: 602-613
222
TITLE: Benchmarking Behavior-Based Intrusion Detection Systems with Bio-inspired Algorithms
AUTHORS: Paulo Ferreira; Mário Antunes ;
PUBLISHED: 2020, SOURCE: 8th International Symposium on Security in Computing and Communications, SSCC 2020 in Security in Computing and Communications - 8th International Symposium, SSCC 2020, Chennai, India, October 14-17, 2020, Revised Selected Papers, VOLUME: 1364, PAGES: 152-164
AUTHORS: Paulo Ferreira; Mário Antunes ;
PUBLISHED: 2020, SOURCE: 8th International Symposium on Security in Computing and Communications, SSCC 2020 in Security in Computing and Communications - 8th International Symposium, SSCC 2020, Chennai, India, October 14-17, 2020, Revised Selected Papers, VOLUME: 1364, PAGES: 152-164
223
TITLE: Blockchain and Applications - 2nd International Congress, BLOCKCHAIN 2020, L'Aquila, Italy, 17-19 June, 2020
AUTHORS: Javier Prieto; António Pinto ; Ashok Kumar Das; Stefano Ferretti;
PUBLISHED: 2020, SOURCE: BLOCKCHAIN, VOLUME: 1238
AUTHORS: Javier Prieto; António Pinto ; Ashok Kumar Das; Stefano Ferretti;
PUBLISHED: 2020, SOURCE: BLOCKCHAIN, VOLUME: 1238
INDEXED IN: 
DBLP
DBLP224
TITLE: Blockchain and Applications - International Congress, BLOCKCHAIN 2019, Avila, Spain, 26-28 June, 2019
AUTHORS: Javier Prieto; Ashok Kumar Das; Stefano Ferretti; António Pinto ; Juan Manuel Corchado;
PUBLISHED: 2020, SOURCE: BLOCKCHAIN, VOLUME: 1010
AUTHORS: Javier Prieto; Ashok Kumar Das; Stefano Ferretti; António Pinto ; Juan Manuel Corchado;
PUBLISHED: 2020, SOURCE: BLOCKCHAIN, VOLUME: 1010
INDEXED IN: DBLP
DBLP225
TITLE: Blockchain-based scalable authentication for IoT: Poster abstract. poster abstract
AUTHORS: Munkenyi Mukhandi; Eduardo Andrade; Francisco Damião; Jorge Granjal; João P Vilela ;
PUBLISHED: 2020, SOURCE: SenSys 2020 - Proceedings of the 2020 18th ACM Conference on Embedded Networked Sensor Systems, PAGES: 667-668
AUTHORS: Munkenyi Mukhandi; Eduardo Andrade; Francisco Damião; Jorge Granjal; João P Vilela ;
PUBLISHED: 2020, SOURCE: SenSys 2020 - Proceedings of the 2020 18th ACM Conference on Embedded Networked Sensor Systems, PAGES: 667-668
226
TITLE: Boosting dynamic ensemble's performance in Twitter Full Text
AUTHORS: Costa, J; Silva, C; Antunes, M ; Bernardete Ribeiro ;
PUBLISHED: 2020, SOURCE: NEURAL COMPUTING & APPLICATIONS, VOLUME: 32, ISSUE: 14, PAGES: 10655-10667
AUTHORS: Costa, J; Silva, C; Antunes, M ; Bernardete Ribeiro ;
PUBLISHED: 2020, SOURCE: NEURAL COMPUTING & APPLICATIONS, VOLUME: 32, ISSUE: 14, PAGES: 10655-10667
227
TITLE: bOWL: A Pluggable OWL Browser (Short Paper)
AUTHORS: Alberto Simões; Ricardo Queirós ;
PUBLISHED: 2020, SOURCE: 9th Symposium on Languages, Applications and Technologies, SLATE 2020 in 9th Symposium on Languages, Applications and Technologies, SLATE 2020, July 13-14, 2020, School of Technology, Polytechnic Institute of Cávado and Ave, Portugal (Virtual Conference)., VOLUME: 83, PAGES: 18:1-18:7
AUTHORS: Alberto Simões; Ricardo Queirós ;
PUBLISHED: 2020, SOURCE: 9th Symposium on Languages, Applications and Technologies, SLATE 2020 in 9th Symposium on Languages, Applications and Technologies, SLATE 2020, July 13-14, 2020, School of Technology, Polytechnic Institute of Cávado and Ave, Portugal (Virtual Conference)., VOLUME: 83, PAGES: 18:1-18:7
INDEXED IN: 
Scopus DBLP
Scopus DBLP228
TITLE: Bringing Network Coding into SDN: A Case-study for Highly Meshed Heterogeneous Communications
AUTHORS: Alejandro Cohen; Homa Esfahanizadeh; Bruno Sousa; João P Vilela ; Miguel Luís; Duarte M G Raposo; François Michel; Susana Sargento; Muriel Médard;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2010.00343
AUTHORS: Alejandro Cohen; Homa Esfahanizadeh; Bruno Sousa; João P Vilela ; Miguel Luís; Duarte M G Raposo; François Michel; Susana Sargento; Muriel Médard;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2010.00343
INDEXED IN: DBLP
DBLP229
TITLE: Clinical Decision Support Systems for Pressure Ulcer Management: Systematic Review
AUTHORS: Araujo, SM; Sousa, P ; Dutra, I ;
PUBLISHED: 2020, SOURCE: JMIR MEDICAL INFORMATICS, VOLUME: 8, ISSUE: 10
AUTHORS: Araujo, SM; Sousa, P ; Dutra, I ;
PUBLISHED: 2020, SOURCE: JMIR MEDICAL INFORMATICS, VOLUME: 8, ISSUE: 10
230
TITLE: Computer Programming Education in Portuguese Universities
AUTHORS: Ricardo Queirós ; Mário Pinto; Teresa Terroso ;
PUBLISHED: 2020, SOURCE: 1st International Computer Programming Education Conference, ICPEC 2020 in First International Computer Programming Education Conference, ICPEC 2020, June 25-26, 2020, ESMAD, Vila do Conde, Portugal (Virtual Conference)., VOLUME: 81, PAGES: 21:1-21:11
AUTHORS: Ricardo Queirós ; Mário Pinto; Teresa Terroso ;
PUBLISHED: 2020, SOURCE: 1st International Computer Programming Education Conference, ICPEC 2020 in First International Computer Programming Education Conference, ICPEC 2020, June 25-26, 2020, ESMAD, Vila do Conde, Portugal (Virtual Conference)., VOLUME: 81, PAGES: 21:1-21:11
INDEXED IN: Scopus DBLP
Scopus DBLP231
TITLE: Condensed Graphs: A Generic Framework for Accelerating Subgraph Census Computation
AUTHORS: Martins, M; Ribeiro, P ;
PUBLISHED: 2020, SOURCE: 11th International Conference on Complex Networks (CompleNet) in COMPLEX NETWORKS XI, PAGES: 3-15
AUTHORS: Martins, M; Ribeiro, P ;
PUBLISHED: 2020, SOURCE: 11th International Conference on Complex Networks (CompleNet) in COMPLEX NETWORKS XI, PAGES: 3-15
232
TITLE: Container Hardening Through Automated Seccomp Profiling
AUTHORS: Lopes, N; Martins, R ; Correia, ME ; Serrano, S; Nunes, F;
PUBLISHED: 2020, SOURCE: 6th International Workshop on Container Technologies and Container Clouds (WOC) in PROCEEDINGS OF THE 2020 6TH INTERNATIONAL WORKSHOP ON CONTAINER TECHNOLOGIES AND CONTAINER CLOUDS (WOC '20), PAGES: 31-36
AUTHORS: Lopes, N; Martins, R ; Correia, ME ; Serrano, S; Nunes, F;
PUBLISHED: 2020, SOURCE: 6th International Workshop on Container Technologies and Container Clouds (WOC) in PROCEEDINGS OF THE 2020 6TH INTERNATIONAL WORKSHOP ON CONTAINER TECHNOLOGIES AND CONTAINER CLOUDS (WOC '20), PAGES: 31-36
233
TITLE: Contribution of Social Tagging to Clustering Effectiveness Using as Interpretant the User's Community
AUTHORS: Elisabete Cunha; Álvaro Figueira ;
PUBLISHED: 2020, SOURCE: 8th World Conference on Information Systems and Technologies, WorldCIST 2020 in Trends and Innovations in Information Systems and Technologies - Volume 1, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020., VOLUME: 1159, PAGES: 180-190
AUTHORS: Elisabete Cunha; Álvaro Figueira ;
PUBLISHED: 2020, SOURCE: 8th World Conference on Information Systems and Technologies, WorldCIST 2020 in Trends and Innovations in Information Systems and Technologies - Volume 1, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020., VOLUME: 1159, PAGES: 180-190
234
TITLE: DAOLOT: A Semantic Browser
AUTHORS: João Bruno Silva; André Santos ; José Paulo Leal ;
PUBLISHED: 2020, SOURCE: 9th Symposium on Languages, Applications and Technologies, SLATE 2020 in 9th Symposium on Languages, Applications and Technologies, SLATE 2020, July 13-14, 2020, School of Technology, Polytechnic Institute of Cávado and Ave, Portugal (Virtual Conference)., VOLUME: 83, PAGES: 5:1-5:11
AUTHORS: João Bruno Silva; André Santos ; José Paulo Leal ;
PUBLISHED: 2020, SOURCE: 9th Symposium on Languages, Applications and Technologies, SLATE 2020 in 9th Symposium on Languages, Applications and Technologies, SLATE 2020, July 13-14, 2020, School of Technology, Polytechnic Institute of Cávado and Ave, Portugal (Virtual Conference)., VOLUME: 83, PAGES: 5:1-5:11
INDEXED IN: Scopus DBLP
Scopus DBLP235
TITLE: Design of a Microservices Chaining Gamification Framework
AUTHORS: Ricardo Queirós ;
PUBLISHED: 2020, SOURCE: 8th World Conference on Information Systems and Technologies, WorldCIST 2020 in Trends and Innovations in Information Systems and Technologies - Volume 3, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020., VOLUME: 1161, PAGES: 327-333
AUTHORS: Ricardo Queirós ;
PUBLISHED: 2020, SOURCE: 8th World Conference on Information Systems and Technologies, WorldCIST 2020 in Trends and Innovations in Information Systems and Technologies - Volume 3, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020., VOLUME: 1161, PAGES: 327-333
236
TITLE: Diabetes Management Guidance by a Logical Unit Supported by Data-Mining in a Mobile Application
AUTHORS: Diogo Machado ; Vitor Santos Costa ; Ines Dutra ; Pedro Brandao ;
PUBLISHED: 2020, SOURCE: 15th Mediterranean Conference on Medical and Biological Engineering and Computing (MEDICON) in XV MEDITERRANEAN CONFERENCE ON MEDICAL AND BIOLOGICAL ENGINEERING AND COMPUTING - MEDICON 2019, VOLUME: 76, PAGES: 1385-1393
AUTHORS: Diogo Machado ; Vitor Santos Costa ; Ines Dutra ; Pedro Brandao ;
PUBLISHED: 2020, SOURCE: 15th Mediterranean Conference on Medical and Biological Engineering and Computing (MEDICON) in XV MEDITERRANEAN CONFERENCE ON MEDICAL AND BIOLOGICAL ENGINEERING AND COMPUTING - MEDICON 2019, VOLUME: 76, PAGES: 1385-1393
237
TITLE: Employment of Secure Enclaves in Cheat Detection Hardening
AUTHORS: Brandao, A ; Resende, JS ; Martins, R ;
PUBLISHED: 2020, SOURCE: 17th International Conference on Trust, Privacy and Security in Digital Business (TrustBus) in TRUST, PRIVACY AND SECURITY IN DIGITAL BUSINESS, TRUSTBUS 2020, VOLUME: 12395, PAGES: 48-62
AUTHORS: Brandao, A ; Resende, JS ; Martins, R ;
PUBLISHED: 2020, SOURCE: 17th International Conference on Trust, Privacy and Security in Digital Business (TrustBus) in TRUST, PRIVACY AND SECURITY IN DIGITAL BUSINESS, TRUSTBUS 2020, VOLUME: 12395, PAGES: 48-62
238
TITLE: Empowering Users Through a Privacy Middleware Watchdog
AUTHORS: Sousa, PR ; Martins, R ; Antunes, L ;
PUBLISHED: 2020, SOURCE: 17th International Conference on Trust, Privacy and Security in Digital Business (TrustBus) in TRUST, PRIVACY AND SECURITY IN DIGITAL BUSINESS, TRUSTBUS 2020, VOLUME: 12395, PAGES: 156-170
AUTHORS: Sousa, PR ; Martins, R ; Antunes, L ;
PUBLISHED: 2020, SOURCE: 17th International Conference on Trust, Privacy and Security in Digital Business (TrustBus) in TRUST, PRIVACY AND SECURITY IN DIGITAL BUSINESS, TRUSTBUS 2020, VOLUME: 12395, PAGES: 156-170
239
TITLE: Erratum: Using Grover's search quantum algorithm to solve Boolean satisfiability problems, part 2
AUTHORS: Diogo Fernandes; Carla Silva ; Inês Dutra ;
PUBLISHED: 2020, SOURCE: ACM Crossroads, VOLUME: 26, ISSUE: 3, PAGES: 57
AUTHORS: Diogo Fernandes; Carla Silva ; Inês Dutra ;
PUBLISHED: 2020, SOURCE: ACM Crossroads, VOLUME: 26, ISSUE: 3, PAGES: 57
INDEXED IN: DBLP 
CrossRef
DBLP CrossRef240
TITLE: EVL: A Typed Higher-order Functional Language for Events
AUTHORS: Alves, S ; Fernandez, M; Ramos, M ;
PUBLISHED: 2020, SOURCE: 15th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 351, PAGES: 3-23
AUTHORS: Alves, S ; Fernandez, M; Ramos, M ;
PUBLISHED: 2020, SOURCE: 15th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 351, PAGES: 3-23
