Publications

Technical report
Concurrent Kleene Algebra: Free Model and Completeness. (2017)
With Tobias Kappé, Alexandra Silva, and Fabio Zanasi. Technical report, arXiv.
Conference paper
On Decidability of Concurrent Kleene Algebra. (2017)
With Damien Pous and Georg Struth. In CONCUR.
Conference paper
Reversible Kleene lattices. (2017)
To appear in MFCS.
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.
Thesis
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 Journal of Logical and Algebraic Methods in Programming.
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.