| Publication | Date of Publication | Type |
|---|
| Strong induction is an up-to technique | 2026-06-09 | Paper |
| When Lawvere meets Peirce: an equational presentation of Boolean hyperdoctrines | 2026-05-12 | Paper |
| A diagrammatic algebra for program logics | 2025-12-04 | Paper |
| Diagrammatic algebra of first order logic | 2025-06-18 | Paper |
| 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
Mathematical Structures in Computer Science | 2024-03-05 | Paper |
scientific article; zbMATH DE number 7799618 (Why is no real title available?)
(available as arXiv preprint) | 2024-02-05 | Paper |
| Exploiting adjoints in property directed reachability analysis | 2024-01-12 | Paper |
scientific article; zbMATH DE number 7774236 (Why is no real title available?)
(available as arXiv preprint) | 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
Mathematical Structures in Computer Science | 2023-02-28 | Paper |
| scientific article; zbMATH DE number 7649898 (Why is no real title available?) | 2023-02-03 | Paper |
scientific article; zbMATH DE number 7649945 (Why is no real title available?)
(available as arXiv preprint) | 2023-02-03 | Paper |
Convexity via Weak Distributive Laws
Logical Methods in Computer Science | 2023-01-09 | Paper |
String diagram rewrite theory II: Rewriting with symmetric monoidal structure
Mathematical Structures in Computer Science | 2022-12-20 | Paper |
Bisimilarity of open terms in stream GSOS
(available as arXiv preprint) | 2022-11-04 | Paper |
scientific article; zbMATH DE number 7566077 (Why is no real title available?)
(available as arXiv preprint) | 2022-08-02 | Paper |
| scientific article; zbMATH DE number 7566077 (Why is no real title available?) | 2022-08-02 | Paper |
Graphical Conjunctive Queries.
(available as arXiv preprint) | 2022-05-28 | Paper |
String diagram rewrite theory. I: Rewriting with Frobenius structure
Journal of the ACM | 2022-03-31 | Paper |
Bialgebraic foundations for the operational semantics of string diagrams
Information and Computation | 2021-11-25 | Paper |
Combining semilattices and semimodules
(available as arXiv preprint) | 2021-10-18 | Paper |
Distribution bisimilarity via the power of convex algebras
(available as arXiv preprint) | 2021-10-08 | Paper |
| Distribution bisimilarity via the power of convex algebras | 2021-10-08 | Paper |
Up-to techniques for behavioural metrics via fibrations
(available as arXiv preprint) | 2021-08-04 | Paper |
| scientific article; zbMATH DE number 7308363 (Why is no real title available?) | 2021-02-09 | Paper |
Sound up-to techniques and complete abstract domains
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
Rewriting with Frobenius
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
Combining Semilattices and Semimodules
(available as arXiv preprint) | 2020-12-29 | Paper |
Contextual equivalence for signal flow graphs
(available as arXiv preprint) | 2020-09-23 | Paper |
Up-To Techniques for Weighted Systems
Tools and Algorithms for the Construction and Analysis of Systems | 2020-08-05 | Paper |
| Refinement for signal flow graphs | 2020-05-27 | Paper |
| scientific article; zbMATH DE number 7204940 (Why is no real title available?) | 2020-05-27 | Paper |
| Cartesian bicategories with choice | 2020-03-20 | Paper |
| Reducing weak to strong bisimilarity in CCP | 2020-01-10 | Paper |
Reducing weak to strong bisimilarity in CCP
(available as arXiv preprint) | 2020-01-10 | Paper |
Bialgebraic Semantics for String Diagrams
(available as arXiv preprint) | 2019-06-04 | Paper |
Coalgebraic behavioral metrics
(available as arXiv preprint) | 2018-09-26 | Paper |
Coinduction up-to in a fibrational setting
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
Rewriting modulo symmetric monoidal structure
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Rewriting modulo symmetric monoidal structure
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 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
(available as arXiv preprint) | 2017-07-11 | Paper |
Confluence of graph rewriting with interfaces
Programming Languages and Systems | 2017-05-19 | Paper |
Behavioral metrics via functor lifting
(available as arXiv preprint) | 2017-04-25 | Paper |
A general account of coinduction up-to
Acta Informatica | 2017-04-20 | Paper |
A coalgebraic view on decorated traces
Mathematical Structures in Computer Science | 2017-04-03 | Paper |
The calculus of signal flow diagrams. I: Linear relations on streams.
Information and Computation | 2016-12-22 | Paper |
Full abstraction for signal flow graphs
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
Interacting Hopf algebras
Journal of Pure and Applied Algebra | 2016-09-05 | Paper |
Interacting Hopf algebras
Journal of Pure and Applied Algebra | 2016-09-05 | Paper |
Concurrency cannot be observed, asynchronously
Mathematical Structures in Computer Science | 2016-07-27 | Paper |
RPO semantics for mobile ambients
Mathematical Structures in Computer Science | 2016-07-26 | Paper |
Lawvere categories as composed PROPs
Coalgebraic Methods in Computer Science | 2016-07-15 | Paper |
Final semantics for decorated traces
Electronic Notes in Theoretical Computer Science | 2016-07-08 | Paper |
Asynchronous traces and open Petri nets
Programming Languages with Applications to Biology and Security | 2016-01-08 | Paper |
Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure
Theoretical Computer Science | 2015-11-10 | Paper |
A General Theory of Barbs, Contexts, and Labels
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
How to Kill Epsilons with a Dagger
Advanced Information Systems Engineering | 2015-09-11 | Paper |
Bialgebraic semantics for logic programming
Logical Methods in Computer Science | 2015-04-22 | Paper |
A behavioral congruence for concurrent constraint programming with nondeterministic choice
Theoretical Aspects of Computing – ICTAC 2014 | 2015-01-13 | Paper |
Brzozowski's and up-to algorithms for must testing
Programming Languages and Systems | 2015-01-12 | Paper |
Checking NFA equivalence with bisimulations up to congruence
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-11-27 | Paper |
A categorical semantics of signal flow graphs
CONCUR 2014 – Concurrency Theory | 2014-09-15 | Paper |
Labelled transitions for mobile ambients (as synthesized via a graphical encoding)
Electronic Notes in Theoretical Computer Science | 2014-07-23 | Paper |
Algebra-coalgebra duality in Brzozowski's minimization algorithm
ACM Transactions on Computational Logic | 2014-04-16 | Paper |
Interacting bialgebras are Frobenius
Lecture Notes in Computer Science | 2014-04-16 | Paper |
A coalgebraic theory of reactive systems
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
Adhesive DPO parallelism for monic matches
Electronic Notes in Theoretical Computer Science | 2013-12-20 | Paper |
G-reactive systems as coalgebras
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Saturated semantics for coalgebraic logic programming
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 |
Generalizing determinization from automata to coalgebras
Logical Methods in Computer Science | 2013-04-09 | Paper |
| Generalizing the powerset construction, coalgebraically | 2012-08-29 | Paper |
Brzozowski's algorithm (co)algebraically
Logic and Program Semantics | 2012-07-16 | Paper |
A Coalgebraic Perspective on Minimization and Determinization
Foundations of Software Science and Computational Structures | 2012-06-22 | Paper |
Coalgebraic symbolic semantics
Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
A coalgebraic perspective on linear weighted automata
Information and Computation | 2012-05-24 | Paper |
Symbolic and Asynchronous Semantics via Normalized Coalgebras
Logical Methods in Computer Science | 2011-05-26 | Paper |
Deriving labels and bisimilarity for concurrent constraint programming
Foundations of Software Science and Computational Structures | 2011-05-19 | Paper |
Quantitative Kleene coalgebras
Information and Computation | 2011-05-04 | Paper |
A lattice-theoretical perspective on adhesive categories
Journal of Symbolic Computation | 2011-03-14 | Paper |
Saturated LTSs for adhesive rewriting systems
Lecture Notes in Computer Science | 2010-10-04 | Paper |
A Net-based Approach to Web Services Publication and Replaceability
Fundamenta Informaticae | 2009-11-30 | Paper |
Deriving Syntax and Axioms for Quantitative Regular Behaviours
CONCUR 2009 - Concurrency Theory | 2009-10-22 | Paper |
Encoding Asynchronous Interactions Using Open Petri Nets
CONCUR 2009 - Concurrency Theory | 2009-10-22 | Paper |
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
Theoretical Computer Science | 2009-09-29 | Paper |
Reactive Systems, Barbed Semantics, and the Mobile Ambients
Foundations of Software Science and Computational Structures | 2009-03-31 | Paper |
Minimization Algorithm for Symbolic Bisimilarity
Programming Languages and Systems | 2009-03-31 | Paper |
Synthesising CCS bisimulation using graph rewriting
Information and Computation | 2009-03-02 | Paper |
| On the use of behavioural equivalences for web services' development | 2009-02-10 | Paper |
Process Bisimulation Via a Graphical Encoding
Lecture Notes in Computer Science | 2008-11-27 | Paper |
Parallel and Sequential Independence for Borrowed Contexts
Lecture Notes in Computer Science | 2008-11-20 | Paper |
Coalgebraic Models for Reactive Systems
CONCUR 2007 – Concurrency Theory | 2008-09-18 | Paper |
Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study
Applications and Theory of Petri Nets | 2008-07-03 | Paper |
A Behavioural Congruence for Web Services
Lecture Notes in Computer Science | 2008-07-01 | Paper |
A Category of Explicit Fusions
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Symbolic Semantics Revisited
Foundations of Software Science and Computational Structures | 2008-04-11 | Paper |
Diagrammatic Algebra of First Order Logic
(available as arXiv preprint) | N/A | Paper |
When Lawvere meets Peirce: an equational presentation of boolean hyperdoctrines
(available as arXiv preprint) | N/A | Paper |
