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
121
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
122
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
123
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
124
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
125
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
DBLP126
TITLE: The rabbit as an animal model to study innate immunity genes: Is it better than mice? Full Text
AUTHORS: Soares, Joao ; Pinheiro, Ana; Esteves, Pedro Jose ;
PUBLISHED: 2022, SOURCE: FRONTIERS IN IMMUNOLOGY, VOLUME: 13
AUTHORS: Soares, Joao ; Pinheiro, Ana; Esteves, Pedro Jose ;
PUBLISHED: 2022, SOURCE: FRONTIERS IN IMMUNOLOGY, VOLUME: 13
127
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
128
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
129
TITLE: Virtual and Augmented Reality Awareness Tools for Universal Design. Towards Active Preventive Healthcare
AUTHORS: Luis Pinto Coelho; Idalina Freitas; Dorota Urszula Kaminska; Ricardo Queirós ; Anna Laska-Lesniewicz; Grzegorz Zwolinski; Rui Raposo ; Mário Vairinhos; Elisabeth T Pereira; Eric Haamer; Gholamreza Anbarjafari;
PUBLISHED: 2022, SOURCE: Emerging Advancements for Virtual and Augmented Reality in Healthcare - Advances in Medical Technologies and Clinical Practice, PAGES: 11-24
AUTHORS: Luis Pinto Coelho; Idalina Freitas; Dorota Urszula Kaminska; Ricardo Queirós ; Anna Laska-Lesniewicz; Grzegorz Zwolinski; Rui Raposo ; Mário Vairinhos; Elisabeth T Pereira; Eric Haamer; Gholamreza Anbarjafari;
PUBLISHED: 2022, SOURCE: Emerging Advancements for Virtual and Augmented Reality in Healthcare - Advances in Medical Technologies and Clinical Practice, PAGES: 11-24
INDEXED IN: 
CrossRef
CrossRef130
TITLE: WebPuppet - A Tiny Automated Web UI Testing Tool
AUTHORS: Ricardo Queirós ;
PUBLISHED: 2022, SOURCE: 3rd International Computer Programming Education Conference, ICPEC 2022 in Third International Computer Programming Education Conference, ICPEC 2022, June 2-3, 2022, Polytechnic Institute of Cávado and Ave (IPCA), Barcelos, Portugal., VOLUME: 102, PAGES: 10:1-10:8
AUTHORS: Ricardo Queirós ;
PUBLISHED: 2022, SOURCE: 3rd International Computer Programming Education Conference, ICPEC 2022 in Third International Computer Programming Education Conference, ICPEC 2022, June 2-3, 2022, Polytechnic Institute of Cávado and Ave (IPCA), Barcelos, Portugal., VOLUME: 102, PAGES: 10:1-10:8
INDEXED IN: 
Scopus DBLP
Scopus DBLP131
TITLE: What Makes a Movie Get Success? A Visual Analytics Approach
AUTHORS: Vaz, Bruno; Barros, Maria de Fatima; Lavoura, Maria Joao; Figueira, Alvaro ;
PUBLISHED: 2022, SOURCE: International Conference on Marketing and Technologies (ICMarkTech) in MARKETING AND SMART TECHNOLOGIES, VOL 1, VOLUME: 279, PAGES: 79-91
AUTHORS: Vaz, Bruno; Barros, Maria de Fatima; Lavoura, Maria Joao; Figueira, Alvaro ;
PUBLISHED: 2022, SOURCE: International Conference on Marketing and Technologies (ICMarkTech) in MARKETING AND SMART TECHNOLOGIES, VOL 1, VOLUME: 279, PAGES: 79-91
132
TITLE: 10th Symposium on Languages, Applications and Technologies, SLATE 2021, July 1-2, 2021, Vila do Conde/Póvoa de Varzim, Portugal
AUTHORS: Ricardo Queirós ; Mário Pinto; Alberto Simões; Filipe, Portela ; Maria João Pereira;
PUBLISHED: 2021, SOURCE: SLATE, VOLUME: 94
AUTHORS: Ricardo Queirós ; Mário Pinto; Alberto Simões; Filipe, Portela ; Maria João Pereira;
PUBLISHED: 2021, SOURCE: SLATE, VOLUME: 94
INDEXED IN: DBLP
DBLP133
TITLE: A Customizable Web Platform to Manage Standards Compliance of Information Security and Cybersecurity Auditing
AUTHORS: Mário Antunes ; Marisa Maximiano; Ricardo Gomes;
PUBLISHED: 2021, SOURCE: 2021 International Conference on ENTERprise Information Systems, CENTERIS 2021 / ProjMAN 2021 - International Conference on Project MANagement / HCist 2021 and International Conference on Health and Social Care Information Systems and Technologies 2021 in CENTERIS 2021 - International Conference on ENTERprise Information Systems / ProjMAN 2021 - International Conference on Project MANagement / HCist 2021 - International Conference on Health and Social Care Information Systems and Technologies 2021, Braga, Portugal, VOLUME: 196, PAGES: 36-43
AUTHORS: Mário Antunes ; Marisa Maximiano; Ricardo Gomes;
PUBLISHED: 2021, SOURCE: 2021 International Conference on ENTERprise Information Systems, CENTERIS 2021 / ProjMAN 2021 - International Conference on Project MANagement / HCist 2021 and International Conference on Health and Social Care Information Systems and Technologies 2021 in CENTERIS 2021 - International Conference on ENTERprise Information Systems / ProjMAN 2021 - International Conference on Project MANagement / HCist 2021 - International Conference on Health and Social Care Information Systems and Technologies 2021, Braga, Portugal, VOLUME: 196, PAGES: 36-43
134
TITLE: A Dataset of Photos and Videos for Digital Forensics Analysis Using Machine Learning Processing
AUTHORS: Ferreira, S; Antunes, M ; Correia, ME ;
PUBLISHED: 2021, SOURCE: DATA, VOLUME: 6, ISSUE: 8, PAGES: 87
AUTHORS: Ferreira, S; Antunes, M ; Correia, ME ;
PUBLISHED: 2021, SOURCE: DATA, VOLUME: 6, ISSUE: 8, PAGES: 87
135
TITLE: A Graph Database Representation of Portuguese Criminal-Related Documents
AUTHORS: Carnaz, G; Nogueira, VB; Antunes, M ;
PUBLISHED: 2021, SOURCE: INFORMATICS-BASEL, VOLUME: 8, ISSUE: 2, PAGES: 37
AUTHORS: Carnaz, G; Nogueira, VB; Antunes, M ;
PUBLISHED: 2021, SOURCE: INFORMATICS-BASEL, VOLUME: 8, ISSUE: 2, PAGES: 37
136
TITLE: A Graphical Framework for the Category-Based Metamodel for Access Control and Obligations
AUTHORS: Sandra Alves ; Jorge Iglésias;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2111.00588
AUTHORS: Sandra Alves ; Jorge Iglésias;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2111.00588
INDEXED IN: DBLP
DBLP137
TITLE: A Kolmogorov Complexity for multidisciplinary domains
AUTHORS: João S. Resende ; Marco Almeida; Rolando Martins ; Luís Antunes ;
PUBLISHED: 2021, SOURCE: Proceedings of Entropy 2021: The Scientific Tool of the 21st Century
AUTHORS: João S. Resende ; Marco Almeida; Rolando Martins ; Luís Antunes ;
PUBLISHED: 2021, SOURCE: Proceedings of Entropy 2021: The Scientific Tool of the 21st Century
INDEXED IN: CrossRef 
Unpaywall
CrossRef Unpaywall138
TITLE: A Mixed Model for Identifying Fake News in Tweets from the 2020 US Presidential Election
AUTHORS: Bernardes, Vitor; Figueira, Alvaro ;
PUBLISHED: 2021, SOURCE: 17th International Conference on Web Information Systems and Technologies (WEBIST) in PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS AND TECHNOLOGIES (WEBIST), PAGES: 307-315
AUTHORS: Bernardes, Vitor; Figueira, Alvaro ;
PUBLISHED: 2021, SOURCE: 17th International Conference on Web Information Systems and Technologies (WEBIST) in PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS AND TECHNOLOGIES (WEBIST), PAGES: 307-315
139
TITLE: A Performance Assessment of Free-to-Use Vulnerability Scanners - Revisited
AUTHORS: Ricardo Araújo; António Pinto ; Pedro Pinto ;
PUBLISHED: 2021, SOURCE: 36th IFIP International Conference on ICT Systems Security and Privacy Protection, SEC 2021 in ICT Systems Security and Privacy Protection - 36th IFIP TC 11 International Conference, SEC 2021, Oslo, Norway, June 22-24, 2021, Proceedings, VOLUME: 625, PAGES: 53-65
AUTHORS: Ricardo Araújo; António Pinto ; Pedro Pinto ;
PUBLISHED: 2021, SOURCE: 36th IFIP International Conference on ICT Systems Security and Privacy Protection, SEC 2021 in ICT Systems Security and Privacy Protection - 36th IFIP TC 11 International Conference, SEC 2021, Oslo, Norway, June 22-24, 2021, Proceedings, VOLUME: 625, PAGES: 53-65
140
TITLE: A Security Gateway for power distribution systems in open networks
AUTHORS: Andrade, E; Granjal, J; Vilela, JP ; Arantes, C;
PUBLISHED: 2021, SOURCE: COMPUTERS & SECURITY, VOLUME: 111, PAGES: 102492
AUTHORS: Andrade, E; Granjal, J; Vilela, JP ; Arantes, C;
PUBLISHED: 2021, SOURCE: COMPUTERS & SECURITY, VOLUME: 111, PAGES: 102492
