Petri automata for Kleene allegories P Brunet, D Pous 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 68-79, 2015 | 16 | 2015 |

Concurrent Kleene algebra: free model and completeness T Kappé, P Brunet, A Silva, F Zanasi European Symposium on Programming, 856-882, 2018 | 14 | 2018 |

Kleene Algebra with Converse P Brunet, D Pous Relational and Algebraic Methods in Computer Science, 101-118, 2014 | 11 | 2014 |

On Decidability of Concurrent Kleene Algebra P Brunet, D Pous, G Struth CONCUR, 2017 | 7 | 2017 |

Brzozowski Goes Concurrent-A Kleene Theorem for Pomset Languages T Kappé, P Brunet, B Luttik, A Silva, F Zanasi CONCUR, 2017 | 5 | 2017 |

Cardinalities of Finite Relations in Coq P Brunet, D Pous, I Stucke International Conference on Interactive Theorem Proving, 466-474, 2016 | 5 | 2016 |

Algorithms for Kleene algebra with converse P Brunet, D Pous Journal of Logical and Algebraic Methods in Programming 85 (4), 574-594, 2016 | 5 | 2016 |

A formal exploration of Nominal Kleene Algebra P Brunet, D Pous 41st International Symposium on Mathematical Foundations of Computer Science …, 2016 | 4 | 2016 |

Kleene Algebra with Observations T Kappé, P Brunet, J Rot, A Silva, J Wagemaker, F Zanasi arXiv preprint arXiv:1811.10401, 2018 | 3 | 2018 |

Petri Automata D Pous, P Brunet Logical Methods in Computer Science 13, 2017 | 3* | 2017 |

Reversible Kleene lattices P Brunet LIPIcs-Leibniz International Proceedings in Informatics 83, 2017 | 2 | 2017 |

On series-parallel pomset languages: Rationality, context-freeness and automata T Kappé, P Brunet, B Luttik, A Silva, F Zanasi Journal of Logical and Algebraic Methods in Programming 103, 130-153, 2019 | 1 | 2019 |

Equivalence checking for weak bi-Kleene algebra T Kappé, P Brunet, B Luttik, A Silva, F Zanasi arXiv preprint arXiv:1807.02102, 2018 | 1 | 2018 |

Algebras of Relations: from algorithms to formal proofs P Brunet Université de Lyon, 2016 | 1 | 2016 |

A Kleene theorem for Petri automata P Brunet | 1 | 2016 |

Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra P Brunet, D Pym arXiv preprint arXiv:1910.14384, 2019 | | 2019 |

A Kleene theorem for nominal automata P Brunet, A Silva | | 2019 |

Bracket Algebra P Brunet, D Petrişan, A Silva | | 2018 |

Decidability of Identity-free Relational Kleene Lattices P Brunet, D Pous Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), 2015 | | 2015 |

Algebres de Relations, Etude des algebres de Kleene avec converse P Brunet | | 2013 |