Diego Latella

1. VoxLogicA: a Spatial Model Checker for Declarative Image Analysis (Extended Version)
   2018/11/14 by Gina Belmonte, Belmonte, Gina, Vincenzo Ciancia +5 · 1 citation
   Computer Science · Neuroscience · #Advanced Neural Network Applications #Brain Tumor Detection and Classification #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Medical Image Segmentation Techniques
2. Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta -- Extended Version
   2024/04/09 by Nick Bezhanishvili, Bezhanishvili, Nick, Vincenzo Ciancia +11 · 1 citation
   Computer Science · Mathematics · #Computational Geometry and Mesh Generation #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Mathematics and Applications