| 2022 | IJCAI | Itero: An Online Iterative Voting Application. | Joseph Boudou, Rachael Colley, Umberto Grandi |
| 2019 | JELIA | Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic. | Joseph Boudou, Martn Diguez, David Fernndez-Duque, Fabin Romero |
| 2019 | TAP | Resource Separation in Dynamic Logic of Propositional Assignments. | Joseph Boudou, Andreas Herzig, Nicolas Troquard |
| 2017 | CSL | Decidable Logics with Associative Binary Modalities. | Joseph Boudou |
| 2017 | CSL | A Decidable Intuitionistic Temporal Logic. | Joseph Boudou, Martn Diguez, David Fernndez-Duque |
| 2017 | TABLEAUX | Axiomatization and Computability of a Variant of Iteration-Free PDL with Fork. | Philippe Balbiani, Joseph Boudou |
| 2016 | CADE | Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition. | Joseph Boudou |
| 2016 | JELIA | Decidability and Expressivity of Ockhamist Propositional Dynamic Logics. | Joseph Boudou, Emiliano Lorini |
| 2015 | CADE | Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition. | Philippe Balbiani, Joseph Boudou |
| 2015 | MFCS | Exponential-Size Model Property for PDL with Separating Parallel Composition. | Joseph Boudou |
| 2014 | CADE | Skeptik: A Proof Compression System. | Joseph Boudou, Andreas Fellner, Bruno Woltzenlogel Paleo |
| 2013 | TABLEAUX | Compression of Propositional Resolution Proofs by Lowering Subproofs. | Joseph Boudou, Bruno Woltzenlogel Paleo |