Vincenzo Ciancia

Pubblicazioni

• 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))

Tutte le pubblicazioni di Vincenzo Ciancia su ARPI, l'archivio della Ricerca dell'Università di Pisa