Conference paper
Concurrent Kleene Algebra: Free Model and Completeness. (2018)
With Tobias Kappé, Alexandra Silva, and Fabio Zanasi. To appear in ESOP.
Conference paper
On Decidability of Concurrent Kleene Algebra. (2017)
With Damien Pous and Georg Struth. In CONCUR.
Conference paper
Reversible Kleene lattices. (2017)
Conference paper
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages. (2017)
With Tobias Kappé, Bas Luttik, Alexandra Silva, and Fabio Zanasi. In CONCUR.
Journal paper
Petri automata. (2017)
With Damien Pous. In LMCS.
Algebras of relations: from algorithms to formal proofs. (2016)
PhD thesis, Université de Lyon.
Conference paper
A formal exploration of nominal Kleene algebra. (2016)
With Damien Pous. In MFCS.
Conference paper
Cardinalities of finite relations in Coq. (2016)
With Damien Pous and Insa Stucke. In ITP.
Journal paper
Algorithms for Kleene algebra with converse. (2016)
With Damien Pous. In JLAMP.
Conference paper
Petri automata for Kleene allegories. (2015)
With Damien Pous. In LICS.
Conference paper
Decidability of identity-free relational Kleene lattices. (2015)
With Damien Pous. In JFLA.
Conference paper
Kleene algebra with converse. (2014)
With Damien Pous. In RAMICS.