|
Search the dblp DataBase
Christine Paulin-Mohring:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- June Andronick, Boutheina Chetali, Christine Paulin-Mohring
Formal Verification of Security Properties of Smart Card Embedded Source Code. [Citation Graph (0, 0)][DBLP] FM, 2005, pp:302-317 [Conf]
- Frank Pfenning, Christine Paulin-Mohring
Inductively Defined Types in the Calculus of Constructions. [Citation Graph (0, 0)][DBLP] Mathematical Foundations of Programming Semantics, 1989, pp:209-228 [Conf]
- Philippe Audebaud, Christine Paulin-Mohring
Proofs of Randomized Algorithms in Coq. [Citation Graph (0, 0)][DBLP] MPC, 2006, pp:49-68 [Conf]
- Christine Paulin-Mohring
Extracting F(omega)'s Programs from Proofs in the Calculus of Constructions. [Citation Graph (0, 0)][DBLP] POPL, 1989, pp:89-104 [Conf]
- Christine Paulin-Mohring
Modelisation of Timed Automata in Coq. [Citation Graph (0, 0)][DBLP] TACS, 2001, pp:298-315 [Conf]
- Christine Paulin-Mohring
Inductive Definitions in the system Coq - Rules and Properties. [Citation Graph (0, 0)][DBLP] TLCA, 1993, pp:328-345 [Conf]
- Claude Marché, Christine Paulin-Mohring
Reasoning About Java Programs with Aliasing and Frame Conditions. [Citation Graph (0, 0)][DBLP] TPHOLs, 2005, pp:179-194 [Conf]
- Eduardo Giménez, Christine Paulin-Mohring
Introduction. [Citation Graph (0, 0)][DBLP] TYPES, 1996, pp:1-8 [Conf]
- François Leclerc, Christine Paulin-Mohring
Programming with Streams in Coq - A Case Study: the Sieve of Eratosthenes. [Citation Graph (0, 0)][DBLP] TYPES, 1993, pp:191-212 [Conf]
- Christine Paulin-Mohring
Circuits as Streams in Coq: Verification of a Sequential Multiplier. [Citation Graph (0, 0)][DBLP] TYPES, 1995, pp:216-230 [Conf]
- Claude Marché, Christine Paulin-Mohring, 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:1-2, pp:89-106 [Journal]
- Christine Paulin-Mohring, 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:607-640 [Journal]
Search in 0.004secs, Finished in 0.004secs
|