( en | de | ru )

 

Disambiguation of "Corbineau, Pierre"

Author of the publication

copydeleteadd this publication to your clipboard
Certification of an Exact Worst-Case Self-Stabilization Time.

, , and . ICDCN, page 46-55. ACM, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Angelika Corbineau-Hoffmann

Pierre Mattern

Pierre Gottschlich

Pierre Nyabyenda

Pierre Mangold

 

Other publications of authors with the same name

A Real Semantic Web for Mathematics Deserves a Real Semantics., , , , and . SemWiki, volume 360 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)Deciding Equality in the Constructor Theory.. TYPES, volume 4502 of Lecture Notes in Computer Science, page 78-92. Springer, (2006)Certification of an exact worst-case self-stabilization time., , and . Theor. Comput. Sci., (2023)Certification of an Exact Worst-Case Self-Stabilization Time., , and . ICDCN, page 46-55. ACM, (2021)Certified Round Complexity of Self-Stabilizing Algorithms., , and . DISC, volume 281 of LIPIcs, page 2:1-2:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Reflecting Proofs in First-Order Logic with Equality., and . CADE, volume 3632 of Lecture Notes in Computer Science, page 7-22. Springer, (2005)On the Generation of Positivstellensatz Witnesses in Degenerate Cases, and . CoRR, (2011)First-Order Reasoning in the Calculus of Inductive Constructions.. TYPES, volume 3085 of Lecture Notes in Computer Science, page 162-177. Springer, (2003)A Declarative Language for the Coq Proof Assistant.. TYPES, volume 4941 of Lecture Notes in Computer Science, page 69-84. Springer, (2007)Squeezing Streams and Composition of Self-stabilizing Algorithms., , and . FORTE, volume 11535 of Lecture Notes in Computer Science, page 21-38. Springer, (2019)