| 2024 | ATVA | Hedge Automata Revisited: Transforming Texts to and from XML. | Akihisa Yamada, Jrmy Dubut, Takeshi Tsukada |
| 2023 | CALCO | Aczel-Mendler Bisimulations in a Regular Category. | Jrmy Dubut |
| 2023 | FOSSACS | Weighted and Branching Bisimilarities from Generalized Open Maps. | Jrmy Dubut, Thorsten Wimann |
| 2023 | ITP | Formalizing Results on Directed Sets in Isabelle/HOL (Proof Pearl). | Akihisa Yamada, Jrmy Dubut |
| 2020 | ICARCV | Symbolic Self-triggered Control of Continuous-time Non-deterministic Systems without Stability Assumptions for 2-LTL Specifications. | Sasinee Pruekprasert, Clovis Eberhart, Jrmy Dubut |
| 2020 | TACAS | Relational Differential Dynamic Logic. | Juraj Kolck, Jrmy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger, Akihisa Yamada |
| 2019 | FOSSACS | Trees in Partial Higher Dimensional Automata. | Jrmy Dubut |
| 2019 | FOSSACS | Path Category for Free - Open Morphisms from Coalgebras with Non-deterministic Branching. | Thorsten Wimann, Jrmy Dubut, Shin-ya Katsumata, Ichiro Hasuo |
| 2019 | ITP | Complete Non-Orders and Fixed Points. | Akihisa Yamada, Jrmy Dubut |
| 2016 | CONCUR | Bisimulations and Unfolding in P-Accessible Categorical Models. | Jrmy Dubut, Eric Goubault, Jean Goubault-Larrecq |
| 2016 | CSL | The Directed Homotopy Hypothesis. | Jrmy Dubut, Eric Goubault, Jean Goubault-Larrecq |
| 2015 | ICALP | Natural Homology. | Jrmy Dubut, Eric Goubault, Jean Goubault-Larrecq |