Email: vincenzoml@gmail.com
Profile
Teaching
Teaching activity
Teaching responsibility for modules/courses
- Formal and hybrid methods for medical imaging (cod. 0013A) per Laurea Magistrale in Informatics for digital health
Incarichi di co-docenza in moduli/insegnamenti
- Linguaggi di Programmazione con Laboratorio (Cod. 063AA) per Laurea in Matematica
Research
Publications
- A Spatial Logic with Time and Quantifiers (Bussi, Laura; Ciancia, Vincenzo; Gadducci, Fabio - 2024 - 4.1 Contributo in Atti di convegno)
- Towards Model Checking Video Streams Using VoxLogicA on GPUs (Bussi, L.; Ciancia, V.; Gadducci, F.; Latella, D.; Massink, M. - 2022 - 4.1 Contributo in Atti di convegno)
- On Binding in the Spatial Logics for Closure Spaces (Bussi, L.; Ciancia, V.; Gadducci, F.; Latella, D.; Massink, M. - 2022 - 4.1 Contributo in Atti di convegno)
- Towards a Spatial Model Checker on GPU (Bussi, L.; Ciancia, V.; Gadducci, F. - 2021 - 4.1 Contributo in Atti di convegno)
- ISTI Young Research Award 2017 (Barsocchi, Paolo; Basile, Davide; Candela, Leonardo; Ciancia, Vincenzo; Dellepiane, Matteo; Esuli, Andrea; Ferrari, Alessio; Girardi, Maria; Guidotti, Riccardo; Lonetti, Francesca; Moroni, Davide; Nardini, FRANCO MARIA; Rinzivillo, Salvatore; Vadicamo, Lucia - 2017 - 5.12 Altro)
- A presheaf environment for the calculus of explicit fusions (Bonchi, F.; Buscemi, M.; Ciancia, Vincenzo; Gadducci, Fabio - 2012 - 1.1 Articolo in rivista)
- A category of explicit fusions (Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio - 2008 - 2.1 Contributo in volume (Capitolo o Saggio))