Vincenzo Ciancia

Available identifiers

zbMath Open ciancia.vincenzoDBLP50/1930WikidataQ109777670 ScholiaQ109777670MaRDI QIDQ618164

List of research outcomes

Publication	Date of Publication	Type
A spatial logic with time and quantifiers	2024-05-29	Paper
Embedding RCC8D in the collective spatial logic CSLCS	2024-02-23	Paper
On bisimilarity for polyhedral models and \texttt{SLCS}	2024-01-11	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
Qualitative and quantitative monitoring of spatio-temporal properties with SSTL	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

This page was built for person: Vincenzo Ciancia