Publications

• Making Graphs Irregular through Irregularising Walks Julien Bensmail, Romain Bourneuf, Paul Colinot, Samuel Humeau, Timothée Martinod, Preprint, 2025.

• On the Two Paths Theorem and the Two Disjoint Paths Problem Samuel Humeau and Damien Pous, Preprint, 2025.

• Correspondences Between Codensity and Coupling-Based Liftings, a Practical Approach Samuel Humeau, Daniela Petrisan, and Jurriaan Rot, In 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 326, pp. 29:1-29:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025.

• A Finite Presentation of Graphs of Treewidth at Most Three, Amina Doumane, Samuel Humeau, and Damien Pous, In 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 297, pp. 135:1-135:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024.

• Codensity Games for Bisimilarity, Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Samuel Humeau, Clovis Eberhart, Ichiro Hasuo, p. 403-465, New Generation Computing, 2022, vol. 40, no 2, 403-465, Springer.

You can also read my different internship reports there.