Paul Brunet

34 papers A* 3A 1B 10C 2Journal 17
YearRankTypeTitle / Venue / Authors
2026 C conf
Representations - A Meta-model for System Analysis.
RAMICS
Paul Brunet
2025 J jnl
Observation algebras: Heyting algebra over coherence spaces.
CoRR
Paul Brunet
2025 J jnl
Representations.
CoRR
Paul Brunet
2021 A* conf
A Compositional Deadlock Detector for Android Java.
ASE
James Brotherston, Paul Brunet, Nikos Gorogiannis, Max I. Kanovich
2021 J jnl
Equivalence checking for weak bi-Kleene algebra.
Log. Methods Comput. Sci.
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
2020 B conf
A Complete Axiomatisation of a Fragment of Language Algebra.
CSL
Paul Brunet
2020 B conf
Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness.
FoSSaCS
Tobias Kappé, Paul Brunet, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
2020 J jnl
Concurrent Kleene Algebra with Observations: from Hypotheses to Completeness.
CoRR
Tobias Kappé, Paul Brunet, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
2020 B conf
Partially Observable Concurrent Kleene Algebra.
CONCUR
Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot, Alexandra Silva
2020 J jnl
Partially Observable Concurrent Kleene Algebra.
CoRR
Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot, Alexandra Silva
2020 B conf
Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra.
FSCD
Paul Brunet, David J. Pym
2019 A* conf
A Kleene Theorem for Nominal Automata.
ICALP
Paul Brunet, Alexandra Silva
2019 J jnl
A complete axiomatisation of reversible Kleene lattices.
CoRR
Paul Brunet
2019 J jnl
A note on commutative Kleene algebra.
CoRR
Paul Brunet
2019 B conf
Kleene Algebra with Observations.
CONCUR
Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
2019 J jnl
On series-parallel pomset languages: Rationality, context-freeness and automata.
J. Log. Algebraic Methods Program.
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
2019 J jnl
Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra.
CoRR
Paul Brunet, David J. Pym
2018 A conf
Concurrent Kleene Algebra: Free Model and Completeness.
ESOP
Tobias Kappé, Paul Brunet, Alexandra Silva, Fabio Zanasi
2018 J jnl
Equivalence checking for weak bi-Kleene algebra.
CoRR
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
2018 J jnl
Kleene Algebra with Observations.
CoRR
Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
2018 J jnl
On Series-Parallel Pomset Languages: Rationality, Context-Freeness and Automata.
CoRR
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
2017 B conf
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages.
CONCUR
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
2017 J jnl
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages.
CoRR
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
2017 J jnl
Concurrent Kleene Algebra: Free Model and Completeness.
CoRR
Tobias Kappé, Paul Brunet, Alexandra Silva, Fabio Zanasi
2017 B conf
On Decidability of Concurrent Kleene Algebra.
CONCUR
Paul Brunet, Damien Pous, Georg Struth
2017 J jnl
Petri Automata.
CoRR
Paul Brunet, Damien Pous
2017 J jnl
Petri Automata.
Log. Methods Comput. Sci.
Paul Brunet, Damien Pous
2017 B conf
Reversible Kleene lattices.
MFCS
Paul Brunet
2016 B conf
A Formal Exploration of Nominal Kleene Algebra.
MFCS
Paul Brunet, Damien Pous
2016 — —
Algebras of Relations : from algorithms to formal proofs. (Algèbres de relations : des algorithmes aux preuves formelles).
Paul Brunet
2016 J jnl
Algorithms for Kleene algebra with converse.
J. Log. Algebraic Methods Program.
Paul Brunet, Damien Pous
2016 B conf
Cardinalities of Finite Relations in Coq.
ITP
Paul Brunet, Damien Pous, Insa Stucke
2015 A* conf
Petri Automata for Kleene Allegories.
LICS
Paul Brunet, Damien Pous
2014 C conf
Kleene Algebra with Converse.
RAMiCS
Paul Brunet, Damien Pous