GG
Georges Gonthier
Microsoft Research (United Kingdom)60
Publications
5,976
Citations
28
h-index
38
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (39)
- Book Chapter (17)
- Preprint (2)
- Dissertation (1)
- Report (1)
Filter by Open Access Type
- Open Access (22)
- Closed Access (38)
Filter by Authors
- Georges Gonthier (60)
- Cédric Fournet (12)
- Martı́n Abadi (6)
- Jean-Jacques Lévy (5)
- Laurence Rideau (5)
Filter by Topics
- Logic, programming, and type systems (31)
- Formal Methods in Verification (18)
- Logic, Reasoning, and Knowledge (12)
- Computability, Logic, AI Algorithms (8)
- Security and Verification in Computing (6)