Pierre Corbineau

Available identifiers

zbMath Open corbineau.pierreMaRDI QIDQ2680866

List of research outcomes

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

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: Pierre Corbineau