Pierre Corbineau

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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

Research outcomes over time

This page was built for person: Pierre Corbineau