Codensity Games for Bisimilarity. - Yuichi Komorida; Shin-ya Katsumata; Nick Hu; Bartek Klin; Samuel Humeau 002; Clovis Eberhart; Ichiro Hasuo (New Gener. Comput., 2022)

A Finite Presentation of Graphs of Treewidth at Most Three. - Amina Doumane; Samuel Humeau 002; Damien Pous (ICALP, 2024)

Correspondences Between Codensity and Coupling-Based Liftings, a Practical Approach. - Samuel Humeau 002; Daniela Petrisan; Jurriaan Rot (CSL, 2025)

On the Two Paths Theorem and the Two Disjoint Paths Problem. - Samuel Humeau 002; Damien Pous (CoRR, 2025)

Making Graphs Irregular through Irregularising Walks. - Julien Bensmail; Romain Bourneuf; Paul Colinot; Samuel Humeau 002; Timothée Martinod (CoRR, 2025)