Paul Brunet

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Pomsets with boxes: protection, separation, and locality in concurrent Kleene algebra	2026-02-24	Paper
scientific article; zbMATH DE number 7650824 (Why is no real title available?) (available as arXiv preprint)	2023-02-07	Paper
Kleene algebra with observations (available as arXiv preprint)	2023-02-03	Paper
A Kleene theorem for nominal automata	2022-07-21	Paper
scientific article; zbMATH DE number 7559476 (Why is no real title available?) (available as arXiv preprint)	2022-07-18	Paper
Equivalence checking for weak bi-Kleene algebra	2021-10-08	Paper
Equivalence checking for weak bi-Kleene algebra (available as arXiv preprint)	2021-10-08	Paper
Concurrent Kleene algebra with observations: from hypotheses to completeness (available as arXiv preprint)	2020-09-23	Paper
Brzozowski goes concurrent -- a Kleene theorem for pomset languages (available as arXiv preprint)	2020-05-27	Paper
scientific article; zbMATH DE number 7204945 (Why is no real title available?)	2020-05-27	Paper
Reversible Kleene lattices	2020-05-26	Paper
Concurrent Kleene algebra: free model and completeness (available as arXiv preprint)	2019-09-13	Paper
On series-parallel pomset languages: rationality, context-freeness and automata Journal of Logical and Algebraic Methods in Programming	2019-03-27	Paper
Petri Automata for Kleene Allegories 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science	2018-04-23	Paper
A formal exploration of nominal Kleene algebra	2018-03-21	Paper
Petri automata (available as arXiv preprint)	2017-10-12	Paper
Cardinalities of Finite Relations in Coq Interactive Theorem Proving	2016-10-27	Paper
Algorithms for Kleene algebra with converse Journal of Logical and Algebraic Methods in Programming	2016-06-22	Paper
Kleene algebra with converse Relational and Algebraic Methods in Computer Science	2014-04-16	Paper

Research outcomes over time

This page was built for person: Paul Brunet