Cookies Policy
We use cookies to improve our site and your experience. By continuing to browse our site you accept our cookie policy. Find out More
Close
  • 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
Computer Science

New INESC TEC publication on Supporting Tools for Development

Ricardo Queirós, collaborator of INESC TEC’s Centre for Research in Advanced Computing Systems (CRACS) published a new book entitled "Code Generation, Analysis Tools, and Testing for Quality".

18th February 2019

Computer Science

INESC TEC in second place of Grow Innovation Award

HealthySystems, a startup that focuses on IT security, auditing, consultancy and data protection, won the second place of Grow Innovation Award 2018, which was promoted by the José de Mello Group, receiving a EUR 6000 award in the process.

02nd January 2019

Computer Science

New INESC TEC publication on Technologies for the Web

Ricardo Queirós, collaborator of INESC TEC’s Centre for Research in Advanced Computing Systems (CRACS) published a new book entitled "Introdução ao Desenvolvimento Moderno para a Web - Do front-end ao back-end: uma visão global!” (“Introduction to the Modern Development for the Web - From the front-end to the back-end: a global vision!”).

20th November 2018

New coordination of R&D centres in INESC TEC

As a result of the election of the new associative bodies of INESC TEC, resulting in the nomination of some Coordinators of Centres to the Board, there was the need to identify new leaderships for the Centre for Power and Energy Systems (CPES) and for the Centre for Telecommunications and Multimedia (CTM).

05th July 2018

Computer Science

Former INESC TEC coordinator elected vice-rector of the University of Porto

Fernando Silva, former coordinator of the Center for Research in Advanced Computing Systems (CRACS), is the new vice-rector of the University of Porto (U.Porto) for the Information and Communication Technologies field.

29th June 2018

Interest Topics
028

Featured Projects

Angerona

Privacy preserving IOT middleware

2018-2019

CRADLE

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

2018-2021

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

2019

Temporal network alignment via GoT-WAVE

Authors
Aparício, D; Ribeiro, P; Milenkovic, T; Silva, F;

Publication
Bioinformatics

Abstract

2019

Multi-dimensional lock-free arrays for multithreaded mode-directed tabling in Prolog

Authors
Areias, M; Rocha, R;

Publication
Concurrency and Computation: Practice and Experience

Abstract

2019

ArrayExpress update – from bulk to single-cell expression data

Authors
Athar, A; Füllgrabe, A; George, N; Iqbal, H; Huerta, L; Ali, A; Snow, C; Fonseca, NA; Petryszak, R; Papatheodorou, I; Sarkans, U; Brazma, A;

Publication
Nucleic Acids Research

Abstract

2019

Are Deep Learning Methods Ready for Prime Time in Fingerprints Minutiae Extraction?

Authors
Rebelo, A; Oliveira, T; Correia, ME; Cardoso, JS;

Publication
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications - Lecture Notes in Computer Science

Abstract

2019

On the interoperability of european national identity cards

Authors
Shehu, AS; Pinto, A; Correia, ME;

Publication
Advances in Intelligent Systems and Computing

Abstract
Electronic identity (eID) schemes are key enablers of secure digital services. eIDs have been adopted in several European countries using smart-cards for secure authentication and authorization. Towards achieving a European digital single market where European citizens can seamlessly access cross-border public services using their national eIDs, the European Union (EU) developed the electronic IDentification, Authentication and trust Services (eIDAS) regulation. eIDAS creates an interoperable framework that integrates the eIDs adopted in the EU Member States (MS). It is also an enabler of a cross-border operation, harmonized with the General Data Protection Regulation (GDPR) regulation by protecting the privacy of personal data. If one can use the same procedure for authentication and authorization abroad, one can better understand new services that use eIDs. This paper provides a comparative analysis of eID cards adopted in EU MS and their privacy features in preparedness for eIDs cross-border interoperation. © Springer Nature Switzerland AG 2019.

Supervised Theses

2018

Assessing Complexity of Physiological Interactions

Author
Teresa Sarmento Henriques

Institution
UP-FM

2018

Linear Logic and Coordination for Parallel Programming

Author
Flávio Manuel Fernandes Cruz

Institution
Outra

2018

Social Media Governance in the Public Portuguese Polytechnical

Author
Luciana Gomes de Oliveira

Institution
Outra

2017

Establishing Trust and Confidence Among Entities in Distributed Networks

Author
Francis Nwebonyi Nwebonyi

Institution
UP-FCUP

2017

Scheduling Computations Over High Churn Networks of Mobile Devices

Author
Joaquim Magalhães Esteves da Silva

Institution
UP-FCUP

Facts & Figures

114R&D Services and Consulting (k€)

2016

16Senior Researchers

2016

497Turnover (k€)

2016