Georges Gonthier

Available identifiers

zbMath Open gonthier.georgesWikidataQ5546810 ScholiaQ5546810MaRDI QIDQ1084851

List of research outcomes

Publication	Date of Publication	Type
A calculus of mobile agents	2023-06-28	Paper
Authentication primitives and their compilation	2015-03-17	Paper
How to make ad hoc proof automation less ad hoc	2015-03-05	Paper
Engineering mathematics	2014-11-27	Paper
How to make ad hoc proof automation less ad hoc	2014-02-27	Paper
A Machine-Checked Proof of the Odd Order Theorem	2013-08-07	Paper
A Language of Patterns for Subterm Selection	2012-09-20	Paper
Advances in the Formalization of the Odd Order Theorem	2011-08-17	Paper
Point-Free, Set-Free Concrete Linear Algebra	2011-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q3075246	2011-02-10	Paper
Packaging Mathematical Structures	2009-10-20	Paper
Software Engineering for Mathematics	2009-07-09	Paper
The Four Colour Theorem: Engineering of a Formal Proof	2009-01-29	Paper
https://portal.mardi4nfdi.de/entity/Q5302559	2009-01-07	Paper
Canonical Big Operators	2008-12-04	Paper
A Modular Formalisation of Finite Group Theory	2008-09-02	Paper
Foundations of Software Science and Computation Structures	2007-09-28	Paper
A hierarchy of equivalences for asynchronous calculi	2005-04-18	Paper
https://portal.mardi4nfdi.de/entity/Q4813226	2004-08-13	Paper
Secure implementation of channel abstractions	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4501667	2000-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q4219054	1999-02-14	Paper
https://portal.mardi4nfdi.de/entity/Q4222942	1999-01-06	Paper
The Esterel synchronous programming language: Design, semantics, implementation	1992-12-16	Paper
https://portal.mardi4nfdi.de/entity/Q3813288	1988-01-01	Paper
Algebraic calculi of processes and net expressions	1985-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Georges Gonthier