Pierre Corbineau

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 7

Top Topics

Worst Case Scenario

Space Complexity

Complexity Bounds

Top Venues

Log. Methods Comput. Sci.

Publications

Karine Altisen, Pierre Corbineau, Stéphane Devismes
Certification of an exact worst-case self-stabilization time. Theor. Comput. Sci. 941 (2023)
Karine Altisen, Pierre Corbineau, Stéphane Devismes
Certified Round Complexity of Self-Stabilizing Algorithms. DISC (2023)
Karine Altisen, Pierre Corbineau, Stéphane Devismes
Certification of an Exact Worst-Case Self-Stabilization Time. ICDCN (2021)
Karine Altisen, Pierre Corbineau, Stéphane Devismes
Squeezing Streams and Composition of Self-stabilizing Algorithms. FORTE (2019)
Karine Altisen, Pierre Corbineau, Stéphane Devismes
A Framework for Certified Self-Stabilization. Log. Methods Comput. Sci. 13 (4) (2017)
Karine Altisen, Pierre Corbineau, Stéphane Devismes
A Framework for Certified Self-Stabilization. FORTE (2016)
Karine Altisen, Pierre Corbineau, Stéphane Devismes
A Framework for Certified Self-Stabilization. CoRR (2016)
David Monniaux, Pierre Corbineau
On the Generation of Positivstellensatz Witnesses in Degenerate Cases. ITP (2011)
Pierre Corbineau, Mathilde Duclos, Yassine Lakhnech
Certified Security Proofs of Cryptographic Protocols in the Computational Model: An Application to Intrusion Resilience. CPP (2011)
David Monniaux, Pierre Corbineau
On the Generation of Positivstellensatz Witnesses in Degenerate Cases CoRR (2011)
Bruno Barras, Pierre Corbineau, Benjamin Grégoire, Hugo Herbelin, Jorge Luis Sacchini
A New Elimination Rule for the Calculus of Inductive Constructions. TYPES (2008)
Cezary Kaliszyk, Pierre Corbineau, Freek Wiedijk, James McKinna, Herman Geuvers
A Real Semantic Web for Mathematics Deserves a Real Semantics. SemWiki (2008)
Pierre Corbineau, Cezary Kaliszyk
Cooperative Repositories for Formal Proofs. Calculemus/MKM (2007)
Pierre Corbineau
A Declarative Language for the Coq Proof Assistant. TYPES (2007)
Pierre Corbineau
Deciding Equality in the Constructor Theory. TYPES (2006)
Evelyne Contejean, Pierre Corbineau
Reflecting Proofs in First-Order Logic with Equality. CADE (2005)
Pierre Corbineau
First-Order Reasoning in the Calculus of Inductive Constructions. TYPES (2003)