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: 1285
43 Team MembersFilters -> Year: 2026
181
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
182
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
CrossRef183
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 DBLP184
TITLE: Host-based IDS: A review and open issues of an anomaly detection system in IoT
AUTHORS: Martins, Ines ; Resende, Joao S. ; Sousa, Patricia R. ; Silva, Simao; Antunes, Luis ; Gama, Joao ;
PUBLISHED: 2022, SOURCE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, VOLUME: 133, PAGES: 95-113
AUTHORS: Martins, Ines ; Resende, Joao S. ; Sousa, Patricia R. ; Silva, Simao; Antunes, Luis ; Gama, Joao ;
PUBLISHED: 2022, SOURCE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, VOLUME: 133, PAGES: 95-113
185
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 Unpaywall186
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
187
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
188
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
189
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 DBLP190
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
191
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
192
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 DBLP193
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 DBLP194
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
195
TITLE: Map-Optimize-Learn: Predicting Cardiac Pathology in Children and Teenagers with a Deep Learning Based Tabular Learning Method
AUTHORS: Serra Neto, Mario T. R. ; Dutra, Ines ; Mollinetti, Marco Antonio F.;
PUBLISHED: 2022, SOURCE: IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) / IEEE World Congress on Computational Intelligence (IEEE WCCI) / International Joint Conference on Neural Networks (IJCNN) / IEEE Congress on Evolutionary Computation (IEEE CEC) in 2022 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), VOLUME: 2022-July, PAGES: 1-8
AUTHORS: Serra Neto, Mario T. R. ; Dutra, Ines ; Mollinetti, Marco Antonio F.;
PUBLISHED: 2022, SOURCE: IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) / IEEE World Congress on Computational Intelligence (IEEE WCCI) / International Joint Conference on Neural Networks (IJCNN) / IEEE Congress on Evolutionary Computation (IEEE CEC) in 2022 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), VOLUME: 2022-July, PAGES: 1-8
196
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
197
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
198
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
199
TITLE: On the correctness of a lock-free compression-based elastic mechanism for a hash trie design Full Text
AUTHORS: Miguel Areias ; Rocha, Ricardo ;
PUBLISHED: 2022, SOURCE: COMPUTING, VOLUME: 104, ISSUE: 10, PAGES: 2279-2305
AUTHORS: Miguel Areias ; Rocha, Ricardo ;
PUBLISHED: 2022, SOURCE: COMPUTING, VOLUME: 104, ISSUE: 10, PAGES: 2279-2305
200
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
