×

zbMATH — the first resource for mathematics

Gonthier, Georges

Compute Distance To:
Author ID: gonthier.georges Recent zbMATH articles by "Gonthier, Georges"
Published as: Gonthier, G.; Gonthier, Georges
Homepage: https://www.msr-inria.fr/researchers/georges-gonthier/
External Links: Wikidata · dblp
Member of Collective: the-univalent-foundations-program.
Documents Indexed: 26 Publications since 1985, including 1 Book

Publications by Year

Citations contained in zbMATH

23 Publications have been cited 354 times in 279 Documents Cited by Year
The Esterel synchronous programming language: Design, semantics, implementation. Zbl 0772.68013
Berry, Gérard; Gonthier, Georges
65
1992
Formal proof - the four color theorem. Zbl 1195.05026
Gonthier, Georges
54
2008
A machine-checked proof of the odd order theorem. Zbl 1317.68211
Gonthier, Georges; Asperti, Andrea; Avigad, Jeremy; Bertot, Yves; Cohen, Cyril; Garillot, François; Le Roux, Stéphane; Mahboubi, Assia; O’Connor, Russell; Ould Biha, Sidi; Pasca, Ioana; Rideau, Laurence; Solovyev, Alexey; Tassi, Enrico; Théry, Laurent
40
2013
An introduction to small scale reflection in Coq. Zbl 1211.68368
Gonthier, Georges; Mahboubi, Assia
29
2010
The join calculus: A language for distributed mobile programming. Zbl 1065.68071
Fournet, Cédric; Gonthier, Georges
28
2002
A hierarchy of equivalences for asynchronous calculi. (Extended abstract). Zbl 0909.03030
Fournet, Cédric; Gonthier, Georges
19
1998
Packaging mathematical structures. Zbl 1252.68253
Garillot, François; Gonthier, Georges; Mahboubi, Assia; Rideau, Laurence
17
2009
The Four Colour Theorem: Engineering of a formal proof. Zbl 1166.68346
Gonthier, Georges
17
2008
A modular formalisation of finite group theory. Zbl 1144.68356
Gonthier, Georges; Mahboubi, Assia; Rideau, Laurence; Tassi, Enrico; Théry, Laurent
17
2007
Canonical big operators. Zbl 1165.68450
Bertot, Yves; Gonthier, Georges; Ould Biha, Sidi; Pasca, Ioana
16
2008
A hierarchy of equivalences for asynchronous calculi. Zbl 1066.68088
Fournet, Cédric; Gonthier, Georges
13
2005
Secure implementation of channel abstractions. Zbl 1009.68084
Abadi, Martín; Fournet, Cédric; Gonthier, Georges
7
2002
Authentication primitives and their compilation. Zbl 1323.68178
Abadi, Martín; Fournet, Cédric; Gonthier, Georges
7
2000
How to make ad hoc proof automation less ad hoc. Zbl 1323.68117
Gonthier, Georges; Ziliani, Beta; Nanevski, Aleksandar; Dreyer, Derek
6
2011
Point-free, set-free concrete linear algebra. Zbl 1342.68285
Gonthier, Georges
4
2011
How to make ad hoc proof automation less ad hoc. Zbl 1314.68281
Gonthier, Georges; Ziliani, Beta; Nanevski, Aleksandar; Dreyer, Derek
3
2013
Secure implementation of channel abstractions. Zbl 0925.68140
Abadi, Martin; Fournet, Cedric; Gonthier, Georges
3
1997
Engineering mathematics: the odd order theorem proof. Zbl 1301.68219
Gonthier, Georges
2
2013
Advances in the formalization of the odd order theorem. Zbl 1317.68210
Gonthier, Georges
2
2011
Choice in dynamic linking. Zbl 1126.03311
Abadi, Martín; Gonthier, Georges; Werner, Benjamin
2
2004
Certified programs and proofs. Third international conference, CPP 2013, Melbourne, VIC, Australia, December 11–13, 2013. Proceedings. Zbl 1298.68028
Gonthier, Georges (ed.); Norrish, Michael (ed.)
1
2013
A top-down look at a secure message. Zbl 0983.94511
Abadi, Martín; Fournet, Cédric; Gonthier, Georges
1
1999
Synchronous programming of reactive systems: An introduction to ESTEREL. Zbl 0662.68028
Berry, G.; Couronné, P.; Gonthier, G.
1
1988
A machine-checked proof of the odd order theorem. Zbl 1317.68211
Gonthier, Georges; Asperti, Andrea; Avigad, Jeremy; Bertot, Yves; Cohen, Cyril; Garillot, François; Le Roux, Stéphane; Mahboubi, Assia; O’Connor, Russell; Ould Biha, Sidi; Pasca, Ioana; Rideau, Laurence; Solovyev, Alexey; Tassi, Enrico; Théry, Laurent
40
2013
How to make ad hoc proof automation less ad hoc. Zbl 1314.68281
Gonthier, Georges; Ziliani, Beta; Nanevski, Aleksandar; Dreyer, Derek
3
2013
Engineering mathematics: the odd order theorem proof. Zbl 1301.68219
Gonthier, Georges
2
2013
Certified programs and proofs. Third international conference, CPP 2013, Melbourne, VIC, Australia, December 11–13, 2013. Proceedings. Zbl 1298.68028
Gonthier, Georges (ed.); Norrish, Michael (ed.)
1
2013
How to make ad hoc proof automation less ad hoc. Zbl 1323.68117
Gonthier, Georges; Ziliani, Beta; Nanevski, Aleksandar; Dreyer, Derek
6
2011
Point-free, set-free concrete linear algebra. Zbl 1342.68285
Gonthier, Georges
4
2011
Advances in the formalization of the odd order theorem. Zbl 1317.68210
Gonthier, Georges
2
2011
An introduction to small scale reflection in Coq. Zbl 1211.68368
Gonthier, Georges; Mahboubi, Assia
29
2010
Packaging mathematical structures. Zbl 1252.68253
Garillot, François; Gonthier, Georges; Mahboubi, Assia; Rideau, Laurence
17
2009
Formal proof - the four color theorem. Zbl 1195.05026
Gonthier, Georges
54
2008
The Four Colour Theorem: Engineering of a formal proof. Zbl 1166.68346
Gonthier, Georges
17
2008
Canonical big operators. Zbl 1165.68450
Bertot, Yves; Gonthier, Georges; Ould Biha, Sidi; Pasca, Ioana
16
2008
A modular formalisation of finite group theory. Zbl 1144.68356
Gonthier, Georges; Mahboubi, Assia; Rideau, Laurence; Tassi, Enrico; Théry, Laurent
17
2007
A hierarchy of equivalences for asynchronous calculi. Zbl 1066.68088
Fournet, Cédric; Gonthier, Georges
13
2005
Choice in dynamic linking. Zbl 1126.03311
Abadi, Martín; Gonthier, Georges; Werner, Benjamin
2
2004
The join calculus: A language for distributed mobile programming. Zbl 1065.68071
Fournet, Cédric; Gonthier, Georges
28
2002
Secure implementation of channel abstractions. Zbl 1009.68084
Abadi, Martín; Fournet, Cédric; Gonthier, Georges
7
2002
Authentication primitives and their compilation. Zbl 1323.68178
Abadi, Martín; Fournet, Cédric; Gonthier, Georges
7
2000
A top-down look at a secure message. Zbl 0983.94511
Abadi, Martín; Fournet, Cédric; Gonthier, Georges
1
1999
A hierarchy of equivalences for asynchronous calculi. (Extended abstract). Zbl 0909.03030
Fournet, Cédric; Gonthier, Georges
19
1998
Secure implementation of channel abstractions. Zbl 0925.68140
Abadi, Martin; Fournet, Cedric; Gonthier, Georges
3
1997
The Esterel synchronous programming language: Design, semantics, implementation. Zbl 0772.68013
Berry, Gérard; Gonthier, Georges
65
1992
Synchronous programming of reactive systems: An introduction to ESTEREL. Zbl 0662.68028
Berry, G.; Couronné, P.; Gonthier, G.
1
1988
all top 5

Cited by 492 Authors

7 Nipkow, Tobias
6 Fournet, Cédric
6 Pous, Damien
5 Amadio, Roberto M.
5 Doczkal, Christian
5 Gonthier, Georges
5 Heras, Jónathan
4 Affeldt, Reynald
4 Asperti, Andrea
4 Dufourd, Jean-François
4 Kaliszyk, Cezary
4 Laneve, Cosimo
4 Melquiond, Guillaume
4 Olarte, Carlos
4 Sangiorgi, Davide
4 Smolka, Gert
4 Tini, Simone
3 Bertot, Yves
3 Boldo, Sylvie
3 Bonchi, Filippo
3 Boudol, Gérard
3 Deng, Yuxin
3 Gadducci, Fabio
3 Hales, Thomas Callister
3 Hennessy, Matthew C. B.
3 Komendantskaya, Ekaterina
3 Mahboubi, Assia
3 Mayero, Micaela
3 Merro, Massimo
3 Monreale, Giacoma Valentina
3 Nestmann, Uwe
3 Obua, Steven
3 Pąk, Karol
3 Rathke, Julian
3 Rubio García, Julio Jesús
3 Sacerdoti Coen, Claudio
3 Théry, Laurent
2 Abadi, Martín
2 Ahrens, Benedikt
2 Aransay, Jesús
2 Avigad, Jeremy
2 Benveniste, Albert
2 Berger, Martin J.
2 Blanchette, Jasmin Christian
2 Boreale, Michele
2 Braibant, Thomas
2 Cardelli, Luca
2 Castellani, Ilaria
2 Clément, François
2 Coquand, Thierry
2 Dagand, Pierre-Evariste
2 De Nicola, Rocco
2 de Roever, Willem-Paul
2 Divasón, Jose
2 Domínguez, César
2 Dubois, Catherine
2 Ferrari, Gian Luigi
2 Filliâtre, Jean-Christophe
2 Focardi, Riccardo
2 Gabbrielli, Maurizio
2 Gardner, Philippa Anne
2 Giorgetti, Alain
2 Goldin, Dina Q.
2 Grov, Gudmund
2 Gunther, Emmanuel
2 Honda, Kohei
2 Jeffrey, Alan S. A.
2 Kapulkin, Krzysztof
2 Kari, Lila
2 Komendantsky, Vladimir
2 Konovalov, Alexander B.
2 Kopecki, Steffen
2 Kurshan, Robert P.
2 Lanese, Ivan
2 Linton, Steve A.
2 Lüttgen, Gerald
2 Maggiolo-Schettini, Andrea
2 Matichuk, Daniel
2 McLaughlin, Sean
2 Mendler, Michael
2 Meo, Maria Chiara
2 Meunier, Pierre-Étienne
2 Nanevski, Aleksandar
2 Nowak, David E.
2 Ould Biha, Sidi
2 Pagano, Miguel
2 Palamidessi, Catuscia
2 Paşca, Ioana
2 Patitz, Matthew J.
2 Paulson, Lawrence Charles
2 Perera, Roly
2 Peters, Kirstin
2 Pimentel, Elaine
2 Poza, María
2 Pugliese, Rosario
2 Rabe, Florian
2 Ricciotti, Wilmer
2 Rideau, Laurence
2 Sabel, David
2 Seki, Shinnosuke
...and 392 more Authors
all top 5

Cited in 55 Serials

36 Theoretical Computer Science
27 Journal of Automated Reasoning
22 Information and Computation
14 MSCS. Mathematical Structures in Computer Science
9 The Journal of Logic and Algebraic Programming
8 Formal Aspects of Computing
5 Science of Computer Programming
5 Theory and Practice of Logic Programming
4 Journal of Functional Programming
4 Annals of Mathematics and Artificial Intelligence
4 ACM Transactions on Computational Logic
4 Journal of Formalized Reasoning
3 Acta Informatica
3 Information Processing Letters
3 Journal of Computer and System Sciences
3 Formal Methods in System Design
3 Mathematics in Computer Science
3 Journal of Logical and Algebraic Methods in Programming
2 Artificial Intelligence
2 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV)
2 Computational Geometry
2 Distributed Computing
2 Computer Languages, Systems & Structures
2 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences
1 Computers & Mathematics with Applications
1 International Journal of Systems Science
1 Journal of Mathematical Economics
1 Mathematics and Computers in Simulation
1 Synthese
1 Transactions of the American Mathematical Society
1 European Journal of Combinatorics
1 Annals of Pure and Applied Logic
1 Social Choice and Welfare
1 Journal of Symbolic Computation
1 Algorithmica
1 Discrete & Computational Geometry
1 International Journal of Parallel Programming
1 Journal of Robotic Systems
1 Real-Time Systems
1 Bulletin of the American Mathematical Society. New Series
1 Indagationes Mathematicae. New Series
1 Applicable Algebra in Engineering, Communication and Computing
1 Advances in Applied Clifford Algebras
1 Constraints
1 Journal of Combinatorial Optimization
1 Data Mining and Knowledge Discovery
1 Higher-Order and Symbolic Computation
1 JP Journal of Algebra, Number Theory and Applications
1 Natural Computing
1 Logica Universalis
1 Logical Methods in Computer Science
1 The Review of Symbolic Logic
1 Statistics and Computing
1 Forum of Mathematics, Pi
1 Computer Science Review

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.