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: 1120
37 Team MembersFilters -> Year: 2024
101
TITLE: Blockchain-based Device Identity Management with Consensus Authentication for IoT Devices
AUTHORS: Munkenyi Mukhandi; Francisco Damiao; Jorge Granjal; Joao P Vilela ;
PUBLISHED: 2022, SOURCE: Proceedings - IEEE Consumer Communications and Networking Conference, CCNC, PAGES: 433-436
AUTHORS: Munkenyi Mukhandi; Francisco Damiao; Jorge Granjal; Joao P Vilela ;
PUBLISHED: 2022, SOURCE: Proceedings - IEEE Consumer Communications and Networking Conference, CCNC, PAGES: 433-436
102
TITLE: Data Type Inference for Logic Programming
AUTHORS: Barbosa, Joao ; Florido, Mario ; Costa, Vitor Santos ;
PUBLISHED: 2022, SOURCE: 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2021), VOLUME: 13290, PAGES: 16-37
AUTHORS: Barbosa, Joao ; Florido, Mario ; Costa, Vitor Santos ;
PUBLISHED: 2022, SOURCE: 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2021), VOLUME: 13290, PAGES: 16-37
103
TITLE: Digital Forensics for the Detection of Deepfake Image Manipulations
AUTHORS: Ferreira, Sara; Antunes, Mario ; Manuel E. Correia ;
PUBLISHED: 2022, SOURCE: ERCIM NEWS, VOLUME: 2022, ISSUE: 129, PAGES: 13-14
AUTHORS: Ferreira, Sara; Antunes, Mario ; Manuel E. Correia ;
PUBLISHED: 2022, SOURCE: ERCIM NEWS, VOLUME: 2022, ISSUE: 129, PAGES: 13-14
INDEXED IN: 
WOS 
DBLP
WOS DBLP104
TITLE: Do Top Higher Education Institutions' Social Media Communication Differ Depending on Their Rank?
AUTHORS: Álvaro Figueira ; Lirielly Vitorugo Nascimento;
PUBLISHED: 2022, SOURCE: 18th International Conference on Web Information Systems and Technologies, WEBIST 2022 in Proceedings of the 18th International Conference on Web Information Systems and Technologies, WEBIST 2022, Valletta, Malta, October 25-27, 2022., VOLUME: 2022-October, PAGES: 355-362
AUTHORS: Álvaro Figueira ; Lirielly Vitorugo Nascimento;
PUBLISHED: 2022, SOURCE: 18th International Conference on Web Information Systems and Technologies, WEBIST 2022 in Proceedings of the 18th International Conference on Web Information Systems and Technologies, WEBIST 2022, Valletta, Malta, October 25-27, 2022., VOLUME: 2022-October, PAGES: 355-362
105
TITLE: Effect of User Expectation on Mobile App Privacy: A Field Study
AUTHORS: Mendes, Ricardo; Brandao, Andre; Vilela, Joao P. ; Beresford, Alastair R.;
PUBLISHED: 2022, SOURCE: 20th IEEE International Conference on Pervasive Computing and Communications (IEEE PerCom) in 2022 IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS (PERCOM), PAGES: 207-214
AUTHORS: Mendes, Ricardo; Brandao, Andre; Vilela, Joao P. ; Beresford, Alastair R.;
PUBLISHED: 2022, SOURCE: 20th IEEE International Conference on Pervasive Computing and Communications (IEEE PerCom) in 2022 IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS (PERCOM), PAGES: 207-214
106
TITLE: Enhancing User Privacy in Mobile Devices Through Prediction of Privacy Preferences
AUTHORS: Mendes, Ricardo; Cunha, Mariana ; Vilela, Joao P. ; Beresford, Alastair R.;
PUBLISHED: 2022, SOURCE: 27th European Symposium on Research in Computer Security (ESORICS) in COMPUTER SECURITY - ESORICS 2022, PT I, VOLUME: 13554, PAGES: 153-172
AUTHORS: Mendes, Ricardo; Cunha, Mariana ; Vilela, Joao P. ; Beresford, Alastair R.;
PUBLISHED: 2022, SOURCE: 27th European Symposium on Research in Computer Security (ESORICS) in COMPUTER SECURITY - ESORICS 2022, PT I, VOLUME: 13554, PAGES: 153-172
107
TITLE: Exploiting Online Services to Enable Anonymous and Confidential Messaging
AUTHORS: Pedro Sousa; António Pinto ; Pedro Pinto ;
PUBLISHED: 2022, SOURCE: J. Cybersecur. Priv., VOLUME: 2, ISSUE: 3, PAGES: 700-713
AUTHORS: Pedro Sousa; António Pinto ; Pedro Pinto ;
PUBLISHED: 2022, SOURCE: J. Cybersecur. Priv., VOLUME: 2, ISSUE: 3, PAGES: 700-713
108
TITLE: Fifty Years of Prolog and Beyond
AUTHORS: Koerner, Philipp; Leuschel, Michael; Barbosa, Joao ; Costa, Vitor Santos ; Dahl, Veronica; Hermenegildo, Manuel, V; Morales, Jose F.; Wielemaker, Jan; Diaz, Daniel; Abreu, Salvador ; Ciatto, Giovanni;
PUBLISHED: 2022, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 22, ISSUE: 6, PAGES: 776-858
AUTHORS: Koerner, Philipp; Leuschel, Michael; Barbosa, Joao ; Costa, Vitor Santos ; Dahl, Veronica; Hermenegildo, Manuel, V; Morales, Jose F.; Wielemaker, Jan; Diaz, Daniel; Abreu, Salvador ; Ciatto, Giovanni;
PUBLISHED: 2022, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 22, ISSUE: 6, PAGES: 776-858
109
TITLE: Fifty Years of Prolog and Beyond
AUTHORS: Philipp Körner; Michael Leuschel; João Barbosa; Vítor Santos Costa ; Verónica Dahl; Manuel V Hermenegildo; José F Morales; Jan Wielemaker; Daniel Diaz; Salvador Abreu;
PUBLISHED: 2022, SOURCE: Theory Pract. Log. Program., VOLUME: 22, ISSUE: 6, PAGES: 776-858
AUTHORS: Philipp Körner; Michael Leuschel; João Barbosa; Vítor Santos Costa ; Verónica Dahl; Manuel V Hermenegildo; José F Morales; Jan Wielemaker; Daniel Diaz; Salvador Abreu;
PUBLISHED: 2022, SOURCE: Theory Pract. Log. Program., VOLUME: 22, ISSUE: 6, PAGES: 776-858
INDEXED IN: DBLP
DBLP110
TITLE: GAFRHE. A Gamification Framework for Healthcare
AUTHORS: Ricardo Alexandre Peixoto de Queiros ;
PUBLISHED: 2022, SOURCE: Exploring the Convergence of Computer and Medical Science Through Cloud Healthcare - Advances in Medical Technologies and Clinical Practice, PAGES: 14-35
AUTHORS: Ricardo Alexandre Peixoto de Queiros ;
PUBLISHED: 2022, SOURCE: Exploring the Convergence of Computer and Medical Science Through Cloud Healthcare - Advances in Medical Technologies and Clinical Practice, PAGES: 14-35
INDEXED IN: 
CrossRef
CrossRef111
TITLE: Generation of Document Type Exercises for Automated Assessment
AUTHORS: José Paulo Leal ; Ricardo Queirós ; Marco Primo;
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: 4:1-4:6
AUTHORS: José Paulo Leal ; Ricardo Queirós ; Marco Primo;
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: 4:1-4:6
INDEXED IN: 
Scopus DBLP
Scopus DBLP112
TITLE: Geo-Indistinguishability
AUTHORS: Ricardo Mendes; João P. Vilela ;
PUBLISHED: 2022, SOURCE: Encyclopedia of Cryptography, Security and Privacy, PAGES: 1-2
AUTHORS: Ricardo Mendes; João P. Vilela ;
PUBLISHED: 2022, SOURCE: Encyclopedia of Cryptography, Security and Privacy, PAGES: 1-2
INDEXED IN: CrossRef 
Unpaywall
CrossRef Unpaywall113
TITLE: Identificação Taxonómica em Biologia usando Inteligência Artificial
AUTHORS: Luís Lopes; Eduardo Marques ; Tomás Mamede; António Filgueiras; Miguel Marques; Manuel Coutinho;
PUBLISHED: 2022, SOURCE: Revista de Ciência Elementar, VOLUME: 10, ISSUE: 4
AUTHORS: Luís Lopes; Eduardo Marques ; Tomás Mamede; António Filgueiras; Miguel Marques; Manuel Coutinho;
PUBLISHED: 2022, SOURCE: Revista de Ciência Elementar, VOLUME: 10, ISSUE: 4
INDEXED IN: CrossRef Unpaywall
CrossRef Unpaywall114
TITLE: Impact of the glycaemic sampling method in diabetes data mining
AUTHORS: Machado, Diogo; Costa, Vitor Santos ; Brandao, Pedro ;
PUBLISHED: 2022, SOURCE: IEEE Symposium on Computers and Communications (ISCC) in 2022 27TH IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (IEEE ISCC 2022), VOLUME: 2022-June, PAGES: 1-6
AUTHORS: Machado, Diogo; Costa, Vitor Santos ; Brandao, Pedro ;
PUBLISHED: 2022, SOURCE: IEEE Symposium on Computers and Communications (ISCC) in 2022 27TH IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (IEEE ISCC 2022), VOLUME: 2022-June, PAGES: 1-6
115
TITLE: Inbreeding and research collaborations in Portuguese higher education Full Text
AUTHORS: Orlanda Tavares ; Sin, C ; Sa, C; Bugla, S ; Amaral, A ;
PUBLISHED: 2022, SOURCE: HIGHER EDUCATION QUARTERLY, VOLUME: 76, ISSUE: 1, PAGES: 102-115
AUTHORS: Orlanda Tavares ; Sin, C ; Sa, C; Bugla, S ; Amaral, A ;
PUBLISHED: 2022, SOURCE: HIGHER EDUCATION QUARTERLY, VOLUME: 76, ISSUE: 1, PAGES: 102-115
116
TITLE: Integration of a Learning Playground into a LMS
AUTHORS: Ricardo Alexandre Peixoto de Queirós ;
PUBLISHED: 2022, SOURCE: 27th ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2022 in ITiCSE 2022: Innovation and Technology in Computer Science Education, Dublin, Ireland, July 8 - 13, 2022, Volume 2, VOLUME: 2, PAGES: 626
AUTHORS: Ricardo Alexandre Peixoto de Queirós ;
PUBLISHED: 2022, SOURCE: 27th ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2022 in ITiCSE 2022: Innovation and Technology in Computer Science Education, Dublin, Ireland, July 8 - 13, 2022, Volume 2, VOLUME: 2, PAGES: 626
117
TITLE: Integration of Computer Science Assessment into Learning Management Systems with JuezLTI
AUTHORS: Juan V Carrillo; Alberto Sierra; José Paulo Leal ; Ricardo Queirós ; Salvador Pellicer; Marco Primo;
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: 9:1-9:8
AUTHORS: Juan V Carrillo; Alberto Sierra; José Paulo Leal ; Ricardo Queirós ; Salvador Pellicer; Marco Primo;
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: 9:1-9:8
INDEXED IN: Scopus DBLP
Scopus DBLP118
TITLE: IoT security certifications: Challenges and potential approaches Full Text
AUTHORS: Cirne, Andre ; Sousa, Patricia R. ; Resende, Joao S. ; Antunes, Luis ;
PUBLISHED: 2022, SOURCE: COMPUTERS & SECURITY, VOLUME: 116, PAGES: 102669
AUTHORS: Cirne, Andre ; Sousa, Patricia R. ; Resende, Joao S. ; Antunes, Luis ;
PUBLISHED: 2022, SOURCE: COMPUTERS & SECURITY, VOLUME: 116, PAGES: 102669
119
TITLE: Is FFT Fast Enough for Beyond 5G Communications? A Throughput-Complexity Analysis for OFDM Signals
AUTHORS: Queiroz, Saulo; Vilela, Joao P. ; Monteiro, Edmundo;
PUBLISHED: 2022, SOURCE: IEEE ACCESS, VOLUME: 10, PAGES: 104436-104448
AUTHORS: Queiroz, Saulo; Vilela, Joao P. ; Monteiro, Edmundo;
PUBLISHED: 2022, SOURCE: IEEE ACCESS, VOLUME: 10, PAGES: 104436-104448
120
TITLE: Large Semantic Graph Summarization Using Namespaces
AUTHORS: Ana Rita Santos Lopes da Costa; André Santos; José Paulo Leal ;
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: 12:1-12:9
AUTHORS: Ana Rita Santos Lopes da Costa; André Santos; José Paulo Leal ;
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: 12:1-12:9
INDEXED IN: Scopus DBLP
Scopus DBLP