Angelo Morzenti | DeepAI

DeepAI

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

Featured Co-authors

Carlo A. Furia
12 publications
Matteo Rossi
8 publications
Dino Mandrioli
5 publications
Matteo Pradella
5 publications
Davide Martinenghi
2 publications

research

∙ 01/25/2023

Lecture Notes on Monadic First- and Second-Order Logic on Strings

These notes present the essentials of first- and second-order monadic lo...

0 Dino Mandrioli, et al. ∙

research

∙ 07/25/2008

Modeling Time in Computing: A Taxonomy and a Comparative Survey

The increasing relevance of areas such as real-time and embedded systems...

0 Carlo A. Furia, et al. ∙