Ana Almeida Matos | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

António Ravara
11 publications
Hervé Paulino
5 publications
Marco Giunti
3 publications
Jan Cederquist
2 publications
joao-matos
1 publication

research

∙ 09/11/2023

Sound Atomicity Inference for Data-Centric Synchronization

Data-Centric Concurrency Control (DCCC) shifts the reasoning about concu...

0 Hervé Paulino, et al. ∙

research

∙ 01/04/2019

Information flow in a distributed security setting

Information flow security is classically formulated in terms of the abse...

0 Ana Almeida Matos, et al. ∙