Pierre Corbineau

Orcid: 0000-0001-9267-7593

According to our database1, Pierre Corbineau authored at least 13 papers between 2003 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Certification of an exact worst-case self-stabilization time.
Theor. Comput. Sci., 2023

Certified Round Complexity of Self-Stabilizing Algorithms.
Proceedings of the 37th International Symposium on Distributed Computing, 2023

2019
Squeezing Streams and Composition of Self-stabilizing Algorithms.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

2017
A Framework for Certified Self-Stabilization.
Log. Methods Comput. Sci., 2017

2011
On the Generation of Positivstellensatz Witnesses in Degenerate Cases.
Proceedings of the Interactive Theorem Proving - Second International Conference, 2011

Certified Security Proofs of Cryptographic Protocols in the Computational Model: An Application to Intrusion Resilience.
Proceedings of the Certified Programs and Proofs - First International Conference, 2011

2008
A New Elimination Rule for the Calculus of Inductive Constructions.
Proceedings of the Types for Proofs and Programs, International Conference, 2008

A Real Semantic Web for Mathematics Deserves a Real Semantics.
Proceedings of the 3rd Semantic Wiki Workshop (SemWiki 2008) at the 5th European Semantic Web Conference (ESWC 2008), 2008

2007
A Declarative Language for the Coq Proof Assistant.
Proceedings of the Types for Proofs and Programs, International Conference, 2007

Cooperative Repositories for Formal Proofs.
Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

2006
Deciding Equality in the Constructor Theory.
Proceedings of the Types for Proofs and Programs, International Workshop, 2006

2005
Reflecting Proofs in First-Order Logic with Equality.
Proceedings of the Automated Deduction, 2005

2003
First-Order Reasoning in the Calculus of Inductive Constructions.
Proceedings of the Types for Proofs and Programs, International Workshop, 2003


  Loading...