Paul Brunet

According to our database, Paul Brunet authored at least 22 papers between 2014 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Equivalence checking for weak bi-Kleene algebra.

Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi

Log. Methods Comput. Sci., 2021

A Compositional Deadlock Detector for Android Java.

James Brotherston, Paul Brunet, Nikos Gorogiannis, Max I. Kanovich

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2020

Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra.

Paul Brunet, David J. Pym

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness.

Tobias Kappé, Paul Brunet, Alexandra Silva, Jana Wagemaker, Fabio Zanasi

Proceedings of the Foundations of Software Science and Computation Structures, 2020

A Complete Axiomatisation of a Fragment of Language Algebra.

Paul Brunet

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

Partially Observable Concurrent Kleene Algebra.

Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot, Alexandra Silva

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

On series-parallel pomset languages: Rationality, context-freeness and automata.

Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi

J. Log. Algebraic Methods Program., 2019

A note on commutative Kleene algebra.

Paul Brunet

CoRR, 2019

A complete axiomatisation of reversible Kleene lattices.

Paul Brunet

CoRR, 2019

A Kleene Theorem for Nominal Automata.

Paul Brunet, Alexandra Silva

Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

Kleene Algebra with Observations.

Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi

Proceedings of the 30th International Conference on Concurrency Theory, 2019

2018

Concurrent Kleene Algebra: Free Model and Completeness.

Tobias Kappé, Paul Brunet, Alexandra Silva, Fabio Zanasi

Proceedings of the Programming Languages and Systems, 2018

2017

Petri Automata.

Paul Brunet, Damien Pous

Log. Methods Comput. Sci., 2017

Reversible Kleene lattices.

Paul Brunet

Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages.

Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi

Proceedings of the 28th International Conference on Concurrency Theory, 2017

On Decidability of Concurrent Kleene Algebra.

Paul Brunet, Damien Pous, Georg Struth

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016

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

Paul Brunet

PhD thesis, 2016

Algorithms for Kleene algebra with converse.

Paul Brunet, Damien Pous

J. Log. Algebraic Methods Program., 2016

A Formal Exploration of Nominal Kleene Algebra.

Paul Brunet, Damien Pous

Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016

Cardinalities of Finite Relations in Coq.

Paul Brunet, Damien Pous, Insa Stucke

Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016

2015

Petri Automata for Kleene Allegories.

Paul Brunet, Damien Pous

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

2014

Kleene Algebra with Converse.

Paul Brunet, Damien Pous

Proceedings of the Relational and Algebraic Methods in Computer Science, 2014