Vincenzo Ciancia

From MaRDI portal
Person:618164

Available identifiers

zbMath Open ciancia.vincenzoDBLP50/1930WikidataQ109777670 ScholiaQ109777670MaRDI QIDQ618164

List of research outcomes





PublicationDate of PublicationType
A spatial logic with time and quantifiers2024-05-29Paper
Embedding RCC8D in the collective spatial logic CSLCS2024-02-23Paper
On bisimilarity for polyhedral models and \texttt{SLCS}2024-01-11Paper
Minimisation of spatial models using branching bisimilarity2023-08-17Paper
Back-and-forth in space: on logics and bisimilarity in closure spaces2023-07-26Paper
https://portal.mardi4nfdi.de/entity/Q58753452023-02-03Paper
Geometric Model Checking of Continuous Space2023-01-09Paper
An Experimental Spatio-Temporal Model Checker2021-05-18Paper
https://portal.mardi4nfdi.de/entity/Q52163272020-02-17Paper
Qualitative and quantitative monitoring of spatio-temporal properties with SSTL2018-11-02Paper
Exploring nominal cellular automata2017-10-13Paper
Model checking spatial logics for closure spaces2017-04-11Paper
Spatial logic and spatial model checking for closure spaces2016-10-04Paper
A class of automata for the verification of infinite, resource-allocating behaviours2016-06-09Paper
Specifying and Verifying Properties of Space2014-09-15Paper
A name abstraction functor for named sets2014-01-24Paper
Co-algebraic models for quantitative spatial logics2014-01-17Paper
Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras2013-09-13Paper
A presheaf environment for the explicit fusion calculus2013-08-01Paper
Families of symmetries as efficient models of resource binding2012-10-02Paper
Stream Automata Are Coalgebras2012-09-20Paper
Freshness and Name-Restriction in Sets of Traces with Names2011-05-19Paper
Symmetries, local names and dynamic (de)-allocation of names2011-01-14Paper
Event based choreography2010-08-26Paper
A Category of Explicit Fusions2008-06-19Paper
History Dependent Automata for Service Compatibility2008-06-19Paper

Research outcomes over time

This page was built for person: Vincenzo Ciancia