| The Esterel synchronous programming language: Design, semantics, implementation G Berry, G Gonthier Science of computer programming 19 (2), 87-152, 1992 | 2712 | 1992 |
| The reflexive CHAM and the join-calculus C Fournet, G Gonthier Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of …, 1996 | 869 | 1996 |
| Formal proof–the four-color theorem G Gonthier Notices of the AMS 55 (11), 1382-1393, 2008 | 673 | 2008 |
| Formal verification of smart contracts: Short paper K Bhargavan, A Delignat-Lavaud, C Fournet, A Gollamudi, G Gonthier, ... Proceedings of the 2016 ACM workshop on programming languages and analysis …, 2016 | 634 | 2016 |
| A calculus of mobile agents C edric Fournet, G Gonthier Concur 96, 406-421, 1996 | 633 | 1996 |
| A machine-checked proof of the odd order theorem G Gonthier, A Asperti, J Avigad, Y Bertot, C Cohen, F Garillot, S Le Roux, ... Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes …, 2013 | 456 | 2013 |
| The geometry of optimal lambda reduction G Gonthier, M Abadi, JJ Lévy Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of …, 1992 | 318 | 1992 |
| A small scale reflection extension for the Coq system G Gonthier, A Mahboubi, E Tassi Inria Saclay Ile de France, 2016 | 303 | 2016 |
| The join calculus: A language for distributed mobile programming C Fournet, G Gonthier Applied Semantics: International Summer School, APPSEM 2000 Caminha …, 2002 | 241 | 2002 |
| A computer-checked proof of the Four Color Theorem G Gonthier Inria, 2023 | 212 | 2023 |
| The four colour theorem: Engineering of a formal proof G Gonthier Computer Mathematics: 8th Asian Symposium, ASCM 2007, Singapore, December 15 …, 2008 | 208 | 2008 |
| Portable, unobtrusive garbage collection for multiprocessor systems D Doligez, G Gonthier Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994 | 207 | 1994 |
| Formal proof TC Hales Notices of the AMS 55 (11), 1370-1380, 2008 | 201 | 2008 |
| Packaging Mathematical Structures. F Garillot, G Gonthier, A Mahboubi, L Rideau TPHOLs 5674, 327-342, 2009 | 191 | 2009 |
| An introduction to small scale reflection in Coq G Gonthier, A Mahboubi Journal of formalized reasoning 3 (2), 95-152, 2010 | 165 | 2010 |
| Canonical big operators Y Bertot, G Gonthier, S Ould Biha, I Pasca Theorem Proving in Higher Order Logics: 21st International Conference …, 2008 | 121 | 2008 |
| Linear logic without boxes G Gonthier, M Abadi, JJ Lévy LICS 92, 223-34, 1992 | 119 | 1992 |
| Sémantiques et modèles d'exécution des langages réactifs synchrones: application à Esterel G Gonthier Paris 11, 1988 | 104 | 1988 |
| An abstract standardisation theorem G Gonthier, JJ Lévy, PA Mellies 1992 Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer …, 1992 | 95 | 1992 |
| Synchronous programming of reactive systems: an introduction to Esterel G Berry, P Couronne, G Gonthier Proceedings of the first Franco-Japanese Symposium on Programming of future …, 1988 | 88 | 1988 |
