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: 1277
43 Team MembersFilters -> Year: 2026
321
TITLE: bOWL: A Pluggable OWL Browser (Short Paper)
AUTHORS: Alberto Simões; Ricardo Queirós ;
PUBLISHED: 2020, SOURCE: SLATE, VOLUME: 83, PAGES: 18:1-18:7
AUTHORS: Alberto Simões; Ricardo Queirós ;
PUBLISHED: 2020, SOURCE: SLATE, VOLUME: 83, PAGES: 18:1-18:7
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP322
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
323
TITLE: Computer Programming Education in Portuguese Universities
AUTHORS: Ricardo Queirós ; Mário Pinto; Teresa Terroso ;
PUBLISHED: 2020, SOURCE: ICPEC, VOLUME: 81, PAGES: 21:1-21:11
AUTHORS: Ricardo Queirós ; Mário Pinto; Teresa Terroso ;
PUBLISHED: 2020, SOURCE: ICPEC, VOLUME: 81, PAGES: 21:1-21:11
INDEXED IN: Scopus DBLP
Scopus DBLP324
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
325
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
326
TITLE: Contribution of Social Tagging to Clustering Effectiveness Using as Interpretant the User's Community
AUTHORS: Cunha, E; Figueira, A ;
PUBLISHED: 2020, SOURCE: 8th World Conference on Information Systems and Technologies, WorldCIST 2020 in TRENDS AND INNOVATIONS IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, VOLUME: 1159, PAGES: 180-190
AUTHORS: Cunha, E; Figueira, A ;
PUBLISHED: 2020, SOURCE: 8th World Conference on Information Systems and Technologies, WorldCIST 2020 in TRENDS AND INNOVATIONS IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, VOLUME: 1159, PAGES: 180-190
327
TITLE: DAOLOT: A Semantic Browser
AUTHORS: João Bruno Silva; André Santos ; José Paulo Leal ;
PUBLISHED: 2020, SOURCE: SLATE, VOLUME: 83, PAGES: 5:1-5:11
AUTHORS: João Bruno Silva; André Santos ; José Paulo Leal ;
PUBLISHED: 2020, SOURCE: SLATE, VOLUME: 83, PAGES: 5:1-5:11
INDEXED IN: Scopus DBLP
Scopus DBLP328
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
329
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
330
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
331
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
332
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: XRDS, VOLUME: 26, ISSUE: 3, PAGES: 57
AUTHORS: Diogo Fernandes; Carla Silva ; Inês Dutra ;
PUBLISHED: 2020, SOURCE: XRDS, VOLUME: 26, ISSUE: 3, PAGES: 57
333
TITLE: EVL: A Typed Higher-order Functional Language for Events
AUTHORS: Alves, S ; Fernández, 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 ; Fernández, 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
334
TITLE: FGPE AuthorKit - A Tool for Authoring Gamified Programming Educational Content Full Text
AUTHORS: José Carlos Paiva ; Ricardo Queirós ; José Paulo Leal ; Jakub Swacha;
PUBLISHED: 2020, SOURCE: ITiCSE, PAGES: 564
AUTHORS: José Carlos Paiva ; Ricardo Queirós ; José Paulo Leal ; Jakub Swacha;
PUBLISHED: 2020, SOURCE: ITiCSE, PAGES: 564
335
TITLE: First International Computer Programming Education Conference, ICPEC 2020, June 25-26, 2020, ESMAD, Vila do Conde, Portugal (Virtual Conference)
AUTHORS: Ricardo Queirós ; Filipe, Portela ; Mário Pinto; Alberto Simões;
PUBLISHED: 2020, SOURCE: ICPEC, VOLUME: 81
AUTHORS: Ricardo Queirós ; Filipe, Portela ; Mário Pinto; Alberto Simões;
PUBLISHED: 2020, SOURCE: ICPEC, VOLUME: 81
INDEXED IN: DBLP
DBLP336
TITLE: FOCAS: Penalising friendly citations to improve author ranking. penalising friendly citations to improve author ranking
AUTHORS: Silva, J ; Aparicio, D ; Ribeiro, P ; Silva, F ;
PUBLISHED: 2020, SOURCE: 35th Annual ACM Symposium on Applied Computing (SAC) in PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), PAGES: 1852-1860
AUTHORS: Silva, J ; Aparicio, D ; Ribeiro, P ; Silva, F ;
PUBLISHED: 2020, SOURCE: 35th Annual ACM Symposium on Applied Computing (SAC) in PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), PAGES: 1852-1860
337
TITLE: Fostering Programming Practice through Games Full Text
AUTHORS: Paiva, JC ; Leal, JP ; Queiros, R ;
PUBLISHED: 2020, SOURCE: INFORMATION, VOLUME: 11, ISSUE: 11, PAGES: 498
AUTHORS: Paiva, JC ; Leal, JP ; Queiros, R ;
PUBLISHED: 2020, SOURCE: INFORMATION, VOLUME: 11, ISSUE: 11, PAGES: 498
338
TITLE: From Reinforcement Learning Towards Artificial General Intelligence
AUTHORS: Filipe Marinho Rocha; Vítor Santos Costa ; Luís Paulo Reis ;
PUBLISHED: 2020, SOURCE: WorldCIST (2), VOLUME: 1160 AISC, PAGES: 401-413
AUTHORS: Filipe Marinho Rocha; Vítor Santos Costa ; Luís Paulo Reis ;
PUBLISHED: 2020, SOURCE: WorldCIST (2), VOLUME: 1160 AISC, PAGES: 401-413
339
TITLE: Game-Based Coding Challenges to Foster Programming Practice
AUTHORS: José Carlos Paiva ; José Paulo Leal ; Ricardo Queirós ;
PUBLISHED: 2020, SOURCE: ICPEC, VOLUME: 81, PAGES: 18:1-18:11
AUTHORS: José Carlos Paiva ; José Paulo Leal ; Ricardo Queirós ;
PUBLISHED: 2020, SOURCE: ICPEC, VOLUME: 81, PAGES: 18:1-18:11
INDEXED IN: Scopus DBLP
Scopus DBLP340
TITLE: GEdIL-Gamified Education Interoperability Language Full Text
AUTHORS: Swacha, J; Paiva, JC ; Leal, JP ; Queiros, R ; Montella, R; Kosta, S;
PUBLISHED: 2020, SOURCE: INFORMATION, VOLUME: 11, ISSUE: 6, PAGES: 287
AUTHORS: Swacha, J; Paiva, JC ; Leal, JP ; Queiros, R ; Montella, R; Kosta, S;
PUBLISHED: 2020, SOURCE: INFORMATION, VOLUME: 11, ISSUE: 6, PAGES: 287
