12 results on '"Ciancia, Vincenzo"'
Search Results
2. On Bisimilarity for Polyhedral Models and SLCS
3. Minimisation of Spatial Models Using Branching Bisimilarity
4. On Binding in the Spatial Logics for Closure Spaces
5. Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces
6. Querying Medical Imaging Datasets Using Spatial Logics (Position Paper)
7. Towards a Spatial Model Checker on GPU
8. Spatial logics and model checking for medical imaging
9. Innovating Medical Image Analysis via Spatial Logics
10. Embedding RCC8D in the Collective Spatial Logic CSLCS
11. VoxLogicA: A Spatial Model Checker for Declarative Image Analysis
12. Co-Algebraic Models for Quantitative Spatial Logics.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.