Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Facts & Numbers
000
Presentation

Advanced Computing Systems

At CRACS, our mission is to pursue scientific excellence in the areas of programming languages, parallel and distributed computing, security and privacy, information mining, and Web based systems with a focus on developing scalable software systems for challenging, multidisciplinary applications.

Our research environment is enriched with junior talented researchers that together with senior researchers build the necessary critical mass and scientific competences to fulfill the institution’s mission.

Latest News

INESC TEC researchers win Best Application Paper Award

The paper "A Framework for On-Demand Reporting of Cryptocurrency Ownership and Provenance" co-authored by António Pinto, a researcher at the Centre for Advanced Computing Systems (CRACS) and by Pedro Pinto, a researcher at the Centre for Telecommunications and Multimedia (CTM) of INESC TEC, received the Best Application Paper Award at the International Congress on Blockchain and Applications (BLOCKCHAIN'20).

21st October 2020

Computer Science

INESC TEC researcher organised the first International Conference dedicated to teaching computer programming

Ricardo Queirós, researcher at the Centre for Advanced Computing Systems (CRACS), and lecturer at the School of Media Arts and Design of the Polytechnic of Porto (IPP-ESMAD), was one of the organisers of ICPEC. 

23rd September 2020

Computer Science

INESC TEC developed a tool to detect and prevent cyber-attacks attacks in Europe

With the increasing use of I.T. by military units and command structures, cyber-threats and possible issues affecting the defence resources of the EU Member-States are becoming a reality that ought to be addressed, since a cyber-attack can compromise the security and integrity of countries, and even lead to the loss of human lives.

23rd September 2020

Computer Science

INESC TEC researcher publishes new book dedicated to the development of web applications

Ricardo Queirós, researcher at the Centre for Advanced Computing Systems (CRACS), and lecturer at the School of Media Arts and Design of the Polytechnic of Porto (IPP-ESMAD), published, in August this year, a new book entitled Desenvolvimento Avançado para Web – do front-end ao back-end.

22nd September 2020

Computer Science

INESC TEC organises workshops in the fields of Logic and Verification

Sandra Alves, researcher at INESC TEC’s Centre for Advanced Computing Systems (CRACS), was involved in the organisation of the fourth edition of the Women in Logic (WiL) workshop and the second edition of the Linearity & TLLA workshop.

27th July 2020

Interest Topics
036

Featured Projects

PANDORA

Cyber Defence Platform for Real-time Threat Hunting, Incident Response and Information Sharing

2020-2022

Cortaderia

Desenvolvimento de Software para Monitorização da Espécie Invasora Cortaderia selloana

2020-2020

Authenticus19_20

Consultoria Tecnológica em Sistemas CRIS e Cálculo de APC

2019-2020

T4CDTKC

Training 4 Cotec, Digital Transformation Knowledge Challenge - Elaboração de Programa de Formação “CONHECER E COMPREENDER O DESAFIO DAS TECNOLOGIAS DE TRANSFORMAÇÃO DIGITAL”

2019-2020

Angerona

Privacy preserving IOT middleware

2018-2019

FGPE

Framework for Gamified Programming Education

2018-2021

AuthenticusNF

Desenvolvimento de Indicadores de Produção Científica Baseados no Authenticus

2018-2018

PGODISSEIA

Serviço de instalação e configuração de uma plataforma de autenticação, implementação de solução de gestão centralizada de certificados digitais, auditoria de segurança (pen-testing) e análise de impacto de privacidade dos tratamentos de dados pessoais das plataformas de integração e autenticação

2018-2019

CRADLE

Deep learning in cancer drug discovery: a pipeline for the generation of new therapies

2018-2021

Authenticus2019

Apoio Técnico ao CINTESIS para extração de indicadores de produção científica baseados no Authenticus

2018-2018

ELVEN

Elven - Expressive Logics for VErifying the Net

2016-2019

Digi-NewB

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

2016-2020

FOUREYES

TEC4Growth - RL FourEyes - Intelligence, Interaction, Immersion and Innovation for media industries

2015-2019

NanoStima-RL5

NanoSTIMA - Advanced Methodologies for Computer-Aided Detection and Diagnosis

2015-2019

NanoStima-RL3

NanoSTIMA - Health data infrastructure

2015-2019

NanoStima-RL4

NanoSTIMA - Health Data Analysis & Decision

2015-2019

SMILES

SMILES - Smart, Mobile, Intelligent and Large scale Sensing and analytics

2015-2019

FOTOCATGRAF

Graphene-based semiconductor photocatalysis for a safe and sustainable water supply: an advanced technology for emerging pollutants removal

2015-2018

REMINDS

Relevance Mining and Detection System (REMINDS)

2015-2017

PANF

Methods to retrieve and communicate data from Sifarma

2015-2016

SEA

SEA-Sistema de ensino autoadaptativo

2015-2015

MGI

Contrato de Aquisição de serviços de produção e desenvolvimento de módulo para gestão de iterações para integrar no sistema de informação da UP (SIGARRA)

2015-2015

Hyrax

Crowd-Sourcing Mobile Devices to Develop Edge Clouds

2014-2018

DAT

Curation and intelligent data analysis

2014-2015

ABLe

Advice-Based Learning for Health Care

2013-2015

Authenticus

Authenticus - System to Identify and Validate Portuguese Scientific Publications

2013-2016

SIBILA

Towards Smart Interacting Blocks that Improve Learned Advice

2013-2015

ADE

Adverse Drug Effects Detection

2012-2015

e-Policy

Engineering for the Policy-making Life Cycle (ePolicy)

2011-2014

Leap

Logic environments with Advanced Paralelism

2011-2014

MACAW

Macroprogramming for Wireless Sensor Networks

2011-2014

Breadcrumbs

Social network based on personal libraries of news fragments

2010-2012

Ofelia

Open Federated Environments Leveraging Identity and Authorization

2010-2013

Horus

Horn Representations of Uncertain Systems

2010-2013

DIGISCOPE

DIGItally enhanced stethosCOPE for clinical usage

2010-2013

Palco3.0

Intelligent Web system to support the management of a social network on music

2008-2011

Team
Publications

CRACS Publications

View all Publications

2021

A Survey on Subgraph Counting: Concepts, Algorithms and Applications to Network Motifs and Graphlets

Authors
Ribeiro, P; Paredes, P; Silva, MEP; Aparicio, D; Silva, F;

Publication
CoRR

Abstract

2021

Time series analysis via network science: Concepts and algorithms

Authors
Silva, VF; Silva, ME; Ribeiro, P; Silva, F;

Publication
WIREs Data Mining and Knowledge Discovery

Abstract

2021

On the correctness and efficiency of a novel lock-free hash trie map design

Authors
Areias, M; Rocha, R;

Publication
J. Parallel Distributed Comput.

Abstract
Hash tries are a trie-based data structure with nearly ideal characteristics for the implementation of hash maps. In this paper, we present a novel, simple and scalable hash trie map design that fully supports the concurrent search, insert and remove operations on hash maps. To the best of our knowledge, our proposal is the first that puts together the following characteristics: (i) be lock-free; (ii) use fixed size data structures; and (iii) maintain the access to all internal data structures as persistent memory references. Our design is modular enough to allow different types of configurations aimed for different performances in memory usage and execution time and can be easily implemented in any type of language, library or within other complex data structures. We discuss in detail the key algorithms required to easily reproduce our implementation by others and we present a proof of correctness showing that our proposal is linearizable and lock-free for the search, insert and remove operations. Experimental results show that our proposal is quite competitive when compared against other state-of-the-art proposals implemented in Java. © 2021 Elsevier Inc.

2021

Evaluating cybersecurity attitudes and behaviors in Portuguese healthcare institutions

Authors
Nunes, P; Antunes, M; Silva, C;

Publication
Procedia Computer Science

Abstract

2021

Simple Matrix Factorization Collaborative Filtering for Drug Repositioning on Cell Lines

Authors
Carrera, I; Tejera, E; Dutra, I;

Publication
Proceedings of the 14th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2021, Volume 5: HEALTHINF, Online Streaming, February 11-13, 2021.

Abstract

Supervised Theses

2020

Gaussian Processes for Automatic Optimization of Spinal Electrical Stimulation

Author
Pedro Abranches de Figueiredo Simões de Carvalho

Institution
UP-FCUP

2020

Lock-Free Memory Reclamation for Concurrent Hash Tries

Author
Paulo Jorge Teixeira Rosa

Institution
UP-FCUP

2020

Predictive Analytics for Dependent Data

Author
Mariana Rafaela Figueiredo Ferreira de Oliveira

Institution
UP-FCUP

2020

Multidimensional Time Series Analysis: A Complex Networks Approach

Author
Vanessa Alexandra Freitas da Silva

Institution
UP-FCUP

2020

Anomaly Detection in Cybersecurity

Author
Maria Inês Pinto Bastos Martins

Institution
UP-FCUP

Facts & Figures

16Senior Researchers

2016

59Researchers

2016

7Proceedings in indexed conferences

2020