Public Group Announcements and Trust in Doxastic Logic. - Elise Perrotin; Rustam Galimullin; Quentin Canu; Natasha Alechina (LORI, 2019)

A Formal Disproof of Hirsch Conjecture. - Xavier Allamigeon; Quentin Canu; Pierre-Yves Strub (CPP, 2023)