Publications

• A finite presentation of graphs of treewidth at most three, Amina Doumane, Samuel Humeau, and Damien Pous, to appear in Proc. ICALP ’24, 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.