 | 2011 |
|---|
| 10 |       | Pierre Corbineau,
Mathilde Duclos,
Yassine Lakhnech:
Certified Security Proofs of Cryptographic Protocols in the Computational Model: An Application to Intrusion Resilience.
CPP 2011: 378-393 |
| 9 | | David Monniaux,
Pierre Corbineau:
On the Generation of Positivstellensatz Witnesses in Degenerate Cases.
ITP 2011: 249-264 |
| 8 | | David Monniaux,
Pierre Corbineau:
On the Generation of Positivstellensatz Witnesses in Degenerate Cases
CoRR abs/1105.4421: (2011) |
| 2008 |
|---|
| 7 | | Cezary Kaliszyk,
Pierre Corbineau,
Freek Wiedijk,
James McKinna,
Herman Geuvers:
A Real Semantic Web for Mathematics Deserves a Real Semantics.
SemWiki 2008 |
| 6 | | Bruno Barras,
Pierre Corbineau,
Benjamin Grégoire,
Hugo Herbelin,
Jorge Luis Sacchini:
A New Elimination Rule for the Calculus of Inductive Constructions.
TYPES 2008: 32-48 |
| 2007 |
|---|
| 5 | | Pierre Corbineau,
Cezary Kaliszyk:
Cooperative Repositories for Formal Proofs.
Calculemus/MKM 2007: 221-234 |
| 4 | | Pierre Corbineau:
A Declarative Language for the Coq Proof Assistant.
TYPES 2007: 69-84 |
| 2006 |
|---|
| 3 | | Pierre Corbineau:
Deciding Equality in the Constructor Theory.
TYPES 2006: 78-92 |
| 2005 |
|---|
| 2 | | Evelyne Contejean,
Pierre Corbineau:
Reflecting Proofs in First-Order Logic with Equality.
CADE 2005: 7-22 |
| 2003 |
|---|
| 1 | | Pierre Corbineau:
First-Order Reasoning in the Calculus of Inductive Constructions.
TYPES 2003: 162-177 |
Data released under the ODC-BY 1.0 license — See also our legal information page