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
181
TITLE: NeuralLog: a Neural Logic Language
AUTHORS: Victor Guimarães; Vítor Santos Costa ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2105.01442
AUTHORS: Victor Guimarães; Vítor Santos Costa ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2105.01442
INDEXED IN: 
DBLP
DBLP182
TITLE: Non-linear Methods Predominant in Fetal Heart Rate Analysis: A Systematic Review
AUTHORS: Ribeiro, M ; Monteiro Santos, J; Castro, L ; Antunes, L ; Costa Santos, C ; Teixeira, A ; Henriques, TS ;
PUBLISHED: 2021, SOURCE: FRONTIERS IN MEDICINE, VOLUME: 8
AUTHORS: Ribeiro, M ; Monteiro Santos, J; Castro, L ; Antunes, L ; Costa Santos, C ; Teixeira, A ; Henriques, TS ;
PUBLISHED: 2021, SOURCE: FRONTIERS IN MEDICINE, VOLUME: 8
183
TITLE: On the correctness and efficiency of a novel lock-free hash trie map design
AUTHORS: Areias, M ; Rocha, R ;
PUBLISHED: 2021, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 150, PAGES: 184-195
AUTHORS: Areias, M ; Rocha, R ;
PUBLISHED: 2021, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 150, PAGES: 184-195
185
TITLE: On the Secure Spectral Efficiency of URLLC With Randomly Located Colluding Eavesdroppers
AUTHORS: Farhat, J; Brante, G; Souza, RD; Vilela, JP ;
PUBLISHED: 2021, SOURCE: IEEE INTERNET OF THINGS JOURNAL, VOLUME: 8, ISSUE: 19, PAGES: 14672-14682
AUTHORS: Farhat, J; Brante, G; Souza, RD; Vilela, JP ;
PUBLISHED: 2021, SOURCE: IEEE INTERNET OF THINGS JOURNAL, VOLUME: 8, ISSUE: 19, PAGES: 14672-14682
186
TITLE: Online Learning of Logic Based Neural Network Structures
AUTHORS: Victor Guimarães; Vítor Santos Costa ;
PUBLISHED: 2021, SOURCE: Inductive Logic Programming - 30th International Conference, ILP 2021, Virtual Event, October 25-27, 2021, Proceedings, VOLUME: 13191, PAGES: 140-155
AUTHORS: Victor Guimarães; Vítor Santos Costa ;
PUBLISHED: 2021, SOURCE: Inductive Logic Programming - 30th International Conference, ILP 2021, Virtual Event, October 25-27, 2021, Proceedings, VOLUME: 13191, PAGES: 140-155
INDEXED IN: DBLP
DBLP187
TITLE: Performance analysis of AES encryption operation modes for IoT devices
AUTHORS: Dias Serra, Luis Filipe; Baptista Goncalves, Pedro Goncalo; Lopes Frazalo, Luis Alexandre; Goncalves Antunes, Mario Joao ;
PUBLISHED: 2021, SOURCE: 16th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF 2021 16TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI'2021)
AUTHORS: Dias Serra, Luis Filipe; Baptista Goncalves, Pedro Goncalo; Lopes Frazalo, Luis Alexandre; Goncalves Antunes, Mario Joao ;
PUBLISHED: 2021, SOURCE: 16th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF 2021 16TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI'2021)
188
TITLE: Predictive Maintenance for Sensor Enhancement in Industry 4.0
AUTHORS: Carla Silva ; Marvin F da Silva; Arlete Rodrigues; José Silva; Vítor Santos Costa ; Alípio Jorge ; Inês Dutra ;
PUBLISHED: 2021, SOURCE: 13th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2021 in Recent Challenges in Intelligent Information and Database Systems - 13th Asian Conference, ACIIDS 2021, Phuket, Thailand, April 7-10, 2021, Proceedings, VOLUME: 1371, PAGES: 403-415
AUTHORS: Carla Silva ; Marvin F da Silva; Arlete Rodrigues; José Silva; Vítor Santos Costa ; Alípio Jorge ; Inês Dutra ;
PUBLISHED: 2021, SOURCE: 13th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2021 in Recent Challenges in Intelligent Information and Database Systems - 13th Asian Conference, ACIIDS 2021, Phuket, Thailand, April 7-10, 2021, Proceedings, VOLUME: 1371, PAGES: 403-415
189
TITLE: Preface
AUTHORS: Rocha, R; Formisano, A; Liu, YA; Areias, M ; Angelopoulos, N; Bogaerts, B; Dodaro, C; Alviano, M; Brik, A; Vennekens, J; Pozzato, GL; Zhou, NF; Dahl, V; Fodor, P;
PUBLISHED: 2021, SOURCE: 37th International Conference on Logic Programming (Technical Communications), ICLP 2021 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 345, PAGES: 49
AUTHORS: Rocha, R; Formisano, A; Liu, YA; Areias, M ; Angelopoulos, N; Bogaerts, B; Dodaro, C; Alviano, M; Brik, A; Vennekens, J; Pozzato, GL; Zhou, NF; Dahl, V; Fodor, P;
PUBLISHED: 2021, SOURCE: 37th International Conference on Logic Programming (Technical Communications), ICLP 2021 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 345, PAGES: 49
INDEXED IN: 
Scopus
Scopus190
TITLE: Preface to special issue: LSFA 2017 and 2018
AUTHORS: Sandra Alves ; Renata Wassermann;
PUBLISHED: 2021, SOURCE: Math. Struct. Comput. Sci., VOLUME: 31, ISSUE: 3, PAGES: 255-256
AUTHORS: Sandra Alves ; Renata Wassermann;
PUBLISHED: 2021, SOURCE: Math. Struct. Comput. Sci., VOLUME: 31, ISSUE: 3, PAGES: 255-256
INDEXED IN: DBLP 
CrossRef
DBLP CrossRef191
TITLE: Privacy Preserving Middleware Platform for IoT
AUTHORS: Patrícia R Sousa ;
PUBLISHED: 2021
AUTHORS: Patrícia R Sousa ;
PUBLISHED: 2021
INDEXED IN: DBLP
DBLP192
TITLE: Privacy-Preserving Mechanisms for Heterogeneous Data Types
AUTHORS: Cunha, M ;
PUBLISHED: 2021, SOURCE: 19th ACM Conference on Embedded Networked Sensor Systems, SenSys 2021 in SenSys 2021 - Proceedings of the 2021 19th ACM Conference on Embedded Networked Sensor Systems, PAGES: 407-408
AUTHORS: Cunha, M ;
PUBLISHED: 2021, SOURCE: 19th ACM Conference on Embedded Networked Sensor Systems, SenSys 2021 in SenSys 2021 - Proceedings of the 2021 19th ACM Conference on Embedded Networked Sensor Systems, PAGES: 407-408
INDEXED IN: Scopus CrossRef
Scopus CrossRef193
TITLE: Profiling Accounts Political Bias on Twitter
AUTHORS: Guimaraes, Nuno ; Figueira, Alvaro ; Torgo, Luis ;
PUBLISHED: 2021, SOURCE: 16th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF 2021 16TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI'2021)
AUTHORS: Guimaraes, Nuno ; Figueira, Alvaro ; Torgo, Luis ;
PUBLISHED: 2021, SOURCE: 16th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF 2021 16TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI'2021)
194
TITLE: Programming Exercises Interoperability: The Case of a Non-Picky Consumer
AUTHORS: Ricardo Queirós ; José Carlos Paiva ; José Paulo Leal ;
PUBLISHED: 2021, SOURCE: 10th Symposium on Languages, Applications and Technologies, SLATE 2021 in 10th Symposium on Languages, Applications and Technologies, SLATE 2021, July 1-2, 2021, Vila do Conde/Póvoa de Varzim, Portugal., VOLUME: 94, PAGES: 5:1-5:9
AUTHORS: Ricardo Queirós ; José Carlos Paiva ; José Paulo Leal ;
PUBLISHED: 2021, SOURCE: 10th Symposium on Languages, Applications and Technologies, SLATE 2021 in 10th Symposium on Languages, Applications and Technologies, SLATE 2021, July 1-2, 2021, Vila do Conde/Póvoa de Varzim, Portugal., VOLUME: 94, PAGES: 5:1-5:9
INDEXED IN: Scopus DBLP
Scopus DBLP195
TITLE: Provisioning, Authentication and Secure Communications for IoT Devices on FIWARE Full Text
AUTHORS: Sousa, P ; Magalhaes, L; Resende, J ; Martins, R ; Antunes, L ;
PUBLISHED: 2021, SOURCE: SENSORS, VOLUME: 21, ISSUE: 17, PAGES: 5898
AUTHORS: Sousa, P ; Magalhaes, L; Resende, J ; Martins, R ; Antunes, L ;
PUBLISHED: 2021, SOURCE: SENSORS, VOLUME: 21, ISSUE: 17, PAGES: 5898
196
TITLE: Pruning strategies for the efficient traversal of the search space in PILP environments Full Text
AUTHORS: Corte Real, J ; Dutra, I ; Rocha, R ;
PUBLISHED: 2021, SOURCE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 63, ISSUE: 12, PAGES: 3183-3215
AUTHORS: Corte Real, J ; Dutra, I ; Rocha, R ;
PUBLISHED: 2021, SOURCE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 63, ISSUE: 12, PAGES: 3183-3215
197
TITLE: Quantum Binary Classification (Student Abstract)
AUTHORS: Silva, C ; Aguiar, A ; Dutra, I ;
PUBLISHED: 2021, SOURCE: 35th AAAI Conference on Artificial Intelligence / 33rd Conference on Innovative Applications of Artificial Intelligence / 11th Symposium on Educational Advances in Artificial Intelligence in THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, VOLUME: 35, PAGES: 15889-15890
AUTHORS: Silva, C ; Aguiar, A ; Dutra, I ;
PUBLISHED: 2021, SOURCE: 35th AAAI Conference on Artificial Intelligence / 33rd Conference on Innovative Applications of Artificial Intelligence / 11th Symposium on Educational Advances in Artificial Intelligence in THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, VOLUME: 35, PAGES: 15889-15890
INDEXED IN: Scopus 
WOS DBLP
Scopus WOS DBLP198
TITLE: Refactoring the Whitby Intelligent Tutoring System for Clean Architecture
AUTHORS: Paul S Brown; Vania Dimitrova; Glen Hart; Anthony G Cohn; Paulo Moura ;
PUBLISHED: 2021, SOURCE: Theory Pract. Log. Program., VOLUME: 21, ISSUE: 6, PAGES: 818-834
AUTHORS: Paul S Brown; Vania Dimitrova; Glen Hart; Anthony G Cohn; Paulo Moura ;
PUBLISHED: 2021, SOURCE: Theory Pract. Log. Program., VOLUME: 21, ISSUE: 6, PAGES: 818-834
INDEXED IN: DBLP
DBLP199
TITLE: SDR Proof-of-Concept of Full-Duplex Jamming for Enhanced Physical Layer Security Full Text
AUTHORS: Silva, A; Gomes, M; Vilela, JP ; Harrison, WK;
PUBLISHED: 2021, SOURCE: SENSORS, VOLUME: 21, ISSUE: 3, PAGES: 1-15
AUTHORS: Silva, A; Gomes, M; Vilela, JP ; Harrison, WK;
PUBLISHED: 2021, SOURCE: SENSORS, VOLUME: 21, ISSUE: 3, PAGES: 1-15
200
TITLE: Second International Computer Programming Education Conference, ICPEC 2021, May 27-28, 2021, University of Minho, Braga, Portugal
AUTHORS: Pedro Rangel Henriques; Filipe, Portela ; Ricardo Queirós ; Alberto Simões;
PUBLISHED: 2021, SOURCE: ICPEC, VOLUME: 91
AUTHORS: Pedro Rangel Henriques; Filipe, Portela ; Ricardo Queirós ; Alberto Simões;
PUBLISHED: 2021, SOURCE: ICPEC, VOLUME: 91
INDEXED IN: DBLP
DBLP