| 2023 | FSCD | Labelled Tableaux for Linear Time Bunched Implication Logic. | Didier Galmiche, Daniel Mry |
| 2021 | FSCD | Beth Semantics and Labelled Deduction for Intuitionistic Sentential Calculus with Identity. | Didier Galmiche, Marta Gawek, Daniel Mry |
| 2019 | TABLEAUX | Relating Labelled and Label-Free Bunched Calculi in BI Logic. | Didier Galmiche, Michel Marti, Daniel Mry |
| 2018 | CADE | Labelled Connection-based Proof Search for Multiplicative Intuitionistic. | Didier Galmiche, Daniel Mry |
| 2014 | CSR | Separation Logic with One Quantified Variable. | Stphane Demri, Didier Galmiche, Dominique Larchey-Wendling, Daniel Mry |
| 2011 | CADE | A Connection-Based Characterization of Bi-intuitionistic Validity. | Didier Galmiche, Daniel Mry |
| 2005 | LPAR | Characterizing Provability in . | Didier Galmiche, Daniel Mry |
| 2002 | CADE | Connection-Based Proof Search in Propositional BI Logic. | Didier Galmiche, Daniel Mry |
| 2002 | CSL | Resource Tableaux. | Didier Galmiche, Daniel Mry, David J. Pym |
| 2001 | CADE | STRIP: Structural Sharing for Efficient Proof-Search. | Dominique Larchey-Wendling, Daniel Mry, Didier Galmiche |