Georges Gonthier
Microsoft Research (United Kingdom)(GB)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Logic, Reasoning, and Knowledge, Computability, Logic, AI Algorithms, Security and Verification in Computing
Most-Cited Works
- → The Esterel synchronous programming language: design, semantics, implementation(1992)1,702 cited
- → Formal Verification of Smart Contracts(2016)610 cited
- → The reflexive CHAM and the join-calculus(1996)452 cited
- → A calculus of mobile agents(1996)423 cited
- Formal Proof—The Four- Color Theorem(2008)
- → A Machine-Checked Proof of the Odd Order Theorem(2013)274 cited
- → The geometry of optimal lambda reduction(1992)231 cited
- → The Join Calculus: A Language for Distributed Mobile Programming(2002)171 cited
- → Portable, unobtrusive garbage collection for multiprocessor systems(1994)152 cited
- A Small Scale Reflection Extension for the Coq system(2008)