| Publication | Date of Publication | Type |
|---|
| A spatial logic with time and quantifiers | 2024-05-29 | Paper |
Embedding RCC8D in the collective spatial logic CSLCS
Models, Languages, and Tools for Concurrent and Distributed Programming | 2024-02-23 | Paper |
| On bisimilarity for polyhedral models and \texttt{SLCS} | 2024-01-11 | Paper |
Minimisation of spatial models using branching bisimilarity
Formal Methods | 2023-08-17 | Paper |
Back-and-forth in space: on logics and bisimilarity in closure spaces
Lecture Notes in Computer Science | 2023-07-26 | Paper |
| scientific article; zbMATH DE number 7649888 (Why is no real title available?) | 2023-02-03 | Paper |
Geometric Model Checking of Continuous Space
Logical Methods in Computer Science | 2023-01-09 | Paper |
An Experimental Spatio-Temporal Model Checker
Software Engineering and Formal Methods | 2021-05-18 | Paper |
| scientific article; zbMATH DE number 7168171 (Why is no real title available?) | 2020-02-17 | Paper |
Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
(available as arXiv preprint) | 2018-11-02 | Paper |
Exploring nominal cellular automata
Journal of Logical and Algebraic Methods in Programming | 2017-10-13 | Paper |
Model checking spatial logics for closure spaces
Logical Methods in Computer Science | 2017-04-11 | Paper |
Spatial logic and spatial model checking for closure spaces
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems | 2016-10-04 | Paper |
A class of automata for the verification of infinite, resource-allocating behaviours
Trustworthy Global Computing | 2016-06-09 | Paper |
Specifying and Verifying Properties of Space
Advanced Information Systems Engineering | 2014-09-15 | Paper |
A name abstraction functor for named sets
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
Co-algebraic models for quantitative spatial logics
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras
Algebra and Coalgebra in Computer Science | 2013-09-13 | Paper |
A presheaf environment for the explicit fusion calculus
Journal of Automated Reasoning | 2013-08-01 | Paper |
Families of symmetries as efficient models of resource binding
Electronic Notes in Theoretical Computer Science | 2012-10-02 | Paper |
Stream Automata Are Coalgebras
Coalgebraic Methods in Computer Science | 2012-09-20 | Paper |
Freshness and Name-Restriction in Sets of Traces with Names
Foundations of Software Science and Computational Structures | 2011-05-19 | Paper |
Symmetries, local names and dynamic (de)-allocation of names
Information and Computation | 2011-01-14 | Paper |
Event based choreography
Science of Computer Programming | 2010-08-26 | Paper |
A Category of Explicit Fusions
Concurrency, Graphs and Models | 2008-06-19 | Paper |
History Dependent Automata for Service Compatibility
Concurrency, Graphs and Models | 2008-06-19 | Paper |
