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: 1286
43 Team MembersFilters -> Year: 2026
201
TITLE: Online Learning of Logic Based Neural Network Structures
AUTHORS: Guimaraes, Victor; Costa, Vitor Santos ;
PUBLISHED: 2022, SOURCE: 30th International Conference on Inductive Logic Programming (ILP) held as part of the 1st International Joint Conference on Learning and Reasoning (IJCLR) in INDUCTIVE LOGIC PROGRAMMING (ILP 2021), VOLUME: 13191, PAGES: 140-155
AUTHORS: Guimaraes, Victor; Costa, Vitor Santos ;
PUBLISHED: 2022, SOURCE: 30th International Conference on Inductive Logic Programming (ILP) held as part of the 1st International Joint Conference on Learning and Reasoning (IJCLR) in INDUCTIVE LOGIC PROGRAMMING (ILP 2021), VOLUME: 13191, PAGES: 140-155
202
TITLE: Parallel Logic Programming: A Sequel
AUTHORS: Dovier, Agostino; Formisano, Andrea; Gupta, Gopal; Hermenegildo, Manuel, V; Pontelli, Enrico; Rocha, Ricardo ;
PUBLISHED: 2022, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 22, ISSUE: 6, PAGES: 905-973
AUTHORS: Dovier, Agostino; Formisano, Andrea; Gupta, Gopal; Hermenegildo, Manuel, V; Pontelli, Enrico; Rocha, Ricardo ;
PUBLISHED: 2022, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 22, ISSUE: 6, PAGES: 905-973
203
TITLE: Planning and Optimization of Software-Defined and Virtualized IoT Gateway Deployment for Smart Campuses Full Text
AUTHORS: Ferreira Jr, Divino; Oliveira, Joao Lucas; Santos, Carlos; Filho, Tercio; Ribeiro, Maria ; Freitas, Leandro Alexandre; Moreira, Waldir ; Oliveira Jr, Antonio; ;
PUBLISHED: 2022, SOURCE: SENSORS, VOLUME: 22, ISSUE: 13, PAGES: 4710
AUTHORS: Ferreira Jr, Divino; Oliveira, Joao Lucas; Santos, Carlos; Filho, Tercio; Ribeiro, Maria ; Freitas, Leandro Alexandre; Moreira, Waldir ; Oliveira Jr, Antonio; ;
PUBLISHED: 2022, SOURCE: SENSORS, VOLUME: 22, ISSUE: 13, PAGES: 4710
204
TITLE: Poster: Students' Usability Evaluation of the FGPE Gamified Programming Learning Environment
AUTHORS: Jakub Swacha; Filip Miernik; Marzena Sylwia Ignasiak; Raffaele Montella; Ciro Giuseppe De Vita; Gennaro Mellone; Ricardo Queirós ; José Carlos Paiva ; José Paulo Leal ; Sokol Kosta;
PUBLISHED: 2022, SOURCE: Information Systems Development: Artificial Intelligence for Information Systems Development and Operations (ISD2022 Proceedings), Cluj-Napoca, Romania, 31 August - 2 September 2022.
AUTHORS: Jakub Swacha; Filip Miernik; Marzena Sylwia Ignasiak; Raffaele Montella; Ciro Giuseppe De Vita; Gennaro Mellone; Ricardo Queirós ; José Carlos Paiva ; José Paulo Leal ; Sokol Kosta;
PUBLISHED: 2022, SOURCE: Information Systems Development: Artificial Intelligence for Information Systems Development and Operations (ISD2022 Proceedings), Cluj-Napoca, Romania, 31 August - 2 September 2022.
INDEXED IN: 
DBLP 
CrossRef
DBLP CrossRef205
TITLE: Prediction of Mobile App Privacy Preferences with User Profiles via Federated Learning
AUTHORS: Brandao, Andre; Mendes, Ricardo; Vilela, Joao P. ;
PUBLISHED: 2022, SOURCE: ACM Conference on Data and Application Security and Privacy (CODASPY) in CODASPY'22: PROCEEDINGS OF THE TWELVETH ACM CONFERENCE ON DATA AND APPLICATION SECURITY AND PRIVACY, PAGES: 89-100
AUTHORS: Brandao, Andre; Mendes, Ricardo; Vilela, Joao P. ;
PUBLISHED: 2022, SOURCE: ACM Conference on Data and Application Security and Privacy (CODASPY) in CODASPY'22: PROCEEDINGS OF THE TWELVETH ACM CONFERENCE ON DATA AND APPLICATION SECURITY AND PRIVACY, PAGES: 89-100
207
TITLE: Preface
AUTHORS: Ribeiro, P ; Silva, F ; Mendes, JF ; Laureano, R ;
PUBLISHED: 2022, SOURCE: 7th International Conference and School of Network Science, NetSci-X 2022 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13197 LNCS
AUTHORS: Ribeiro, P ; Silva, F ; Mendes, JF ; Laureano, R ;
PUBLISHED: 2022, SOURCE: 7th International Conference and School of Network Science, NetSci-X 2022 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13197 LNCS
INDEXED IN: 
Scopus
Scopus208
TITLE: Profiling the Portuguese Data Protection Officer in the Context of GDPR
AUTHORS: Pereira, J; Cepa, A; Carneiro, P; Pinto, A ; Pinto, P ;
PUBLISHED: 2022, SOURCE: European Data Protection Law Review, VOLUME: 8, ISSUE: 4, PAGES: 527-531
AUTHORS: Pereira, J; Cepa, A; Carneiro, P; Pinto, A ; Pinto, P ;
PUBLISHED: 2022, SOURCE: European Data Protection Law Review, VOLUME: 8, ISSUE: 4, PAGES: 527-531
209
TITLE: Quantitative Weak Linearisation
AUTHORS: Sandra Alves ; Daniel Ventura;
PUBLISHED: 2022, SOURCE: 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 in Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings, VOLUME: 13572, PAGES: 78-95
AUTHORS: Sandra Alves ; Daniel Ventura;
PUBLISHED: 2022, SOURCE: 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 in Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings, VOLUME: 13572, PAGES: 78-95
210
TITLE: Quantum transfer learning for breast cancer detection
AUTHORS: Azevedo, V; Silva, C ; Dutra, I ;
PUBLISHED: 2022, SOURCE: QUANTUM MACHINE INTELLIGENCE, VOLUME: 4, ISSUE: 1
AUTHORS: Azevedo, V; Silva, C ; Dutra, I ;
PUBLISHED: 2022, SOURCE: QUANTUM MACHINE INTELLIGENCE, VOLUME: 4, ISSUE: 1
211
TITLE: Report on women in logic 2020 & 2021
AUTHORS: Sandra Alves ; Sandra Kiefer; Ana Sokolova;
PUBLISHED: 2022, SOURCE: ACM SIGLOG News, VOLUME: 9, ISSUE: 2, PAGES: 31-33
AUTHORS: Sandra Alves ; Sandra Kiefer; Ana Sokolova;
PUBLISHED: 2022, SOURCE: ACM SIGLOG News, VOLUME: 9, ISSUE: 2, PAGES: 31-33
INDEXED IN: DBLP
DBLP212
TITLE: ScraPE - An Automated Tool for Programming Exercises Scraping
AUTHORS: Ricardo Queirós ;
PUBLISHED: 2022, SOURCE: 11th Symposium on Languages, Applications and Technologies, SLATE 2022 in 11th Symposium on Languages, Applications and Technologies, SLATE 2022, July 14-15, 2022, Universidade da Beira Interior, Covilhã, Portugal., VOLUME: 104, PAGES: 18:1-18:7
AUTHORS: Ricardo Queirós ;
PUBLISHED: 2022, SOURCE: 11th Symposium on Languages, Applications and Technologies, SLATE 2022 in 11th Symposium on Languages, Applications and Technologies, SLATE 2022, July 14-15, 2022, Universidade da Beira Interior, Covilhã, Portugal., VOLUME: 104, PAGES: 18:1-18:7
INDEXED IN: Scopus DBLP
Scopus DBLP213
TITLE: Sensor data modeling with Bayesian networks
AUTHORS: Silva, C ; Rodrigues, A; Jorge, A; Dutra, I ;
PUBLISHED: 2022, SOURCE: 2022 IEEE International Conference on Industry 4.0, Artificial Intelligence, and Communications Technology, IAICT 2022 in Proceedings of the 2022 IEEE International Conference on Industry 4.0, Artificial Intelligence, and Communications Technology, IAICT 2022, PAGES: 261-267
AUTHORS: Silva, C ; Rodrigues, A; Jorge, A; Dutra, I ;
PUBLISHED: 2022, SOURCE: 2022 IEEE International Conference on Industry 4.0, Artificial Intelligence, and Communications Technology, IAICT 2022 in Proceedings of the 2022 IEEE International Conference on Industry 4.0, Artificial Intelligence, and Communications Technology, IAICT 2022, PAGES: 261-267
214
TITLE: Structural Rules and Algebraic Properties of Intersection Types
AUTHORS: Sandra Alves ; Mário Florido ;
PUBLISHED: 2022, SOURCE: 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 in Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings, VOLUME: 13572, PAGES: 60-77
AUTHORS: Sandra Alves ; Mário Florido ;
PUBLISHED: 2022, SOURCE: 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 in Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings, VOLUME: 13572, PAGES: 60-77
215
TITLE: Survey on Synthetic Data Generation, Evaluation Methods and GANs Full Text
AUTHORS: Figueira, Alvaro ; Vaz, Bruno;
PUBLISHED: 2022, SOURCE: MATHEMATICS, VOLUME: 10, ISSUE: 15, PAGES: 2733
AUTHORS: Figueira, Alvaro ; Vaz, Bruno;
PUBLISHED: 2022, SOURCE: MATHEMATICS, VOLUME: 10, ISSUE: 15, PAGES: 2733
216
TITLE: The case for blockchain in IoT identity management
AUTHORS: Sousa, PR ; Resende, JS ; Martins, R ; Antunes, L ;
PUBLISHED: 2022, SOURCE: JOURNAL OF ENTERPRISE INFORMATION MANAGEMENT, VOLUME: 35, ISSUE: 6, PAGES: 1477-1505
AUTHORS: Sousa, PR ; Resende, JS ; Martins, R ; Antunes, L ;
PUBLISHED: 2022, SOURCE: JOURNAL OF ENTERPRISE INFORMATION MANAGEMENT, VOLUME: 35, ISSUE: 6, PAGES: 1477-1505
217
TITLE: The Dangers of Gamification
AUTHORS: Ricardo Queirós ; Mário Pinto;
PUBLISHED: 2022, SOURCE: Advanced Research in Technologies, Information, Innovation and Sustainability - Second International Conference, ARTIIS 2022, Santiago de Compostela, Spain, September 12-15, 2022, Revised Selected Papers, Part I, VOLUME: 1675, PAGES: 151-162
AUTHORS: Ricardo Queirós ; Mário Pinto;
PUBLISHED: 2022, SOURCE: Advanced Research in Technologies, Information, Innovation and Sustainability - Second International Conference, ARTIIS 2022, Santiago de Compostela, Spain, September 12-15, 2022, Revised Selected Papers, Part I, VOLUME: 1675, PAGES: 151-162
INDEXED IN: DBLP
DBLP218
TITLE: The Dangers of Gamification
AUTHORS: Queiros, Ricardo ; Pinto, Mario;
PUBLISHED: 2022, SOURCE: 2nd International Conference Advanced Research in Technologies, Information, Innovation and Sustainability ARTIIS in ADVANCED RESEARCH IN TECHNOLOGIES, INFORMATION, INNOVATION AND SUSTAINABILITY, ARTIIS 2022, PT I, VOLUME: 1675, PAGES: 151-162
AUTHORS: Queiros, Ricardo ; Pinto, Mario;
PUBLISHED: 2022, SOURCE: 2nd International Conference Advanced Research in Technologies, Information, Innovation and Sustainability ARTIIS in ADVANCED RESEARCH IN TECHNOLOGIES, INFORMATION, INNOVATION AND SUSTAINABILITY, ARTIIS 2022, PT I, VOLUME: 1675, PAGES: 151-162
219
TITLE: Threat Detection and Mitigation with Honeypots: A Modular Approach for IoT
AUTHORS: Simão Silva; Patrícia R Sousa ; João S Resende ; Luis Filipe Coelho Antunes ;
PUBLISHED: 2022, SOURCE: 19th International Conference on Trust, Privacy and Security in Digital Business, TrustBus 2022 in Trust, Privacy and Security in Digital Business - 19th International Conference, TrustBus 2022, Vienna, Austria, August 24, 2022, Proceedings, VOLUME: 13582, PAGES: 66-80
AUTHORS: Simão Silva; Patrícia R Sousa ; João S Resende ; Luis Filipe Coelho Antunes ;
PUBLISHED: 2022, SOURCE: 19th International Conference on Trust, Privacy and Security in Digital Business, TrustBus 2022 in Trust, Privacy and Security in Digital Business - 19th International Conference, TrustBus 2022, Vienna, Austria, August 24, 2022, Proceedings, VOLUME: 13582, PAGES: 66-80
220
TITLE: Typed SLD-Resolution: Dynamic Typing for Logic Programming
AUTHORS: Barbosa, Joao ; Florido, Mario ; Costa, Vitor Santos ;
PUBLISHED: 2022, SOURCE: 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2022), VOLUME: 13474, PAGES: 123-141
AUTHORS: Barbosa, Joao ; Florido, Mario ; Costa, Vitor Santos ;
PUBLISHED: 2022, SOURCE: 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2022), VOLUME: 13474, PAGES: 123-141
