Chiara Bodei | DeepAI

DeepAI

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

Featured Co-authors

Emilio Tuosto
14 publications
Letterio Galletta
13 publications
Pierpaolo Degano
7 publications
Roberto Bruni
6 publications
Linda Brodo
3 publications

research

∙ 07/09/2018

A Formal Approach to Open Multiparty Interactions

We present a process algebra aimed at describing interactions that are m...

0 Chiara Bodei, et al. ∙

research

∙ 11/30/2017

Tool Supported Analysis of IoT

The design of IoT systems could benefit from the combination of two diff...

0 Chiara Bodei, et al. ∙