
Search the dblp DataBase
Christine PaulinMohring:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 June Andronick, Boutheina Chetali, Christine PaulinMohring
Formal Verification of Security Properties of Smart Card Embedded Source Code. [Citation Graph (0, 0)][DBLP] FM, 2005, pp:302317 [Conf]
 Frank Pfenning, Christine PaulinMohring
Inductively Defined Types in the Calculus of Constructions. [Citation Graph (0, 0)][DBLP] Mathematical Foundations of Programming Semantics, 1989, pp:209228 [Conf]
 Philippe Audebaud, Christine PaulinMohring
Proofs of Randomized Algorithms in Coq. [Citation Graph (0, 0)][DBLP] MPC, 2006, pp:4968 [Conf]
 Christine PaulinMohring
Extracting F(omega)'s Programs from Proofs in the Calculus of Constructions. [Citation Graph (0, 0)][DBLP] POPL, 1989, pp:89104 [Conf]
 Christine PaulinMohring
Modelisation of Timed Automata in Coq. [Citation Graph (0, 0)][DBLP] TACS, 2001, pp:298315 [Conf]
 Christine PaulinMohring
Inductive Definitions in the system Coq  Rules and Properties. [Citation Graph (0, 0)][DBLP] TLCA, 1993, pp:328345 [Conf]
 Claude Marché, Christine PaulinMohring
Reasoning About Java Programs with Aliasing and Frame Conditions. [Citation Graph (0, 0)][DBLP] TPHOLs, 2005, pp:179194 [Conf]
 Eduardo Giménez, Christine PaulinMohring
Introduction. [Citation Graph (0, 0)][DBLP] TYPES, 1996, pp:18 [Conf]
 François Leclerc, Christine PaulinMohring
Programming with Streams in Coq  A Case Study: the Sieve of Eratosthenes. [Citation Graph (0, 0)][DBLP] TYPES, 1993, pp:191212 [Conf]
 Christine PaulinMohring
Circuits as Streams in Coq: Verification of a Sequential Multiplier. [Citation Graph (0, 0)][DBLP] TYPES, 1995, pp:216230 [Conf]
 Claude Marché, Christine PaulinMohring, Xavier Urbain
The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML. [Citation Graph (0, 0)][DBLP] J. Log. Algebr. Program., 2004, v:58, n:12, pp:89106 [Journal]
 Christine PaulinMohring, Benjamin Werner
Synthesis of ML Programs in the System Coq. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1993, v:15, n:5/6, pp:607640 [Journal]
Search in 0.004secs, Finished in 0.004secs
