| Publication | Date of Publication | Type |
|---|
Single-set cubical categories and their formalisation with a proof assistant
Journal of Automated Reasoning | 2024-12-16 | Paper |
IsaVODEs: Interactive verification of cyber-physical systems at scale
Journal of Automated Reasoning | 2024-12-16 | Paper |
| A Kleene theorem for higher-dimensional automata | 2024-08-13 | Paper |
Determinism of multirelations
Journal of Logical and Algebraic Methods in Programming | 2024-06-25 | Paper |
| Categorical Information Flow | 2024-03-14 | Paper |
| Effect algebras, Girard quantales and complementation in separation logic | 2023-03-30 | Paper |
| \( \ell r\)-multisemigroups, modal quantales and the origin of locality | 2023-03-30 | Paper |
Catoids and modal convolution algebras
Algebra Universalis | 2023-02-28 | Paper |
Algebraic coherent confluence and higher globular Kleene algebras
Logical Methods in Computer Science | 2023-01-09 | Paper |
Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL
Relational and Algebraic Methods in Computer Science | 2022-08-30 | Paper |
Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL
Relational and Algebraic Methods in Computer Science | 2022-08-30 | Paper |
Generating Posets Beyond N
Relational and Algebraic Methods in Computer Science | 2022-08-30 | Paper |
Convolution and concurrency
Mathematical Structures in Computer Science | 2022-06-24 | Paper |
Domain semirings united
Acta Cybernetica | 2022-06-14 | Paper |
Posets with interfaces as a model for concurrency
Information and Computation | 2022-06-08 | Paper |
Languages of higher-dimensional automata
Mathematical Structures in Computer Science | 2022-05-17 | Paper |
Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
Journal of Automated Reasoning | 2022-03-25 | Paper |
Trimming the Hedges: An Algebra to Tame Concurrency
Theories of Programming | 2022-02-14 | Paper |
| Probabilistic concurrent Kleene algebra | 2021-06-09 | Paper |
Probabilistic concurrent Kleene algebra
(available as arXiv preprint) | 2021-06-09 | Paper |
| lr-Multisemigroups and Modal Convolution Algebras | 2021-05-01 | Paper |
Convolution algebras: relational convolution, generalised modalities and incidence algebras
(available as arXiv preprint) | 2021-03-26 | Paper |
| Convolution algebras: relational convolution, generalised modalities and incidence algebras | 2021-03-26 | Paper |
| scientific article; zbMATH DE number 7204945 (Why is no real title available?) | 2020-05-27 | Paper |
| Cylindric Kleene lattices for program construction | 2020-05-05 | Paper |
| A calculus of space, time, and causality: its algebra, geometry, logic | 2020-02-18 | Paper |
| Modal Kleene algebra applied to program correctness | 2020-01-03 | Paper |
| Verifying hybrid systems with modal Kleene algebra | 2018-11-08 | Paper |
Schedulers and finishers: on generating and filtering the behaviours of an event structure
Theoretical Computer Science | 2018-09-24 | Paper |
Hoare semigroups
Mathematical Structures in Computer Science | 2018-05-17 | Paper |
On the word problem for free lattices
Rewriting Techniques and Applications | 2017-11-17 | Paper |
Taming multirelations
ACM Transactions on Computational Logic | 2017-07-13 | Paper |
Kleene algebra with domain
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Concurrent dynamic algebra
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Convolution as a Unifying Concept
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Kleisli, Parikh and Peleg compositions and liftings for multirelations
Journal of Logical and Algebraic Methods in Programming | 2017-07-04 | Paper |
A discrete geometric model of concurrent program execution
Unifying Theories of Programming | 2017-04-04 | Paper |
Probabilistic rely-guarantee calculus
Theoretical Computer Science | 2017-02-06 | Paper |
Schedulers and finishers: on generating the behaviours of an event structure
Theoretical Aspects of Computing – ICTAC 2016 | 2016-12-21 | Paper |
Building program construction and verification tools from algebraic principles
Formal Aspects of Computing | 2016-08-04 | Paper |
Developments in concurrent Kleene algebra
Journal of Logical and Algebraic Methods in Programming | 2016-06-22 | Paper |
Relational formalisations of compositions and liftings of multirelations
Relational and Algebraic Methods in Computer Science | 2016-01-08 | Paper |
On the expressive power of Kleene algebra with domain
Information Processing Letters | 2016-01-05 | Paper |
A program construction and verification tool for separation logic
Lecture Notes in Computer Science | 2015-08-27 | Paper |
A program construction and verification tool for separation logic
Lecture Notes in Computer Science | 2015-08-27 | Paper |
On the fine-structure of regular algebra
Journal of Automated Reasoning | 2015-07-02 | Paper |
Completeness results for omega-regular algebras
Journal of Logical and Algebraic Methods in Programming | 2015-06-10 | Paper |
Programming and automating mathematics in the Tarski-Kleene hierarchy
Journal of Logical and Algebraic Methods in Programming | 2014-09-08 | Paper |
Developments in concurrent Kleene algebra
Relational and Algebraic Methods in Computer Science | 2014-04-16 | Paper |
Algebras for program correctness in Isabelle/HOL
Relational and Algebraic Methods in Computer Science | 2014-04-16 | Paper |
Completeness theorems for bi-Kleene algebras and series-parallel rational pomset languages
Relational and Algebraic Methods in Computer Science | 2014-04-16 | Paper |
Modal tools for separation and refinement
Electronic Notes in Theoretical Computer Science | 2014-03-26 | Paper |
An event structure model for probabilistic concurrent Kleene algebra
Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | Paper |
Program analysis and verification based on Kleene algebra in Isabelle/HOL
Interactive Theorem Proving | 2013-08-07 | Paper |
Knuth-Bendix completion for non-symmetric transitive relations
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
Modelling computing systems. Mathematics for computer science
Undergraduate Topics in Computer Science | 2013-07-23 | Paper |
Left omega algebras and regular equations
The Journal of Logic and Algebraic Programming | 2013-01-16 | Paper |
Automated Reasoning in Higher-Order Regular Algebra
Relational and Algebraic Methods in Computer Science | 2012-09-21 | Paper |
On completeness of omega-regular algebras
Relational and Algebraic Methods in Computer Science | 2012-09-21 | Paper |
Automated analysis of regular algebra
Automated Reasoning | 2012-09-05 | Paper |
Dependently Typed Programming Based on Automated Theorem Proving
Lecture Notes in Computer Science | 2012-09-05 | Paper |
On locality and the exchange law for concurrent processes
CONCUR 2011 – Concurrency Theory | 2011-09-02 | Paper |
Concurrent Kleene algebra and its foundations
The Journal of Logic and Algebraic Programming | 2011-07-18 | Paper |
Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL
Relational and Algebraic Methods in Computer Science | 2011-06-17 | Paper |
Omega algebras and regular equations
Relational and Algebraic Methods in Computer Science | 2011-06-17 | Paper |
On probabilistic Kleene algebras, automata and simulations
Relational and Algebraic Methods in Computer Science | 2011-06-17 | Paper |
Algebraic Notions of Termination
Logical Methods in Computer Science | 2011-05-26 | Paper |
Internal axioms for domain semirings
Science of Computer Programming | 2011-02-21 | Paper |
Algebraic notions of nontermination: Omega and divergence in idempotent semirings
The Journal of Logic and Algebraic Programming | 2010-11-11 | Paper |
On automated program construction and verification
Lecture Notes in Computer Science | 2010-07-26 | Paper |
Foundations of concurrent Kleene algebra
Relations and Kleene Algebra in Computer Science | 2009-12-11 | Paper |
Domain and antidomain semigroups
Relations and Kleene Algebra in Computer Science | 2009-12-11 | Paper |
Automated verification of refinement laws
Annals of Mathematics and Artificial Intelligence | 2009-11-16 | Paper |
Concurrent Kleene Algebra
CONCUR 2009 - Concurrency Theory | 2009-10-22 | Paper |
Quantales and Temporal Logics
Algebraic Methodology and Software Technology | 2009-04-28 | Paper |
Tableaux for Lattices
Algebraic Methodology and Software Technology | 2009-04-28 | Paper |
Constructing Rewrite-Based Decision Procedures for Embeddings and Termination
Lecture Notes in Computer Science | 2009-04-02 | Paper |
Automated Reasoning in Kleene Algebra
Automated Deduction – CADE-21 | 2009-03-06 | Paper |
Domain Axioms for a Family of Near-Semirings
Algebraic Methodology and Software Technology | 2009-01-27 | Paper |
On Automating the Calculus of Relations
Automated Reasoning | 2008-11-27 | Paper |
Modal Semirings Revisited
Lecture Notes in Computer Science | 2008-08-28 | Paper |
The Structure of the One-Generated Free Domain Semiring
Relations and Kleene Algebra in Computer Science | 2008-05-15 | Paper |
Non-termination in Idempotent Semirings
Relations and Kleene Algebra in Computer Science | 2008-05-15 | Paper |
Relational Methods in Computer Science
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Relational Methods in Computer Science
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Algebras of modal operators and partial correctness
Theoretical Computer Science | 2006-04-06 | Paper |
Abstract abstract reduction
The Journal of Logic and Algebraic Programming | 2006-03-16 | Paper |
Relational and Kleene-Algebraic Methods in Computer Science
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Relational and Kleene-Algebraic Methods in Computer Science
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Algebraic Methodology and Software Technology
Lecture Notes in Computer Science | 2005-08-25 | Paper |
| scientific article; zbMATH DE number 2163052 (Why is no real title available?) | 2005-04-29 | Paper |
| scientific article; zbMATH DE number 2090066 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 1953901 (Why is no real title available?) | 2003-07-28 | Paper |
| scientific article; zbMATH DE number 1722713 (Why is no real title available?) | 2002-03-21 | Paper |
| scientific article; zbMATH DE number 1615240 (Why is no real title available?) | 2001-07-08 | Paper |
Single-set cubical categories and their formalisation with a proof assistant
(available as arXiv preprint) | N/A | Paper |
