author-photo

Georges Gonthier

Microsoft
French Institute for Research in Computer Science and Automation

60

Papers

6053

Citations

Citation Trend

Filter By

Papers (60) Sort By

Journal Conference Others

New Results - A book on mathematical components

2016
Show All
- Source
- Cite
- Save
Citations (5)
Formal Verification of Smart Contracts: Short Paper

2016 PLAS | ACM Workshop on Programming Languages and Analysis for Security
Show All
- Source
- Cite
- Save
Citations (383)
Proof Engineering, from the Four Colour to the Odd Order Theorem

2014
- Georges Gonthier
Show All
- Source
- Cite
- Save
Citations (0)
How to make ad hoc proof automation less ad hoc

2013 Journal of Functional Programming
Show All
- Source
- Cite
- Save
Citations (0)
How to Make Ad Hoc Proof Automation Less Ad Hoc

2013 Journal of Functional Programming
Show All
- Source
- Cite
- Save
Citations (29)
Engineering mathematics: the odd order theorem proof

2013 POPL | Symposium on Principles of Programming Languages
- Georges Gonthier
Show All
- Source
- Cite
- Save
Citations (32)
A machine-checked proof of the odd order theorem

2013 ITP | Interactive Theorem Proving
Show All
- Source
- Cite
- Save
Citations (223)
Certified Programs and Proofs

2013
- Georges Gonthier
- Michael Norrish
Show All
- Source
- Cite
- Save
Citations (1)
Proceedings of the Third International Conference on Certified Programs and Proofs - Volume 8307

2013 CPP | Certified Programs and Proofs
- Georges Gonthier
- Michael Norrish
Show All
- Source
- Cite
- Save
Citations (0)
A publication culture in software engineering (panel)

2013 FSE | Foundations of Software Engineering
Show All
- Source
- Cite
- Save
Citations (0)