# Publications

Equivalence checking for weak bi-Kleene algebra
(in LMCS 2021)
with Tobias Kappé, Alexandra Silva, Bas Luttik and Fabio Zanasi. |
More | |

A Compositional Deadlock Detector for Android Java
(in ASE 2021)
with James Brotherston, Nikos Gorogiannis and Max Kanovich. |
More | |

Partially Observable Concurrent Kleene Algebra
(in CONCUR 2020)
with Jana Wagemaker, Simon Docherty, Jurriaan Rot, Tobias Kappé and Alexandra Silva. |
More | |

Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness
(in FoSSaCS 2020)
with Tobias Kappé, Alexandra Silva, Fabio Zanasi and Jana Wagemaker. |
More | |

Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra
(in FSCD 2020)
with David Pym. |
More | |

A Complete Axiomatisation of a Fragment of Language Algebra (in CSL 2020) | More | |

On Series-Parallel Pomset Languages: Rationality, Context-Freeness and Automata
(in JLAMP 2019)
with Tobias Kappé, Alexandra Silva, Bas Luttik and Fabio Zanasi. |
More | |

Kleene Algebra with Observations
(in CONCUR 2019)
with Tobias Kappé, Alexandra Silva, Fabio Zanasi, Jurriaan Rot and Jana Wagemaker. |
More | |

Bracket Algebra, a nominal theory of interleaved scopes
(2019)
with Alexandra Silva and Daniela Petrişan. |
More | |

A Kleene theorem for nominal automata
(in ICALP 2019)
with Alexandra Silva. |
More | |

A note on commutative Kleene algebra (2019) | More | |

Concurrent Kleene Algebra: Free Model and Completeness
(in ESOP 2018)
with Tobias Kappé, Alexandra Silva and Fabio Zanasi. |
More | |

Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages
(in CONCUR 2017)
with Tobias Kappé, Alexandra Silva, Bas Luttik and Fabio Zanasi. |
More | |

On Decidability of Concurrent Kleene Algebra
(in CONCUR 2017)
with Damien Pous and Georg Struth. |
More | |

Petri automata
(in LMCS 2017)
with Damien Pous. |
More | |

Reversible Kleene lattices (in MFCS 2017) | More | |

Algebras of relations: from algorithms to formal proofs (in Université de Lyon 2016) | More | |

Cardinalities of finite relations in Coq
(in ITP 2016)
with Insa Stucke and Damien Pous. |
More | |

A formal exploration of nominal Kleene algebra
(in MFCS 2016)
with Damien Pous. |
More | |

Algorithms for Kleene algebra with converse
(in JLAMP 2016)
with Damien Pous. |
More | |

Petri automata for Kleene allegories
(in LICS 2015)
with Damien Pous. |
More | |

Decidability of identity-free relational Kleene lattices
(in JFLA 2015)
with Damien Pous. |
More | |

Kleene algebra with converse
(in RAMICS 2014)
with Damien Pous. |
More |