Edit Profile Gonthier, Georges Compute Distance To: Compute Author ID: 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 all top 5 Co-Authors 7 single-authored 7 Fournet, Cédric 5 Abadi, Martín 4 Mahboubi, Assia 3 Rideau, Laurence 3 Tassi, Enrico 2 Berry, Gerard 2 Bertot, Yves 2 Dreyer, Derek R. 2 Garillot, François 2 Nanevski, Aleksandar 2 Ould Biha, Sidi 2 Paşca, Ioana 2 Théry, Laurent 2 Ziliani, Beta 1 Asperti, Andrea 1 Avigad, Jeremy 1 Cohen, Cyril 1 Couronné, P. 1 Leroux, Stéphane 1 Norrish, Michael 1 O’Connor, Russell 1 Solovyev, Alexey 1 Werner, Benjamin all top 5 Serials 1 Theoretical Computer Science 1 Science of Computer Programming 1 Information and Computation 1 Notices of the American Mathematical Society 1 Journal of Functional Programming 1 The Journal of Logic and Algebraic Programming 1 Lecture Notes in Computer Science 1 Journal of Formalized Reasoning all top 5 Fields 26 Computer science (68-XX) 6 Mathematical logic and foundations (03-XX) 4 Group theory and generalizations (20-XX) 2 Combinatorics (05-XX) 2 Information and communication theory, circuits (94-XX) 1 General and overarching topics; collections (00-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) Publications by Year all cited Publications top 5 cited Publications 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.68013Berry, Gérard; Gonthier, Georges 65 1992 Formal proof - the four color theorem. Zbl 1195.05026Gonthier, Georges 54 2008 A machine-checked proof of the odd order theorem. Zbl 1317.68211Gonthier, 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.68368Gonthier, Georges; Mahboubi, Assia 29 2010 The join calculus: A language for distributed mobile programming. Zbl 1065.68071Fournet, Cédric; Gonthier, Georges 28 2002 A hierarchy of equivalences for asynchronous calculi. (Extended abstract). Zbl 0909.03030Fournet, Cédric; Gonthier, Georges 19 1998 Packaging mathematical structures. Zbl 1252.68253Garillot, François; Gonthier, Georges; Mahboubi, Assia; Rideau, Laurence 17 2009 The Four Colour Theorem: Engineering of a formal proof. Zbl 1166.68346Gonthier, Georges 17 2008 A modular formalisation of finite group theory. Zbl 1144.68356Gonthier, Georges; Mahboubi, Assia; Rideau, Laurence; Tassi, Enrico; Théry, Laurent 17 2007 Canonical big operators. Zbl 1165.68450Bertot, Yves; Gonthier, Georges; Ould Biha, Sidi; Pasca, Ioana 16 2008 A hierarchy of equivalences for asynchronous calculi. Zbl 1066.68088Fournet, Cédric; Gonthier, Georges 13 2005 Secure implementation of channel abstractions. Zbl 1009.68084Abadi, Martín; Fournet, Cédric; Gonthier, Georges 7 2002 Authentication primitives and their compilation. Zbl 1323.68178Abadi, Martín; Fournet, Cédric; Gonthier, Georges 7 2000 How to make ad hoc proof automation less ad hoc. Zbl 1323.68117Gonthier, Georges; Ziliani, Beta; Nanevski, Aleksandar; Dreyer, Derek 6 2011 Point-free, set-free concrete linear algebra. Zbl 1342.68285Gonthier, Georges 4 2011 How to make ad hoc proof automation less ad hoc. Zbl 1314.68281Gonthier, Georges; Ziliani, Beta; Nanevski, Aleksandar; Dreyer, Derek 3 2013 Secure implementation of channel abstractions. Zbl 0925.68140Abadi, Martin; Fournet, Cedric; Gonthier, Georges 3 1997 Engineering mathematics: the odd order theorem proof. Zbl 1301.68219Gonthier, Georges 2 2013 Advances in the formalization of the odd order theorem. Zbl 1317.68210Gonthier, Georges 2 2011 Choice in dynamic linking. Zbl 1126.03311Abadi, 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.68028Gonthier, Georges (ed.); Norrish, Michael (ed.) 1 2013 A top-down look at a secure message. Zbl 0983.94511Abadi, Martín; Fournet, Cédric; Gonthier, Georges 1 1999 Synchronous programming of reactive systems: An introduction to ESTEREL. Zbl 0662.68028Berry, G.; Couronné, P.; Gonthier, G. 1 1988 A machine-checked proof of the odd order theorem. Zbl 1317.68211Gonthier, 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.68281Gonthier, Georges; Ziliani, Beta; Nanevski, Aleksandar; Dreyer, Derek 3 2013 Engineering mathematics: the odd order theorem proof. Zbl 1301.68219Gonthier, Georges 2 2013 Certified programs and proofs. Third international conference, CPP 2013, Melbourne, VIC, Australia, December 11–13, 2013. Proceedings. Zbl 1298.68028Gonthier, Georges (ed.); Norrish, Michael (ed.) 1 2013 How to make ad hoc proof automation less ad hoc. Zbl 1323.68117Gonthier, Georges; Ziliani, Beta; Nanevski, Aleksandar; Dreyer, Derek 6 2011 Point-free, set-free concrete linear algebra. Zbl 1342.68285Gonthier, Georges 4 2011 Advances in the formalization of the odd order theorem. Zbl 1317.68210Gonthier, Georges 2 2011 An introduction to small scale reflection in Coq. Zbl 1211.68368Gonthier, Georges; Mahboubi, Assia 29 2010 Packaging mathematical structures. Zbl 1252.68253Garillot, François; Gonthier, Georges; Mahboubi, Assia; Rideau, Laurence 17 2009 Formal proof - the four color theorem. Zbl 1195.05026Gonthier, Georges 54 2008 The Four Colour Theorem: Engineering of a formal proof. Zbl 1166.68346Gonthier, Georges 17 2008 Canonical big operators. Zbl 1165.68450Bertot, Yves; Gonthier, Georges; Ould Biha, Sidi; Pasca, Ioana 16 2008 A modular formalisation of finite group theory. Zbl 1144.68356Gonthier, Georges; Mahboubi, Assia; Rideau, Laurence; Tassi, Enrico; Théry, Laurent 17 2007 A hierarchy of equivalences for asynchronous calculi. Zbl 1066.68088Fournet, Cédric; Gonthier, Georges 13 2005 Choice in dynamic linking. Zbl 1126.03311Abadi, Martín; Gonthier, Georges; Werner, Benjamin 2 2004 The join calculus: A language for distributed mobile programming. Zbl 1065.68071Fournet, Cédric; Gonthier, Georges 28 2002 Secure implementation of channel abstractions. Zbl 1009.68084Abadi, Martín; Fournet, Cédric; Gonthier, Georges 7 2002 Authentication primitives and their compilation. Zbl 1323.68178Abadi, Martín; Fournet, Cédric; Gonthier, Georges 7 2000 A top-down look at a secure message. Zbl 0983.94511Abadi, Martín; Fournet, Cédric; Gonthier, Georges 1 1999 A hierarchy of equivalences for asynchronous calculi. (Extended abstract). Zbl 0909.03030Fournet, Cédric; Gonthier, Georges 19 1998 Secure implementation of channel abstractions. Zbl 0925.68140Abadi, Martin; Fournet, Cedric; Gonthier, Georges 3 1997 The Esterel synchronous programming language: Design, semantics, implementation. Zbl 0772.68013Berry, Gérard; Gonthier, Georges 65 1992 Synchronous programming of reactive systems: An introduction to ESTEREL. Zbl 0662.68028Berry, G.; Couronné, P.; Gonthier, G. 1 1988 all cited Publications top 5 cited Publications 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 all top 5 Cited in 29 Fields 253 Computer science (68-XX) 58 Mathematical logic and foundations (03-XX) 11 Combinatorics (05-XX) 10 Numerical analysis (65-XX) 8 General and overarching topics; collections (00-XX) 7 Information and communication theory, circuits (94-XX) 5 Algebraic topology (55-XX) 5 Operations research, mathematical programming (90-XX) 4 Category theory; homological algebra (18-XX) 4 Systems theory; control (93-XX) 3 History and biography (01-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 3 Real functions (26-XX) 3 Statistics (62-XX) 3 Biology and other natural sciences (92-XX) 2 Number theory (11-XX) 2 Algebraic geometry (14-XX) 2 Partial differential equations (35-XX) 2 Convex and discrete geometry (52-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Commutative algebra (13-XX) 1 Group theory and generalizations (20-XX) 1 Functions of a complex variable (30-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Special functions (33-XX) 1 Probability theory and stochastic processes (60-XX) 1 Mechanics of particles and systems (70-XX) 1 Optics, electromagnetic theory (78-XX) 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.