Pierre Corbineau

Available identifiers

Publication	Date of Publication	Type
Squeezing streams and composition of self-stabilizing algorithms	2024-02-06	Paper
Certification of an exact worst-case self-stabilization time	2023-01-04	Paper
A framework for certified self-stabilization	2017-12-11	Paper
A framework for certified self-stabilization	2016-10-19	Paper
Certified security proofs of cryptographic protocols in the computational model: an application to intrusion resilience	2011-11-22	Paper
On the Generation of Positivstellensatz Witnesses in Degenerate Cases	2011-08-17	Paper
A New Elimination Rule for the Calculus of Inductive Constructions	2009-07-02	Paper
Deciding Equality in the Constructor Theory	2009-03-10	Paper
A Declarative Language for the Coq Proof Assistant	2008-06-03	Paper
Cooperative Repositories for Formal Proofs	2007-11-28	Paper
Automated Deduction – CADE-20	2006-11-01	Paper
Types for Proofs and Programs	2005-12-23	Paper

This page was built for person: Pierre Corbineau