default search action
Vincenzo Ciancia
- > Home > Persons > Vincenzo Ciancia
Publications
- 2024
- [c45]Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink:
Weak Simplicial Bisimilarity for Polyhedral Models and SLCSη. FORTE 2024: 20-38 - [i16]Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink:
Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta - Extended Version. CoRR abs/2404.06131 (2024) - 2023
- [c43]Vincenzo Ciancia, Jan Friso Groote, Diego Latella, Mieke Massink, Erik P. de Vink:
Minimisation of Spatial Models Using Branching Bisimilarity. FM 2023: 263-281 - [c42]Vincenzo Ciancia, David Gabelaia, Diego Latella, Mieke Massink, Erik P. de Vink:
On Bisimilarity for Polyhedral Models and SLCS. FORTE 2023: 132-151 - [i14]Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink:
On Bisimilarity for Quasi-discrete Closure Spaces. CoRR abs/2301.11634 (2023) - 2022
- [j10]Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Gianluca Grilletti, Diego Latella, Mieke Massink:
Geometric Model Checking of Continuous Space. Log. Methods Comput. Sci. 18(4) (2022) - [c41]Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink:
Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 98-115 - [c40]Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink:
Towards a GUI for Declarative Medical Image Analysis: Cognitive and Memory Load Issues. HCI (38) 2022: 103-111 - [c38]Laura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink:
On Binding in the Spatial Logics for Closure Spaces. ISoLA (1) 2022: 479-497 - 2021
- [c37]Laura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink:
Towards Model Checking Video Streams Using VoxLogicA on GPUs. DataMod 2021: 78-90 - [c36]Maurice H. ter Beek, Vincenzo Ciancia, Diego Latella, Mieke Massink, Giorgio Oronzo Spagnolo:
Spatial Model Checking for Smart Stations - Research Challenges. FMICS 2021: 39-47 - [c34]Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink:
Feasibility of Spatial Model Checking for Nevus Segmentation. FormaliSE@ICSE 2021: 1-12 - [c33]Gina Belmonte, Giovanna Broccia, Laura Bussi, Vincenzo Ciancia, Diego Latella, Mieke Massink:
Querying Medical Imaging Datasets Using Spatial Logics (Position Paper). MEDI Workshops 2021: 285-301 - [c32]Vincenzo Ciancia, Gina Belmonte, Diego Latella, Mieke Massink:
A Hands-On Introduction to Spatial Model Checking Using VoxLogicA - - Invited Contribution. SPIN 2021: 22-41 - [i13]Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Gianluca Grilletti, Diego Latella, Mieke Massink:
Geometric Model Checking of Continuous Space. CoRR abs/2105.06194 (2021) - [i12]Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink:
On Bisimilarities for Closure Spaces - Preliminary Version. CoRR abs/2105.06690 (2021) - 2020
- [j9]Fabrizio Banci Buonamici, Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink:
Spatial logics and model checking for medical imaging. Int. J. Softw. Tools Technol. Transf. 22(2): 195-217 (2020) - [i11]Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink:
Towards Spatial Bisimilarity for Closure Models: Logical and Coalgebraic Characterisations. CoRR abs/2005.05578 (2020) - [i9]Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink:
Using Spatial Logic and Model Checking for Nevus Segmentation. CoRR abs/2012.13289 (2020) - 2019
- [c31]Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink:
Innovating Medical Image Analysis via Spatial Logics. From Software Engineering to Formal Methods and Tools, and Back 2019: 85-109 - [c30]Vincenzo Ciancia, Diego Latella, Mieke Massink:
Embedding RCC8D in the Collective Spatial Logic CSLCS. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 260-277 - [c28]Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink:
VoxLogicA: A Spatial Model Checker for Declarative Image Analysis. TACAS (1) 2019: 281-298 - [i8]Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink:
VoxLogicA: a Spatial-Logic Based Tool for Declarative Image Analysis. ERCIM News 2019(118) (2019) - 2018
- [j8]Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink:
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL. Log. Methods Comput. Sci. 14(4) (2018) - [j7]Vincenzo Ciancia, Stephen Gilmore, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink:
Spatio-temporal model checking of vehicular movement in public transport systems. Int. J. Softw. Tools Technol. Transf. 20(3): 289-311 (2018) - [i7]Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink:
VoxLogicA: a Spatial Model Checker for Declarative Image Analysis (Extended Version). CoRR abs/1811.05677 (2018) - [i6]Fabrizio Banci Buonamici, Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink:
Spatial Logics and Model Checking for Medical Imaging (Extended Version). CoRR abs/1811.06065 (2018) - 2017
- [i5]Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink:
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL. CoRR abs/1706.09334 (2017) - 2016
- [j5]Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink:
Model Checking Spatial Logics for Closure Spaces. Log. Methods Comput. Sci. 12(4) (2016) - [c26]Vincenzo Ciancia, Diego Latella, Mieke Massink:
On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination. COORDINATION 2016: 67-83 - [c25]Vincenzo Ciancia, Diego Latella, Mieke Massink, Rytis Paskauskas, Andrea Vandin:
A Tool-Chain for Statistical Spatio-Temporal Model Checking of Bike Sharing Systems. ISoLA (1) 2016: 657-673 - [c24]Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink:
Spatial Logic and Spatial Model Checking for Closure Spaces. SFM 2016: 156-201 - [c22]Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink:
From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging. FORECAST@STAF 2016: 81-92 - 2015
- [c20]Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink:
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties. RV 2015: 21-37 - [c19]Vincenzo Ciancia, Diego Latella, Mieke Massink, Rytis Paskauskas:
Exploring Spatio-temporal Properties of Bike-Sharing Systems. SASO Workshops 2015: 74-79 - [c18]Vincenzo Ciancia, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink:
An Experimental Spatio-Temporal Model Checker. SEFM Workshops 2015: 297-311 - 2014
- [c17]Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink:
Specifying and Verifying Properties of Space. IFIP TCS 2014: 222-235 - [c16]Vincenzo Ciancia, Stephen Gilmore, Diego Latella, Michele Loreti, Mieke Massink:
Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data. SASO Workshops 2014: 32-37 - [i4]Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink:
Specifying and Verifying Properties of Space - Extended Version. CoRR abs/1406.6393 (2014) - [i3]Maurice H. ter Beek, Luca Bortolussi, Vincenzo Ciancia, Stefania Gnesi, Jane Hillston, Diego Latella, Mieke Massink:
A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities. ERCIM News 2014(98) (2014)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-05 01:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint