Publications

	Representations (accepted in RAMiCS 2026)	More
	On preorders (2025)	More
	Observation algebras: Heyting algebra over coherence spaces (in TbiLLC 2025)	More
	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