Paul Brunet
TitleCited byYear
Petri automata for Kleene allegories
P Brunet, D Pous
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 68-79, 2015
152015
Concurrent Kleene algebra: free model and completeness
T Kappé, P Brunet, A Silva, F Zanasi
European Symposium on Programming, 856-882, 2018
112018
Kleene Algebra with Converse
P Brunet, D Pous
Relational and Algebraic Methods in Computer Science, 101-118, 2014
112014
On Decidability of Concurrent Kleene Algebra
P Brunet, D Pous, G Struth
CONCUR, 2017
62017
Cardinalities of Finite Relations in Coq
P Brunet, D Pous, I Stucke
International Conference on Interactive Theorem Proving, 466-474, 2016
52016
Algorithms for Kleene algebra with converse
P Brunet, D Pous
Journal of Logical and Algebraic Methods in Programming 85 (4), 574-594, 2016
52016
Brzozowski Goes Concurrent-A Kleene Theorem for Pomset Languages
T Kappé, P Brunet, B Luttik, A Silva, F Zanasi
CONCUR, 2017
42017
A formal exploration of Nominal Kleene Algebra
P Brunet, D Pous
41st International Symposium on Mathematical Foundations of Computer Science …, 2016
42016
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
22017
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
12019
Kleene Algebra with Observations
T Kappé, P Brunet, J Rot, A Silva, J Wagemaker, F Zanasi
arXiv preprint arXiv:1811.10401, 2018
12018
Equivalence checking for weak bi-Kleene algebra
T Kappé, P Brunet, B Luttik, A Silva, F Zanasi
arXiv preprint arXiv:1807.02102, 2018
12018
Algebras of Relations: from algorithms to formal proofs
P Brunet
Université de Lyon, 2016
12016
A Kleene theorem for Petri automata
P Brunet
12016
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
The system can't perform the operation now. Try again later.
Articles 1–19