Search

Your search keyword '"Ciancia, Vincenzo"' showing total 12 results

Search Constraints

Start Over You searched for: Author "Ciancia, Vincenzo" Remove constraint Author: "Ciancia, Vincenzo" Topic spatial logics Remove constraint Topic: spatial logics
12 results on '"Ciancia, Vincenzo"'

Search Results

1. Weak Simplicial Bisimilarity for Polyhedral Models and SLCS

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

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