| No. |
Title |
Author |
Year |
| 1 |
Completeness Theorems for Kleene Algebra with Top |
Pous, Damien et al. |
2022 |
| 2 |
Non Axiomatisability of Positive Relation Algebras with Constants, via Graph Homomorphisms |
Doumane, Amina et al. |
2020 |
| 3 |
A Certificate-Based Approach to Formally Verified Approximations |
Bréhard, Florent et al. |
2019 |
| 4 |
Coinduction: Automata, Formal Proof, Companions (Invited Paper) |
Pous, Damien |
2019 |
| 5 |
Cyclic Proofs and Jumping Automata |
Kuperberg, Denis et al. |
2019 |
| 6 |
Completeness for Identity-free Kleene Lattices |
Doumane, Amina et al. |
2018 |
| 7 |
Non-Wellfounded Proof Theory For (Kleene+Action)(Algebras+Lattices) |
Das, Anupam et al. |
2018 |
| 8 |
On the Positive Calculus of Relations with Transitive Closure |
Pous, Damien |
2018 |
| 9 |
Treewidth-Two Graphs as a Free Algebra |
Doczkal, Christian et al. |
2018 |
| 10 |
K4-free Graphs as a Free Algebra |
Cosme Llópez, Enric et al. |
2017 |
| 11 |
Monoidal Company for Accessible Functors |
Basold, Henning et al. |
2017 |
| 12 |
On Decidability of Concurrent Kleene Algebra |
Brunet, Paul et al. |
2017 |
| 13 |
A Formal Exploration of Nominal Kleene Algebra |
Brunet, Paul et al. |
2016 |
| 14 |
Lax Bialgebras and Up-To Techniques for Weak Bisimulations |
Bonchi, Filippo et al. |
2015 |
