default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDVincenzo Ciancia
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c47]Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Fernández-Duque, David Gabelaia:
Logics of Polyhedral Reachability. AiML 2024: 187-204- [c46]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 - [c45]Gina Belmonte, Laura Bussi, Vincenzo Ciancia, Diego Latella, Mieke Massink:
Towards Hybrid-AI in Imaging Using VoxLogicA. ISoLA (4) 2024: 205-221 - [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) - [i15]Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Fernández-Duque, David Gabelaia:
Logics of polyhedral reachability. CoRR abs/2406.16056 (2024) - 2023
- [j11]Davide Basile, Maurice H. ter Beek, Laura Bussi, Vincenzo Ciancia:
A toolchain for strategy synthesis with spatial properties. Int. J. Softw. Tools Technol. Transf. 25(5): 641-658 (2023) - [c44]Laura Bussi, Vincenzo Ciancia, Fabio Gadducci:
A Spatial Logic with Time and Quantifiers. DaLí 2023: 1-19 - [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 - [d1]Davide Basile, Maurice H. ter Beek, Laura Bussi, Vincenzo Ciancia:
A Toolchain for Strategy Synthesis with Spatial Properties - Complementary Material. Zenodo, 2023
- [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 - [c39]Davide Basile, Maurice H. ter Beek, Vincenzo Ciancia:
An Experimental Toolchain for Strategy Synthesis with Spatial Properties. ISoLA (3) 2022: 142-164 - [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 - [c35]Laura Bussi, Vincenzo Ciancia, Fabio Gadducci:
Towards a Spatial Model Checker on GPU. FORTE 2021: 188-196 - [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) - [i10]Laura Bussi, Vincenzo Ciancia, Fabio Gadducci:
A spatial model checker in GPU (extended version). CoRR abs/2010.07284 (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)
2010 – 2019
- 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 - [c29]Vincenzo Ciancia, Yde Venema:
Omega-Automata: A Coalgebraic Perspective on Regular omega-Languages. CALCO 2019: 5:1-5:18 - [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) - [c27]Davide Basile, Maurice H. ter Beek, Vincenzo Ciancia:
Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC - Experience and Outlook. ISoLA (2) 2018: 372-391 - [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
- [j6]Tommaso Bolognesi, Vincenzo Ciancia:
Exploring nominal cellular automata. J. Log. Algebraic Methods Program. 93: 23-41 (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 - [c23]Tommaso Bolognesi, Vincenzo Ciancia:
Nominal Cellular Automata. ICE 2016: 24-35 - [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
- [c21]Vincenzo Ciancia:
From urelements to Computation - A Journey Through Applications of Fraenkel's Permutation Model in Computer Science. HaPoC 2015: 141-155 - [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
- [j4]Vincenzo Ciancia, José Antonio Martín, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Ernesto Pimentel:
Automated Synthesis and Ranking of Secure BPMN Orchestrators. Int. J. Secur. Softw. Eng. 5(2): 44-64 (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 - [c15]Vincenzo Ciancia, Matteo Sammartino:
A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours. TGC 2014: 97-111 - [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) - 2013
- [c14]Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, José Antonio Martín, Ernesto Pimentel:
Automated Synthesis and Ranking of Secure BPMN Orchestrators. ARES 2013: 455-464 - [c13]Vincenzo Ciancia:
Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras. CALCO 2013: 110-125 - [c12]Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci, Charles Morisset:
Quantitative Evaluation of Enforcement Strategies - Position Paper. FPS 2013: 178-186 - [i2]Vincenzo Ciancia, Matteo Sammartino:
A decidable class of (nominal) omega-regular languages over an infinite alphabet. CoRR abs/1310.3945 (2013) - 2012
- [j3]Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci:
A Presheaf Environment for the Explicit Fusion Calculus. J. Autom. Reason. 49(2): 161-183 (2012) - [c11]Vincenzo Ciancia, Yde Venema:
Stream Automata Are Coalgebras. CMCS 2012: 90-108 - [c10]Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, José Antonio Martín, Ernesto Pimentel:
A tool for the synthesis of cryptographic orchestrators. MDsec@MoDELS 2012: 10 - [i1]Vincenzo Ciancia:
Interaction and observation: categorical semantics of reactive systems trough dialgebras. CoRR abs/1209.5903 (2012) - 2011
- [c9]Murdoch James Gabbay, Vincenzo Ciancia:
Freshness and Name-Restriction in Sets of Traces with Names. FoSSaCS 2011: 365-380 - [c8]Vincenzo Ciancia:
Interaction and observation, categorically. ICE 2011: 25-36 - [p1]Vincenzo Ciancia, Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto:
Model-Driven Development of Long Running Transactions. Results of the SENSORIA Project 2011: 326-348 - 2010
- [j2]Vincenzo Ciancia, Ugo Montanari:
Symmetries, local names and dynamic (de)-allocation of names. Inf. Comput. 208(12): 1349-1367 (2010) - [j1]Vincenzo Ciancia, Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo:
Event based choreography. Sci. Comput. Program. 75(10): 848-878 (2010) - [c7]Vincenzo Ciancia, Alexander Kurz, Ugo Montanari:
Families of Symmetries as Efficient Models of Resource Binding. CMCS@ETAPS 2010: 63-81
2000 – 2009
- 2008
- [b1]Vincenzo Ciancia:
Accessible functors and final coalgebras for named sets. University of Pisa, Italy, 2008 - [c6]Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci:
A Category of Explicit Fusions. Concurrency, Graphs and Models 2008: 544-562 - [c5]Vincenzo Ciancia, Gian-Luigi Ferrari, Marco Pistore, Emilio Tuosto:
History Dependent Automata for Service Compatibility. Concurrency, Graphs and Models 2008: 625-641 - [c4]Vincenzo Ciancia, Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo:
Checking Correctness of Transactional Behaviors. FORTE 2008: 134-148 - [c3]Vincenzo Ciancia, Ugo Montanari:
A Name Abstraction Functor for Named Sets. CMCS 2008: 49-70 - [c2]Vincenzo Ciancia, Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo:
Global Coordination Policies for Services. FACS 2008: 73-89 - 2007
- [c1]Vincenzo Ciancia, Gian-Luigi Ferrari:
Co-Algebraic Models for Quantitative Spatial Logics. QAPL 2007: 43-58
Coauthor Index
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-12-02 21:27 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
