research
∙
07/06/2023
Exploiting Adjoints in Property Directed Reachability Analysis
We formulate, in lattice-theoretic terms, two novel algorithms inspired ...
share
research
∙
10/18/2022
Deconstructing the Calculus of Relations with Tape Diagrams
Rig categories with finite biproducts are categories with two monoidal p...
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
∙
08/19/2021
Convexity via Weak Distributive Laws
We study the canonical weak distributive law δ of the powerset monad ove...
research
∙
06/15/2021
On Doctrines and Cartesian Bicategories
We study the relationship between cartesian bicategories and a specialis...
research
∙
05/23/2021
Diagrammatic Polyhedral Algebra
We extend the theory of Interacting Hopf algebras with an order primitiv...
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
∙
12/29/2020
Combining Semilattices and Semimodules
We describe the canonical weak distributive law δ𝒮𝒫→𝒫𝒮 of the powerset m...
research
∙
12/03/2020
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure
String diagrams are a powerful and intuitive graphical syntax, originate...
research
∙
05/04/2020
Presenting convex sets of probability distributions by convex semilattices and unique bases
We prove that every finitely generated convex set of finitely supported ...
research
∙
03/20/2020
Cartesian bicategories with choice
Relational structures are emerging as ubiquitous mathematical machinery ...
research
∙
02/20/2020
Contextual Equivalence for Signal Flow Graphs
We extend the signal flow calculus—a compositional account of the classi...
research
∙
06/04/2019
Bialgebraic Semantics for String Diagrams
Turi and Plotkin's bialgebraic semantics is an abstract approach to spec...
research
∙
11/08/2018
Bisimilarity of Open Terms in Stream GSOS
Stream GSOS is a specification format for operations and calculi on infi...
research
∙
08/02/2018
Trace Semantics for Nondeterministic Probabilistic Automata via Determinization
This paper studies trace-based equivalences for automata combining nonde...
research
∙
06/28/2018
Up-To Techniques for Behavioural Metrics via Fibrations
Up-to techniques are a well-known method for enhancing coinductive proof...
research
∙
04/27/2018
Sound up-to techniques and Complete abstract domains
Abstract interpretation is a method to automatically find invariants of ...
research
∙
04/20/2018
Graphical Conjunctive Queries
The Calculus of Conjunctive Queries (CCQ) has foundational status in dat...
research
∙
12/20/2017
Coalgebraic Behavioral Metrics
We study different behavioral metrics, such as those arising from both b...
research
∙
11/23/2017