 | 2009 |
|---|
| 6 |       | Philippe Audebaud,
Christine Paulin-Mohring:
Proofs of randomized algorithms in Coq.
Sci. Comput. Program. 74(8): 568-589 (2009) |
| 2008 |
|---|
| 5 |  | Philippe Audebaud,
Christine Paulin-Mohring:
Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
Springer 2008 |
| 2006 |
|---|
| 4 | | Philippe Audebaud,
Christine Paulin-Mohring:
Proofs of Randomized Algorithms in Coq.
MPC 2006: 49-68 |
| 2004 |
|---|
| 3 | | Philippe Audebaud,
Laurence Rideau:
TEXmacs as Authoring Tool for Formal Developments.
Electr. Notes Theor. Comput. Sci. 103: 27-48 (2004) |
| 1999 |
|---|
| 2 | | Philippe Audebaud,
Elena Zucca:
Deriving Proof Rules from Continuation Semantics.
Formal Asp. Comput. 11(4): 426-447 (1999) |
| 1991 |
|---|
| 1 | | Philippe Audebaud:
Partial Objects in the Calculus of Constructions
LICS 1991: 86-95 |
