Ciancia, Vincenzo

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 Bezhanishvili, Nick, Ciancia, Vincenzo, Gabelaia, David +4 · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)