Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols. - Jannik Dreier; Charles Duménil; Steve Kremer; Ralf Sasse (POST, 2017)

Stochastic Analysis of Empty-Region Graphs. - Olivier Devillers; Charles Duménil (CCCG, 2021)

Expected Size of the 3-Dimensional Delaunay Triangulation of Random Points on a Surface. (Taille moyenne de la triangulation 3D de Delaunay de points aléatoirement distribués sur une surface). - Charles Duménil (2022)