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: 1280
43 Team MembersFilters -> Year: 2026
81
TITLE: Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe 2024, Milan, Italy, 6 September 2024
AUTHORS: Sandra Alves ; Jesper Cockx;
PUBLISHED: 2024, SOURCE: TyDe@ICFP
AUTHORS: Sandra Alves ; Jesper Cockx;
PUBLISHED: 2024, SOURCE: TyDe@ICFP
INDEXED IN: 
DBLP
DBLP82
TITLE: Proposal and Definition of a Novel Intelligent System for the Diagnosis of Bipolar Disorder Based on the Use of Quick Response Codes Containing Single Nucleotide Polymorphism Data
AUTHORS: Alberto Gomes Pinheira; Manuel Casal Guisande; Alberto Comesaña Campos; Inês Dutra ; Camila Nascimento; Jorge Cerqueiro Pequeño;
PUBLISHED: 2024, SOURCE: Lecture Notes in Educational Technology, VOLUME: Part F3283, PAGES: 241-250
AUTHORS: Alberto Gomes Pinheira; Manuel Casal Guisande; Alberto Comesaña Campos; Inês Dutra ; Camila Nascimento; Jorge Cerqueiro Pequeño;
PUBLISHED: 2024, SOURCE: Lecture Notes in Educational Technology, VOLUME: Part F3283, PAGES: 241-250
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef83
TITLE: Reconfiguring Teacher Professionality in Higher Education in Portugal: A Case Study on Pedagogical Innovation and Hybrid Learning
AUTHORS: Cruz, Mario; Mascarenhas, Daniela; Pinto, Carla M. A. ; Queiros, Ricardo ;
PUBLISHED: 2024, SOURCE: IEEE World Engineering Education Conference (EDUNINE) in VIII IEEE WORLD ENGINEERING EDUCATION CONFERENCE, EDUNINE 2024
AUTHORS: Cruz, Mario; Mascarenhas, Daniela; Pinto, Carla M. A. ; Queiros, Ricardo ;
PUBLISHED: 2024, SOURCE: IEEE World Engineering Education Conference (EDUNINE) in VIII IEEE WORLD ENGINEERING EDUCATION CONFERENCE, EDUNINE 2024
84
TITLE: Rethinking negative sampling in content-based news recommendation
AUTHORS: Miguel Ângelo Rebelo; João Vinagre ; Ivo Pereira; Álvaro Figueira ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2411.08700
AUTHORS: Miguel Ângelo Rebelo; João Vinagre ; Ivo Pereira; Álvaro Figueira ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2411.08700
INDEXED IN: DBLP
DBLP85
TITLE: The Impact of Feature Selection on Balancing, Based on Diabetes Data
AUTHORS: Machado, Diogo; Costa, Vitor Santos ; Brandao, Pedro ;
PUBLISHED: 2024, SOURCE: 16th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC) in BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES, BIOSTEC 2023, VOLUME: 2079, PAGES: 125-145
AUTHORS: Machado, Diogo; Costa, Vitor Santos ; Brandao, Pedro ;
PUBLISHED: 2024, SOURCE: 16th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC) in BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES, BIOSTEC 2023, VOLUME: 2079, PAGES: 125-145
86
TITLE: Topic Extraction: BERTopic's Insight into the 117th Congress's Twitterverse
AUTHORS: Mendonca, Margarida; Figueira, Alvaro ;
PUBLISHED: 2024, SOURCE: INFORMATICS-BASEL, VOLUME: 11, ISSUE: 1, PAGES: 8
AUTHORS: Mendonca, Margarida; Figueira, Alvaro ;
PUBLISHED: 2024, SOURCE: INFORMATICS-BASEL, VOLUME: 11, ISSUE: 1, PAGES: 8
87
TITLE: TorKameleon: Improving Tor's Censorship Resistance with K-anonymization and Media-based Covert Channels
AUTHORS: Vilalonga, Afonso; Resende, Joao S. ; Domingos, Henrique;
PUBLISHED: 2024, SOURCE: IEEE 22nd International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) / BigDataSE Conference / CSE Conference / EUC Conference / ISCI Conference in 2023 IEEE 22ND INTERNATIONAL CONFERENCE ON TRUST, SECURITY AND PRIVACY IN COMPUTING AND COMMUNICATIONS, TRUSTCOM, BIGDATASE, CSE, EUC, ISCI 2023, PAGES: 1490-1495
AUTHORS: Vilalonga, Afonso; Resende, Joao S. ; Domingos, Henrique;
PUBLISHED: 2024, SOURCE: IEEE 22nd International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) / BigDataSE Conference / CSE Conference / EUC Conference / ISCI Conference in 2023 IEEE 22ND INTERNATIONAL CONFERENCE ON TRUST, SECURITY AND PRIVACY IN COMPUTING AND COMMUNICATIONS, TRUSTCOM, BIGDATASE, CSE, EUC, ISCI 2023, PAGES: 1490-1495
88
TITLE: Uncovering Manipulated Files Using Mathematical Natural Laws
AUTHORS: Fernandes, Pedro; Ciardhuain, Seamus O.; Antunes, Mario ;
PUBLISHED: 2024, SOURCE: 26th Iberoamerican Congress on Pattern Recognition (CIARP) in PROGRESS IN PATTERN RECOGNITION, IMAGE ANALYSIS, COMPUTER VISION, AND APPLICATIONS, CIARP 2023, PT I, VOLUME: 14469, PAGES: 46-62
AUTHORS: Fernandes, Pedro; Ciardhuain, Seamus O.; Antunes, Mario ;
PUBLISHED: 2024, SOURCE: 26th Iberoamerican Congress on Pattern Recognition (CIARP) in PROGRESS IN PATTERN RECOGNITION, IMAGE ANALYSIS, COMPUTER VISION, AND APPLICATIONS, CIARP 2023, PT I, VOLUME: 14469, PAGES: 46-62
INDEXED IN: Scopus 
WOS DBLP
Scopus WOS DBLP89
TITLE: Unveiling Malicious Network Flows Using Benford's Law Full Text
AUTHORS: Fernandes, Pedro; Ciardhuain, Seamus o; Antunes, Mario ;
PUBLISHED: 2024, SOURCE: MATHEMATICS, VOLUME: 12, ISSUE: 15, PAGES: 2299
AUTHORS: Fernandes, Pedro; Ciardhuain, Seamus o; Antunes, Mario ;
PUBLISHED: 2024, SOURCE: MATHEMATICS, VOLUME: 12, ISSUE: 15, PAGES: 2299
90
TITLE: Use of Visibility Graphs for the Early Detection of DoS Attacks
AUTHORS: Lopes, Joao; Pinto, Pedro; Partida, Alberto; Pinto, Antonio ;
PUBLISHED: 2024, SOURCE: 4th IEEE Annual International Conference on Cyber Security and Resilience (IEEE CSR) in 2024 IEEE INTERNATIONAL CONFERENCE ON CYBER SECURITY AND RESILIENCE, CSR, PAGES: 101-106
AUTHORS: Lopes, Joao; Pinto, Pedro; Partida, Alberto; Pinto, Antonio ;
PUBLISHED: 2024, SOURCE: 4th IEEE Annual International Conference on Cyber Security and Resilience (IEEE CSR) in 2024 IEEE INTERNATIONAL CONFERENCE ON CYBER SECURITY AND RESILIENCE, CSR, PAGES: 101-106
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP91
TITLE: Utility Function for Assessing the Cost of Recovering from Ransomware Attacks
AUTHORS: Pinto, Luis; Pinto, Pedro ; Pinto, Antonio ;
PUBLISHED: 2024, SOURCE: 4th International Conference on Optimization Learning Algorithms and Applications in OPTIMIZATION, LEARNING ALGORITHMS AND APPLICATIONS, OL2A 2024, PT II, VOLUME: 2281, PAGES: 198-210
AUTHORS: Pinto, Luis; Pinto, Pedro ; Pinto, Antonio ;
PUBLISHED: 2024, SOURCE: 4th International Conference on Optimization Learning Algorithms and Applications in OPTIMIZATION, LEARNING ALGORITHMS AND APPLICATIONS, OL2A 2024, PT II, VOLUME: 2281, PAGES: 198-210
92
TITLE: WiFi-based Person Identification Through Motion Analysis
AUTHORS: Martins, Oscar ; Vilela, Joao P. ; Gomes, Marco;
PUBLISHED: 2024, SOURCE: IEEE International Mediterranean Conference on Communications and Networking (IEEE MeditCom) in 2024 IEEE INTERNATIONAL MEDITERRANEAN CONFERENCE ON COMMUNICATIONS AND NETWORKING, MEDITCOM 2024, PAGES: 209-214
AUTHORS: Martins, Oscar ; Vilela, Joao P. ; Gomes, Marco;
PUBLISHED: 2024, SOURCE: IEEE International Mediterranean Conference on Communications and Networking (IEEE MeditCom) in 2024 IEEE INTERNATIONAL MEDITERRANEAN CONFERENCE ON COMMUNICATIONS AND NETWORKING, MEDITCOM 2024, PAGES: 209-214
93
TITLE: Work in progress: Leveraging Virtual Escape Rooms for Innovative Computer Programming Learning Environments
AUTHORS: Queiros, Ricardo ; Pinto, Carla M. A. ; Cruz, Mario ;
PUBLISHED: 2024, SOURCE: IEEE World Engineering Education Conference (EDUNINE) in VIII IEEE WORLD ENGINEERING EDUCATION CONFERENCE, EDUNINE 2024
AUTHORS: Queiros, Ricardo ; Pinto, Carla M. A. ; Cruz, Mario ;
PUBLISHED: 2024, SOURCE: IEEE World Engineering Education Conference (EDUNINE) in VIII IEEE WORLD ENGINEERING EDUCATION CONFERENCE, EDUNINE 2024
94
TITLE: Yet Another Lock-Free Atom Table Design for Scalable Symbol Management in Prolog Full Text
AUTHORS: Moreno, Pedro ; Miguel Areias ; Rocha, Ricardo ; Costa, Vitor Santos ;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, VOLUME: 52, ISSUE: 3, PAGES: 187-206
AUTHORS: Moreno, Pedro ; Miguel Areias ; Rocha, Ricardo ; Costa, Vitor Santos ;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, VOLUME: 52, ISSUE: 3, PAGES: 187-206
95
TITLE: 4th International Computer Programming Education Conference, ICPEC 2023, June 26-28, 2023, Vila do Conde, Portugal
AUTHORS: Ricardo Alexandre Peixoto de Queirós ; Mario Paulo Teixeira Pinto;
PUBLISHED: 2023, SOURCE: ICPEC, VOLUME: 112
AUTHORS: Ricardo Alexandre Peixoto de Queirós ; Mario Paulo Teixeira Pinto;
PUBLISHED: 2023, SOURCE: ICPEC, VOLUME: 112
INDEXED IN: DBLP
DBLP96
TITLE: A Game with a Purpose for Building Crowdsourced Semantic Relations Datasets for Named Entities
AUTHORS: André Fernandes dos Santos ; José Paulo Leal ;
PUBLISHED: 2023, SOURCE: Proceedings of the Computing Conference 2023 in Lecture Notes in Networks and Systems, VOLUME: 739 LNNS, PAGES: 422-439
AUTHORS: André Fernandes dos Santos ; José Paulo Leal ;
PUBLISHED: 2023, SOURCE: Proceedings of the Computing Conference 2023 in Lecture Notes in Networks and Systems, VOLUME: 739 LNNS, PAGES: 422-439
INDEXED IN: Scopus CrossRef
Scopus CrossRef97
TITLE: A Gamified Educational Escape Rooms' Framework for Computer Programming Classes (Short Paper)
AUTHORS: Ricardo Queirós ; Carla M A Pinto ; Mário Cruz; Daniela Mascarenhas;
PUBLISHED: 2023, SOURCE: 4th International Computer Programming Education Conference, ICPEC 2023 in 4th International Computer Programming Education Conference, ICPEC 2023, June 26-28, 2023, Vila do Conde, Portugal, VOLUME: 112, PAGES: 6:1-6:8
AUTHORS: Ricardo Queirós ; Carla M A Pinto ; Mário Cruz; Daniela Mascarenhas;
PUBLISHED: 2023, SOURCE: 4th International Computer Programming Education Conference, ICPEC 2023 in 4th International Computer Programming Education Conference, ICPEC 2023, June 26-28, 2023, Vila do Conde, Portugal, VOLUME: 112, PAGES: 6:1-6:8
INDEXED IN: Scopus DBLP
Scopus DBLP98
TITLE: A Survey and Risk Assessment on Virtual and Augmented Reality Cyberattacks
AUTHORS: Tânia Silva; Sara Paiva ; Pedro Pinto ; António Pinto ;
PUBLISHED: 2023, SOURCE: 30th International Conference on Systems, Signals and Image Processing, IWSSIP 2023 in 30th International Conference on Systems, Signals and Image Processing, IWSSIP 2023, Ohrid, North Macedonia, June 27-29, 2023, VOLUME: 2023-June, PAGES: 1-5
AUTHORS: Tânia Silva; Sara Paiva ; Pedro Pinto ; António Pinto ;
PUBLISHED: 2023, SOURCE: 30th International Conference on Systems, Signals and Image Processing, IWSSIP 2023 in 30th International Conference on Systems, Signals and Image Processing, IWSSIP 2023, Ohrid, North Macedonia, June 27-29, 2023, VOLUME: 2023-June, PAGES: 1-5
99
TITLE: An Expressive Model for the Specification and Analysis of Obligations
AUTHORS: Maribel Fernandez; Sandra Alves ;
PUBLISHED: 2023
AUTHORS: Maribel Fernandez; Sandra Alves ;
PUBLISHED: 2023
INDEXED IN: CrossRef
CrossRef100
TITLE: An Online Anomaly Detection Approach for Fault Detection on Fire Alarm Systems Full Text
AUTHORS: Tome, Emanuel Sousa; Ribeiro, Rita P. P. ; Dutra, Ines ; Rodrigues, Arlete;
PUBLISHED: 2023, SOURCE: SENSORS, VOLUME: 23, ISSUE: 10, PAGES: 4902
AUTHORS: Tome, Emanuel Sousa; Ribeiro, Rita P. P. ; Dutra, Ines ; Rodrigues, Arlete;
PUBLISHED: 2023, SOURCE: SENSORS, VOLUME: 23, ISSUE: 10, PAGES: 4902
