| Publication | Date of Publication | Type |
|---|
| The theory of traces for systems with nondeterminism and probability | 2024-12-19 | Paper |
| Graphical affine algebra | 2024-12-19 | Paper |
| Polyadic Soft Constraints | 2024-03-14 | Paper |
| Up-to techniques for behavioural metrics via fibrations | 2024-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6187057 | 2024-02-05 | Paper |
| Exploiting adjoints in property directed reachability analysis | 2024-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6061668 | 2023-12-08 | Paper |
| From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra ((Co)algebraic pearls) | 2023-12-08 | Paper |
| Presenting convex sets of probability distributions by convex semilattices and unique bases | 2023-12-08 | Paper |
| String diagram rewrite theory III: Confluence with and without Frobenius | 2023-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875356 | 2023-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875399 | 2023-02-03 | Paper |
| Convexity via Weak Distributive Laws | 2023-01-09 | Paper |
| String diagram rewrite theory II: Rewriting with symmetric monoidal structure | 2022-12-20 | Paper |
| Bisimilarity of open terms in stream GSOS | 2022-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5094151 | 2022-08-02 | Paper |
| Graphical Conjunctive Queries. | 2022-05-28 | Paper |
| String Diagram Rewrite Theory I: Rewriting with Frobenius Structure | 2022-03-31 | Paper |
| Bialgebraic foundations for the operational semantics of string diagrams | 2021-11-25 | Paper |
| Combining semilattices and semimodules | 2021-10-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5155671 | 2021-10-08 | Paper |
| Up-To Techniques for Behavioural Metrics via Fibrations | 2021-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5150130 | 2021-02-09 | Paper |
| Sound up-to techniques and Complete abstract domains | 2021-01-20 | Paper |
| Rewriting with Frobenius | 2021-01-20 | Paper |
| Combining Semilattices and Semimodules | 2020-12-29 | Paper |
| Contextual equivalence for signal flow graphs | 2020-09-23 | Paper |
| Up-To Techniques for Weighted Systems | 2020-08-05 | Paper |
| Refinement for signal flow graphs | 2020-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111636 | 2020-05-27 | Paper |
| Cartesian bicategories with choice | 2020-03-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5208771 | 2020-01-10 | Paper |
| Bialgebraic Semantics for String Diagrams | 2019-06-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4683862 | 2018-09-26 | Paper |
| Coinduction up-to in a fibrational setting | 2018-04-23 | Paper |
| Rewriting modulo symmetric monoidal structure | 2018-04-23 | Paper |
| Functorial Semantics for Relational Theories | 2017-11-23 | Paper |
| Enhanced coalgebraic bisimulation | 2017-09-27 | Paper |
| Lax Bialgebras and Up-To Techniques for Weak Bisimulations | 2017-09-12 | Paper |
| Towards Trace Metrics via Functor Lifting | 2017-07-11 | Paper |
| Confluence of Graph Rewriting with Interfaces | 2017-05-19 | Paper |
| Behavioral Metrics via Functor Lifting | 2017-04-25 | Paper |
| A general account of coinduction up-to | 2017-04-20 | Paper |
| A coalgebraic view on decorated traces | 2017-04-03 | Paper |
| The calculus of signal flow diagrams. I: Linear relations on streams. | 2016-12-22 | Paper |
| Full abstraction for signal flow graphs | 2016-09-29 | Paper |
| Interacting Hopf algebras | 2016-09-05 | Paper |
| Concurrency cannot be observed, asynchronously | 2016-07-27 | Paper |
| RPO semantics for mobile ambients | 2016-07-26 | Paper |
| Lawvere Categories as Composed PROPs | 2016-07-15 | Paper |
| Final Semantics for Decorated Traces | 2016-07-08 | Paper |
| Asynchronous Traces and Open Petri Nets | 2016-01-08 | Paper |
| Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure | 2015-11-10 | Paper |
| A General Theory of Barbs, Contexts, and Labels | 2015-09-17 | Paper |
| How to Kill Epsilons with a Dagger | 2015-09-11 | Paper |
| Bialgebraic Semantics for Logic Programming | 2015-04-22 | Paper |
| A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice | 2015-01-13 | Paper |
| Brzozowski’s and Up-To Algorithms for Must Testing | 2015-01-12 | Paper |
| Checking NFA equivalence with bisimulations up to congruence | 2014-11-27 | Paper |
| A Categorical Semantics of Signal Flow Graphs | 2014-09-15 | Paper |
| Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding) | 2014-07-23 | Paper |
| Algebra-coalgebra duality in brzozowski's minimization algorithm | 2014-04-16 | Paper |
| Interacting Bialgebras Are Frobenius | 2014-04-16 | Paper |
| A coalgebraic theory of reactive systems | 2014-01-17 | Paper |
| Adhesive DPO parallelism for monic matches | 2013-12-20 | Paper |
| G-reactive systems as coalgebras | 2013-12-06 | Paper |
| Saturated Semantics for Coalgebraic Logic Programming | 2013-09-13 | Paper |
| A presheaf environment for the explicit fusion calculus | 2013-08-01 | Paper |
| Generalizing determinization from automata to coalgebras | 2013-04-09 | Paper |
| Generalizing the powerset construction, coalgebraically | 2012-08-29 | Paper |
| Brzozowski’s Algorithm (Co)Algebraically | 2012-07-16 | Paper |
| A Coalgebraic Perspective on Minimization and Determinization | 2012-06-22 | Paper |
| Coalgebraic Symbolic Semantics | 2012-06-01 | Paper |
| A coalgebraic perspective on linear weighted automata | 2012-05-24 | Paper |
| Symbolic and Asynchronous Semantics via Normalized Coalgebras | 2011-05-26 | Paper |
| Deriving Labels and Bisimilarity for Concurrent Constraint Programming | 2011-05-19 | Paper |
| Quantitative Kleene coalgebras | 2011-05-04 | Paper |
| A lattice-theoretical perspective on adhesive categories | 2011-03-14 | Paper |
| Saturated LTSs for Adhesive Rewriting Systems | 2010-10-04 | Paper |
| A Net-based Approach to Web Services Publication and Replaceability | 2009-11-30 | Paper |
| Deriving Syntax and Axioms for Quantitative Regular Behaviours | 2009-10-22 | Paper |
| Encoding Asynchronous Interactions Using Open Petri Nets | 2009-10-22 | Paper |
| Reactive systems, (semi-)saturated semantics and coalgebras on presheaves | 2009-09-29 | Paper |
| Reactive Systems, Barbed Semantics, and the Mobile Ambients | 2009-03-31 | Paper |
| Minimization Algorithm for Symbolic Bisimilarity | 2009-03-31 | Paper |
| Synthesising CCS bisimulation using graph rewriting | 2009-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3601413 | 2009-02-10 | Paper |
| Process Bisimulation Via a Graphical Encoding | 2008-11-27 | Paper |
| Parallel and Sequential Independence for Borrowed Contexts | 2008-11-20 | Paper |
| Coalgebraic Models for Reactive Systems | 2008-09-18 | Paper |
| Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study | 2008-07-03 | Paper |
| A Behavioural Congruence for Web Services | 2008-07-01 | Paper |
| A Category of Explicit Fusions | 2008-06-19 | Paper |
| Symbolic Semantics Revisited | 2008-04-11 | Paper |
| Diagrammatic Algebra of First Order Logic | N/A | Paper |
| When Lawvere meets Peirce: an equational presentation of boolean hyperdoctrines | N/A | Paper |
