Ana Oliveira da Costa | DeepAI

DeepAI

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

Featured Co-authors

Ezio Bartocci
43 publications
Thomas A. Henzinger
30 publications
Dejan Nickovic
18 publications
Thomas Ferrère
3 publications

research

∙ 05/05/2021

Flavours of Sequential Information Flow

Information-flow policies prescribe which information is available to a ...

0 Ezio Bartocci, et al. ∙

research

∙ 02/15/2020

Information-Flow Interfaces

Contract-based design is a promising methodology for taming the complexi...

0 Ezio Bartocci, et al. ∙