Vítor Santos Costa

Domains

Advanced Computing Systems Artificial Intelligence Computer Science and Engineering

Projects

Digi-NewB

"The main objective is to improve care for newborns in neonatal units, reducing mortality, morbidity and health costs.

Non-invasive monitoring of perinatal health through multiparametric digital representation of clinically relevant functions for improving clinical intervention in neonatal units (Digi-NewB)

ELVEN

View all projects

Publications

Yet Another Lock-Free Atom Table Design for Scalable Symbol Management in Prolog

Moreno, P;Areias, M;Rocha, R;Costa, VS;

2024

INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING

Fifty Years of Prolog and Beyond

Körner, P;Leuschel, M;Barbosa, J;Costa, VS;Dahl, V;Hermenegildo, MV;Morales, JF;Wielemaker, J;Diaz, D;Abreu, S;

2022

Theory Pract. Log. Program.

Using Balancing Methods to Improve Glycaemia-Based Data Mining

Machado, D;Costa, VS;Brandão, P;

2023

Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2023, Volume 5: HEALTHINF, Lisbon, Portugal, February 16-18, 2023.

Query transformations for improving the efficiency of ILP systems

Costa, VS;Srinivasan, A;Camacho, R;Blockeel, H;Demoen, B;Janssens, G;Struyf, J;Vandecasteele, H;Van Laer, W;

2004

JOURNAL OF MACHINE LEARNING RESEARCH

View all publications

Supervised theses

Guidelines to introduce Internet voting in Portuguese elections based on the Estonian case stuty

Marlon Vinícius Andrade de Luna Freire

D - 2023

UP-FEUP

Centres

Advanced Computing Systems

The Centre for Advanced Computing Systems (CRACS) strives for scientific excellence in the areas of programming languages, parallel and distributed computing, information mining, security and privacy, focusing on developing scalable software systems for multidisciplinary applications in Engineering, Life Sciences, Social Networks, the Internet of Things, and more. We explore deep theoretical and practical knowledge related to the design and development of programming languages and middleware for advanced computing systems - including parallel, distributed, high-performance, cloud, wireless, and IoT systems -, while mastering the concepts and methodologies that underpin trust, privacy, and security in computing systems. Our research environment brings together talented junior and senior researchers, most of whom are university lecturers. Together, they form the critical mass and scientific expertise required to fulfil our mission.