| 2020 | CONCUR | Partially Observable Concurrent Kleene Algebra. | Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kapp, Jurriaan Rot, Alexandra Silva |
| 2020 | CSL | A Complete Axiomatisation of a Fragment of Language Algebra. | Paul Brunet |
| 2020 | FOSSACS | Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness. | Tobias Kapp, Paul Brunet, Alexandra Silva, Jana Wagemaker, Fabio Zanasi |
| 2020 | FSCD | Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra. | Paul Brunet, David J. Pym |
| 2019 | CONCUR | Kleene Algebra with Observations. | Tobias Kapp, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi |
| 2019 | ICALP | A Kleene Theorem for Nominal Automata. | Paul Brunet, Alexandra Silva |
| 2018 | ESOP | Concurrent Kleene Algebra: Free Model and Completeness. | Tobias Kapp, Paul Brunet, Alexandra Silva, Fabio Zanasi |
| 2017 | CONCUR | On Decidability of Concurrent Kleene Algebra. | Paul Brunet, Damien Pous, Georg Struth |
| 2017 | CONCUR | Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages. | Tobias Kapp, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi |
| 2017 | MFCS | Reversible Kleene lattices. | Paul Brunet |
| 2016 | ITP | Cardinalities of Finite Relations in Coq. | Paul Brunet, Damien Pous, Insa Stucke |
| 2016 | MFCS | A Formal Exploration of Nominal Kleene Algebra. | Paul Brunet, Damien Pous |
| 2015 | LICS | Petri Automata for Kleene Allegories. | Paul Brunet, Damien Pous |