Paul Brunet

ORCID

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 28

Top Venues

CoRR

CONCUR

J. Log. Algebraic Methods Program.

MFCS

University of Lyon, France (PHD)

Education History

University of Lyon, France

PHD

Publications

James Brotherston, Paul Brunet, Nikos Gorogiannis, Max I. Kanovich
A Compositional Deadlock Detector for Android Java. ASE (2021)
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
Equivalence checking for weak bi-Kleene algebra. Log. Methods Comput. Sci. 17 (3) (2021)
Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot, Alexandra Silva
Partially Observable Concurrent Kleene Algebra. CoRR (2020)
Tobias Kappé, Paul Brunet, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness. FoSSaCS (2020)
Paul Brunet, David J. Pym
Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra. FSCD (2020)
Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot, Alexandra Silva
Partially Observable Concurrent Kleene Algebra. CONCUR (2020)
Paul Brunet
A Complete Axiomatisation of a Fragment of Language Algebra. CSL (2020)
Tobias Kappé, Paul Brunet, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
Concurrent Kleene Algebra with Observations: from Hypotheses to Completeness. CoRR (2020)
Paul Brunet, David J. Pym
Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra. CoRR (2019)
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
On series-parallel pomset languages: Rationality, context-freeness and automata. J. Log. Algebraic Methods Program. 103 (2019)
Paul Brunet, Alexandra Silva
A Kleene Theorem for Nominal Automata. ICALP (2019)
Paul Brunet
A note on commutative Kleene algebra. CoRR (2019)
Paul Brunet
A complete axiomatisation of reversible Kleene lattices. CoRR (2019)
Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
Kleene Algebra with Observations. CONCUR (2019)
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
Equivalence checking for weak bi-Kleene algebra. CoRR (2018)
Tobias Kappé, Paul Brunet, Alexandra Silva, Fabio Zanasi
Concurrent Kleene Algebra: Free Model and Completeness. ESOP (2018)
Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
Kleene Algebra with Observations. CoRR (2018)
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
On Series-Parallel Pomset Languages: Rationality, Context-Freeness and Automata. CoRR (2018)
Paul Brunet, Damien Pous
Petri Automata. CoRR (2017)
Paul Brunet
Reversible Kleene lattices. MFCS (2017)
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages. CONCUR (2017)
Tobias Kappé, Paul Brunet, Alexandra Silva, Fabio Zanasi
Concurrent Kleene Algebra: Free Model and Completeness. CoRR (2017)
Paul Brunet, Damien Pous, Georg Struth
On Decidability of Concurrent Kleene Algebra. CONCUR (2017)
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages. CoRR (2017)
Paul Brunet, Damien Pous
Petri Automata. Log. Methods Comput. Sci. 13 (3) (2017)
Paul Brunet, Damien Pous
A Formal Exploration of Nominal Kleene Algebra. MFCS (2016)
Paul Brunet, Damien Pous, Insa Stucke
Cardinalities of Finite Relations in Coq. ITP (2016)
Paul Brunet, Damien Pous
Algorithms for Kleene algebra with converse. J. Log. Algebraic Methods Program. 85 (4) (2016)
Paul Brunet, Damien Pous
Petri Automata for Kleene Allegories. LICS (2015)
Paul Brunet, Damien Pous
Kleene Algebra with Converse. RAMiCS (2014)

Paul Brunet.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Paul Brunet