Christine Paulin-Mohring
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1989–2012
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | ITP | Towards Provably Robust Watermarking. | David Baelde, Pierre Courtieu, David Gross-Amblard, Christine Paulin-Mohring |
| 2006 | MPC | Proofs of Randomized Algorithms in Coq. | Philippe Audebaud, Christine Paulin-Mohring |
| 2005 | FM | Formal Verification of Security Properties of Smart Card Embedded Source Code. | June Andronick, Boutheina Chetali, Christine Paulin-Mohring |
| 1989 | MFPS | Inductively Defined Types in the Calculus of Constructions. | Frank Pfenning, Christine Paulin-Mohring |
| 1989 | POPL | Extracting F(omega)'s Programs from Proofs in the Calculus of Constructions. | Christine Paulin-Mohring |