Duality and i/o-Types in the π-Calculus. - Daniel Hirschkoff; Jean-Marie Madiot; Davide Sangiorgi (CONCUR, 2012)

Symmetries and Dualities in Name-Passing Process Calculi. - Daniel Hirschkoff; Jean-Marie Madiot; Davide Sangiorgi (Computing with New Resources, 2014)

Bisimulations Up-to: Beyond First-Order Transition Systems. - Jean-Marie Madiot; Damien Pous; Davide Sangiorgi (CONCUR, 2014)

On Coupled Logical Bisimulation for the Lambda-Calculus. - Ryan Kavanagh; Jean-Marie Madiot (CoRR, 2014)

A behavioural theory for a π-calculus with preorders. - Daniel Hirschkoff; Jean-Marie Madiot; Xian Xu 001 (J. Log. Algebraic Methods Program., 2015)

Higher-order languages : dualities and bisimulation enhancements. (Langages d'ordre supérieur : dualités et techniques de bisimulation). - Jean-Marie Madiot (2015)

Name-passing calculi: From fusions to preorders and types. - Daniel Hirschkoff; Jean-Marie Madiot; Davide Sangiorgi (Inf. Comput., 2016)

Modular coinduction up-to for higher-order languages via first-order transition systems. - Jean-Marie Madiot; Damien Pous; Davide Sangiorgi (Log. Methods Comput. Sci., 2021)

A separation logic for heap space under garbage collection. - Jean-Marie Madiot; François Pottier (Proc. ACM Program. Lang., 2022)