Bisimulations up-to: Beyond first-order transition systems JM Madiot, D Pous, D Sangiorgi CONCUR 2014–Concurrency Theory: 25th International Conference, CONCUR 2014 …, 2014 | 22 | 2014 |

A separation logic for heap space under garbage collection JM Madiot, F Pottier Proceedings of the ACM on Programming Languages 6 (POPL), 1-28, 2022 | 14 | 2022 |

Higher-order languages: dualities and bisimulation enhancements JM Madiot Ecole normale supérieure de lyon-ENS LYON; Università degli studi (Bologne …, 2015 | 11 | 2015 |

Duality and i/o-Types in the π-Calculus D Hirschkoff, JM Madiot, D Sangiorgi CONCUR 2012–Concurrency Theory, 302-316, 2012 | 10 | 2012 |

Compiler Correctness for Concurrency: from concurrent separation logic to shared-memory assembly language S Cuellar, N Giannarakis, JM Madiot, W Mansky, L Beringer, Q Cao, ... Department of Computer Science, Princeton University, 2020 | 8 | 2020 |

Name-passing calculi: from fusions to preorders and types D Hirschkoff, JM Madiot, D Sangiorgi Information and Computation 251, 335-360, 2016 | 5 | 2016 |

A behavioural theory for a π-calculus with preorders D Hirschkoff, JM Madiot, X Xian Journal of Logical and Algebraic Methods in Programming 84 (6), 806-825, 2015 | 4 | 2015 |

Constructive axiomatic for the real numbers JM Madiot, PM Pédrot Coq Workshop, 2011 | 3 | 2011 |

Specification of imperative languages using operational semantics in Coq JM Madiot Report, slides, 0 | 1 | |

Modular coinduction up-to for higher-order languages via first-order transition systems JM Madiot, D Pous, D Sangiorgi Logical Methods in Computer Science 17, 2021 | | 2021 |

Symmetries and dualities in name-passing process calculi D Hirschkoff, JM Madiot, D Sangiorgi Computing with New Resources: Essays Dedicated to Jozef Gruska on the …, 2014 | | 2014 |

On Coupled Logical Bisimulation for the Lambda-Calculus R Kavanagh, JM Madiot arXiv preprint arXiv:1410.2833, 2014 | | 2014 |

Duality and i/o-types in the π-calculus JM Madiot | | 2012 |

Duality and i/o-Types in the π-Calculus H Daniel, JM Madiot, D Sangiorgi LECTURE NOTES IN COMPUTER SCIENCE 7454, 302-316, 2012 | | 2012 |

Top-to-bottom verification of well synchronized C programs on weakly consistent machines S Cuellar, N Giannarakis, JM Madiot, L Beringer, Q Cao, A Appel | | |