Kleene Algebra with Converse. - Paul Brunet; Damien Pous (RAMiCS, 2014)

Petri Automata for Kleene Allegories. - Paul Brunet; Damien Pous (LICS, 2015)

Cardinalities of Finite Relations in Coq. - Paul Brunet; Damien Pous; Insa Stucke (ITP, 2016)

A Formal Exploration of Nominal Kleene Algebra. - Paul Brunet; Damien Pous (MFCS, 2016)

Algorithms for Kleene algebra with converse. - Paul Brunet; Damien Pous (J. Log. Algebraic Methods Program., 2016)

Algebras of Relations : from algorithms to formal proofs. (Algèbres de relations : des algorithmes aux preuves formelles). - Paul Brunet (2016)

On Decidability of Concurrent Kleene Algebra. - Paul Brunet; Damien Pous; Georg Struth (CONCUR, 2017)

Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages. - Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva 001; Fabio Zanasi (CONCUR, 2017)

Reversible Kleene lattices. - Paul Brunet (MFCS, 2017)

Petri Automata. - Paul Brunet; Damien Pous (Log. Methods Comput. Sci., 2017)

Concurrent Kleene Algebra: Free Model and Completeness. - Tobias Kappé; Paul Brunet; Alexandra Silva 001; Fabio Zanasi (ESOP, 2018)

Kleene Algebra with Observations. - Tobias Kappé; Paul Brunet; Jurriaan Rot; Alexandra Silva 001; Jana Wagemaker; Fabio Zanasi (CONCUR, 2019)

A Kleene Theorem for Nominal Automata. - Paul Brunet; Alexandra Silva 001 (ICALP, 2019)

A complete axiomatisation of reversible Kleene lattices. - Paul Brunet (CoRR, 2019)

A note on commutative Kleene algebra. - Paul Brunet (CoRR, 2019)

On series-parallel pomset languages: Rationality, context-freeness and automata. - Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva 001; Fabio Zanasi (J. Log. Algebraic Methods Program., 2019)

Partially Observable Concurrent Kleene Algebra. - Jana Wagemaker; Paul Brunet; Simon Docherty; Tobias Kappé; Jurriaan Rot; Alexandra Silva 001 (CONCUR, 2020)

A Complete Axiomatisation of a Fragment of Language Algebra. - Paul Brunet (CSL, 2020)

Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness. - Tobias Kappé; Paul Brunet; Alexandra Silva 001; Jana Wagemaker; Fabio Zanasi (FoSSaCS, 2020)

Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra. - Paul Brunet; David J. Pym (FSCD, 2020)

A Compositional Deadlock Detector for Android Java. - James Brotherston; Paul Brunet; Nikos Gorogiannis; Max I. Kanovich (ASE, 2021)

Equivalence checking for weak bi-Kleene algebra. - Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva 001; Fabio Zanasi (Log. Methods Comput. Sci., 2021)

Observation algebras: Heyting algebra over coherence spaces. - Paul Brunet (CoRR, 2025)