research
∙
05/05/2023
Specification and verification of a linear-time logic for graph transformation
We present a first-order linear-time temporal logic for reasoning about ...
share
research
∙
03/24/2023
Weakly affine monads
Introduced in the 1990s in the context of the algebraic approach to grap...
research
∙
05/13/2022
Completeness and expressiveness for gs-monoidal categories
Formalised in the study of symmetric monoidal categories, string diagram...
research
∙
01/01/2022
A new criterion for ℳ, 𝒩-adhesivity, with an application to hierarchical graphs
Adhesive categories provide an abstract framework for the algebraic appr...
research
∙
11/06/2021
A Presheaf Semantics for Quantified Temporal Logics
Temporal logics stands for a widely adopted family of formalisms for the...
research
∙
09/13/2021
String Diagram Rewrite Theory III: Confluence with and without Frobenius
In this paper we address the problem of proving confluence for string di...
research
∙
04/29/2021
String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure
Symmetric monoidal theories (SMTs) generalise algebraic theories in a wa...
research
∙
03/11/2021
Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques
Residuation theory concerns the study of partially ordered algebraic str...
research
∙
12/03/2020
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure
String diagrams are a powerful and intuitive graphical syntax, originate...
research
∙
10/14/2020
A spatial model checker in GPU (extended version)
The tool voxlogica merges the state-of-the-art library of computational ...
research
∙
03/25/2019
Retracing and assessing the CEP project
The last decade witnessed a renewed interest in the development of the I...
research
∙
02/11/2018