Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
Formal Semantics and Program Logics for a Fragment of OCaml
Seassau, R., Yoon, I., Madiot, J. M. & Pottier, F., 5 Aug 2025, In: Proceedings of the ACM on Programming Languages. 9, ICFP, p. 128-159 32 p.Research output: Contribution to journal › Article › peer-review
Open Access -
A separation logic for heap space under garbage collection
Madiot, J. M. & Pottier, F., 1 Jan 2022, In: Proceedings of the ACM on Programming Languages. 6, POPL, 3498672.Research output: Contribution to journal › Article › peer-review
Open Access -
Modular coinduction up-to for higher-order languages via first-order transition systems
Madiot, J. M., Pous, D. & Sangiorgi, D., 1 Jan 2021, In: Logical Methods in Computer Science. 17, 3Research output: Contribution to journal › Article › peer-review
Open Access -
Name-passing calculi: From fusions to preorders and types
Hirschkoff, D., Madiot, J. M. & Sangiorgi, D., 1 Dec 2016, In: Information and Computation. 251, p. 335-360 26 p.Research output: Contribution to journal › Article › peer-review
Open Access -
A behavioural theory for a π-calculus with preorders
Hirschkoff, D., Madiot, J. M. & Xu, X., 1 Jan 2015, Fundamentals of Software Engineering - 6th International Conference, FSEN 2015, Revised Selected Papers. Dastani, M. & Sirjani, M. (eds.). Springer Verlag, p. 143-158 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9392).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
A behavioural theory for a π-calculus with preorders
Hirschkoff, D., Madiot, J. M. & Xian, X., 1 Nov 2015, In: Journal of Logical and Algebraic Methods in Programming. 84, 6, p. 806-825 20 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Bisimulations up-to: Beyond first-order transition systems
Madiot, J. M., Pous, D. & Sangiorgi, D., 1 Jan 2014, Concurrency Theory - 25th International Conference, CONCUR 2014, Proceedings. Springer Verlag, p. 93-108 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8704 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Symmetries and dualities in name-passing process calculi
Hirschkoff, D., Madiot, J. M. & Sangiorgi, D., 1 Jan 2014, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8808, p. 307-322 16 p.Research output: Contribution to journal › Article › peer-review
-
Name-passing calculi: From fusions to preorders and types
Hirschkoff, D., Madiot, J. M. & Sangiorgi, D., 9 Sept 2013, In: Proceedings - Symposium on Logic in Computer Science. p. 378-387 10 p., 6571570.Research output: Contribution to journal › Conference article › peer-review
Open Access -
Duality and i/o-types in the π-calculus
Hirschkoff, D., Madiot, J. M. & Sangiorgi, D., 1 Oct 2012, Concurrency Theory - 23rd International Conference, CONCUR 2012, Proceedings. p. 302-316 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7454 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review