Vincenzo Ciancia

Available identifiers

zbMath Open ciancia.vincenzoWikidataQ109777670 ScholiaQ109777670MaRDI QIDQ618164

List of research outcomes

Publication	Date of Publication	Type
Embedding RCC8D in the collective spatial logic CSLCS	2024-02-23	Paper
Minimisation of spatial models using branching bisimilarity	2023-08-17	Paper
Back-and-forth in space: on logics and bisimilarity in closure spaces	2023-07-26	Paper
https://portal.mardi4nfdi.de/entity/Q5875345	2023-02-03	Paper
Geometric Model Checking of Continuous Space	2023-01-09	Paper
An Experimental Spatio-Temporal Model Checker	2021-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q5216327	2020-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q4553288	2018-11-02	Paper
Exploring nominal cellular automata	2017-10-13	Paper
Model Checking Spatial Logics for Closure Spaces	2017-04-11	Paper
Spatial Logic and Spatial Model Checking for Closure Spaces	2016-10-04	Paper
A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours	2016-06-09	Paper
Specifying and Verifying Properties of Space	2014-09-15	Paper
A Name Abstraction Functor for Named Sets	2014-01-24	Paper
Co-Algebraic Models for Quantitative Spatial Logics	2014-01-17	Paper
Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras	2013-09-13	Paper
A presheaf environment for the explicit fusion calculus	2013-08-01	Paper
Families of Symmetries as Efficient Models of Resource Binding	2012-10-02	Paper
Stream Automata Are Coalgebras	2012-09-20	Paper
Freshness and Name-Restriction in Sets of Traces with Names	2011-05-19	Paper
Symmetries, local names and dynamic (de)-allocation of names	2011-01-14	Paper
Event based choreography	2010-08-26	Paper
A Category of Explicit Fusions	2008-06-19	Paper
History Dependent Automata for Service Compatibility	2008-06-19	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Vincenzo Ciancia