Follow
Georges Gonthier
Georges Gonthier
Principal Researcher, Microsoft Research
Verified email at microsoft.com - Homepage
Title
Cited by
Cited by
Year
The Esterel synchronous programming language: Design, semantics, implementation
G Berry, G Gonthier
Science of computer programming 19 (2), 87-152, 1992
27041992
The reflexive CHAM and the join-calculus
C Fournet, G Gonthier
Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of …, 1996
8661996
Formal proof–the four-color theorem
G Gonthier
Notices of the AMS 55 (11), 1382-1393, 2008
6672008
A calculus of mobile agents
C edric Fournet, G Gonthier
Concur 96, 406-421, 1996
6331996
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
6262016
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
4502013
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
3181992
A small scale reflection extension for the Coq system
G Gonthier, A Mahboubi, E Tassi
Inria Saclay Ile de France, 2016
3032016
The join calculus: A language for distributed mobile programming
C Fournet, G Gonthier
Applied Semantics: International Summer School, APPSEM 2000 Caminha …, 2002
2412002
A computer-checked proof of the four colour theorem
G Gonthier
2122005
The four colour theorem: Engineering of a formal proof
G Gonthier
Computer Mathematics: 8th Asian Symposium, ASCM 2007, Singapore, December 15 …, 2008
2062008
Portable, unobtrusive garbage collection for multiprocessor systems
D Doligez, G Gonthier
Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994
2061994
Formal proof
TC Hales
Notices of the AMS 55 (11), 1370-1380, 2008
1952008
Packaging Mathematical Structures.
F Garillot, G Gonthier, A Mahboubi, L Rideau
TPHOLs 5674, 327-342, 2009
1892009
An introduction to small scale reflection in Coq
G Gonthier, A Mahboubi
Journal of formalized reasoning 3 (2), 95-152, 2010
1652010
Canonical big operators
Y Bertot, G Gonthier, S Ould Biha, I Pasca
Theorem Proving in Higher Order Logics: 21st International Conference …, 2008
1202008
Linear logic without boxes
G Gonthier, M Abadi, JJ Lévy
LICS 92, 223-34, 1992
1191992
Sémantiques et modèles d'exécution des langages réactifs synchrones: application à Esterel
G Gonthier
Paris 11, 1988
1041988
An abstract standardisation theorem
G Gonthier, JJ Lévy, PA Mellies
1992 Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer …, 1992
941992
A hierarchy of equivalences for asynchronous calculi
C Fournet, G Gonthier
Automata, Languages and Programming: 25th International Colloquium, ICALP'98 …, 1998
871998
The system can't perform the operation now. Try again later.
Articles 1–20