Lovro Lugović | DeepAI

DeepAI

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

Featured Co-authors

Fabrizio Montesi
29 publications
Marco Peressotti
23 publications
Luís Cruz-Filipe
16 publications
Eva Graversen
3 publications

research

∙ 03/07/2023

Real-World Choreographic Programming: An Experience Report

Choreographic programming is a programming paradigm, whereby the overall...

0 Lovro Lugović, et al. ∙

research

∙ 03/07/2023

Certified Compilation of Choreographies with hacc

Programming communicating processes is challenging, because it requires ...

0 Luís Cruz-Filipe, et al. ∙

research

∙ 11/05/2021

Choreographies as Functions

We propose a new interpretation of choreographies as functions, whereby ...

0 Luís Cruz-Filipe, et al. ∙