Concepedia

Christine Paulin-Mohring

CP

Statistics

Publications

9

Citations

1.8K

H-Index

9

Active since

1989

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Centre National de la Recherche Scientifique

Laboratoire de Recherche en Informatique

Université Paris-Sud

École Normale Supérieure de Lyon

Christine Paulin-Mohring is an author at Institut national de recherche en sciences et technologies du numérique specializing in formal methods, computer science, and engineering.

Top concepts

Publications per year

1989–2015

9

Publications

9

The Coq proof assistant : reference manual, version 6.1

Bruno Barras, Samuel Boutin, Cristina Cornes et al. · OpenGrey (Institut de l'Information Scientifique et Technique) · 1997 · 985 citations · Full text

The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML

Claude Marché, Christine Paulin-Mohring, Xavier Urbain · The Journal of Logic and Algebraic Programming · 2003 · 153 citations

, , +14

Extracting ω's programs from proofs in the calculus of constructions

Christine Paulin-Mohring · 1989 · 151 citations

The Coq proof assistant user's guide : version 5.6

Gilles Dowek, Amy Felty, Hugo Herbelin et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 1991 · 124 citations · Full text

Proofs of randomized algorithms in Coq

Philippe Audebaud, Christine Paulin-Mohring · Science of Computer Programming · 2009 · 103 citations · Full text

, , +7

1–5 of 9