Compression of Propositional Resolution Proofs by Lowering Subproofs. - Joseph Boudou; Bruno Woltzenlogel Paleo (TABLEAUX, 2013)

Skeptik: A Proof Compression System. - Joseph Boudou; Andreas Fellner; Bruno Woltzenlogel Paleo (IJCAR, 2014)

Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition. - Philippe Balbiani; Joseph Boudou (CADE, 2015)

Exponential-Size Model Property for PDL with Separating Parallel Composition. - Joseph Boudou (MFCS (1), 2015)

Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition. - Joseph Boudou (IJCAR, 2016)

Decidability and Expressivity of Ockhamist Propositional Dynamic Logics. - Joseph Boudou; Emiliano Lorini (JELIA, 2016)

Decision procedures for modal logics of actions, resources and concurrency. (Procédures de décision pour des logiques modales d'actions, de ressources et de concurrence). - Joseph Boudou (2016)

Decidable Logics with Associative Binary Modalities. - Joseph Boudou (CSL, 2017)

A Decidable Intuitionistic Temporal Logic. - Joseph Boudou; Martín Diéguez; David Fernández-Duque (CSL, 2017)

Concurrent Game Structures for Temporal STIT Logic. - Joseph Boudou; Emiliano Lorini (AAMAS, 2018)

Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization. - Philippe Balbiani; Joseph Boudou (J. Log. Comput., 2018)

Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic. - Joseph Boudou; Martín Diéguez; David Fernández-Duque; Fabián Romero (JELIA, 2019)

Axiomatization and computability of a variant of iteration-free PDL with fork. - Philippe Balbiani; Joseph Boudou (J. Log. Algebraic Methods Program., 2019)

Intuitionistic Linear Temporal Logics. - Philippe Balbiani; Joseph Boudou; Martín Diéguez; David Fernández-Duque (ACM Trans. Comput. Log., 2020)

Bisimulations for Intuitionistic Temporal Logics. - Philippe Balbiani; Joseph Boudou; Martín Diéguez; David Fernández-Duque (FLAP, 2021)

Resource separation in dynamic logic of propositional assignments. - Joseph Boudou; Andreas Herzig; Nicolas Troquard (J. Log. Algebraic Methods Program., 2021)

Exploring the Jungle of Intuitionistic Temporal Logics. - Joseph Boudou; Martín Diéguez; David Fernández-Duque; Philip Kremer (Theory Pract. Log. Program., 2021)

Itero: An Online Iterative Voting Application. - Joseph Boudou; Rachael Colley; Umberto Grandi (IJCAI, 2022)

Complete intuitionistic Temporal Logics for Topological dynamics. - Joseph Boudou; Martín Diéguez; David Fernández-Duque (J. Symb. Log., 2022)