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: 1141
37 Team MembersFilters -> Year: 2025
121
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
122
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
123
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
124
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
DBLP125
TITLE: Fifty Years of Prolog and Beyond PDF
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
126
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
CrossRef127
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 DBLP128
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 Unpaywall129
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
130
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
131
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
132
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 DBLP133
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
134
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
135
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 DBLP136
TITLE: Linear Rank Intersection Types
AUTHORS: Fábio Reis; Sandra Alves ; Mário Florido ;
PUBLISHED: 2022, SOURCE: 28th International Conference on Types for Proofs and Programs, TYPES 2022 in 28th International Conference on Types for Proofs and Programs, TYPES 2022, June 20-25, 2022, LS2N, University of Nantes, France, VOLUME: 269, PAGES: 8:1-8:21
AUTHORS: Fábio Reis; Sandra Alves ; Mário Florido ;
PUBLISHED: 2022, SOURCE: 28th International Conference on Types for Proofs and Programs, TYPES 2022 in 28th International Conference on Types for Proofs and Programs, TYPES 2022, June 20-25, 2022, LS2N, University of Nantes, France, VOLUME: 269, PAGES: 8:1-8:21
INDEXED IN: Scopus DBLP
Scopus DBLP137
TITLE: Managing Gamified Programming Courses with the FGPE Platform Full Text
AUTHORS: Paiva, JC ; Queiros, R ; Leal, JP ; Swacha, J; Miernik, F;
PUBLISHED: 2022, SOURCE: INFORMATION, VOLUME: 13, ISSUE: 2, PAGES: 45
AUTHORS: Paiva, JC ; Queiros, R ; Leal, JP ; Swacha, J; Miernik, F;
PUBLISHED: 2022, SOURCE: INFORMATION, VOLUME: 13, ISSUE: 2, PAGES: 45
138
TITLE: Network Science - 7th International Winter Conference, NetSci-X 2022, Porto, Portugal, February 8-11, 2022, Proceedings. 7th International Winter Conference, NetSci-X 2022, Porto, Portugal, February 8–11, 2022, Proceedings
AUTHORS: Pedro Ribeiro ; Fernando Silva ; José Fernando Ferreira Mendes ; Rosário D Laureano ;
PUBLISHED: 2022, SOURCE: NetSci-X, VOLUME: 13197
AUTHORS: Pedro Ribeiro ; Fernando Silva ; José Fernando Ferreira Mendes ; Rosário D Laureano ;
PUBLISHED: 2022, SOURCE: NetSci-X, VOLUME: 13197
139
TITLE: Novel features for time series analysis: a complex networks approach Full Text
AUTHORS: Silva, Vanessa Freitas ; Silva, Maria Eduarda ; Ribeiro, Pedro ; Silva, Fernando ;
PUBLISHED: 2022, SOURCE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 36, ISSUE: 3, PAGES: 1062-1101
AUTHORS: Silva, Vanessa Freitas ; Silva, Maria Eduarda ; Ribeiro, Pedro ; Silva, Fernando ;
PUBLISHED: 2022, SOURCE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 36, ISSUE: 3, PAGES: 1062-1101
140
TITLE: On Creation of Synthetic Samples from GANs for Fake News Identification Algorithms
AUTHORS: Vaz, Bruno; Bernardes, Vitor; Figueira, Alvaro ;
PUBLISHED: 2022, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in INFORMATION SYSTEMS AND TECHNOLOGIES, WORLDCIST 2022, VOL 3, VOLUME: 470, PAGES: 316-326
AUTHORS: Vaz, Bruno; Bernardes, Vitor; Figueira, Alvaro ;
PUBLISHED: 2022, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in INFORMATION SYSTEMS AND TECHNOLOGIES, WORLDCIST 2022, VOL 3, VOLUME: 470, PAGES: 316-326
