The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Christine Paulin-Mohring: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Philippe Audebaud, Christine Paulin-Mohring
    Proofs of Randomized Algorithms in Coq. [Citation Graph (0, 0)][DBLP]
    MPC, 2006, pp:49-68 [Conf]
  4. 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]
  5. Christine Paulin-Mohring
    Modelisation of Timed Automata in Coq. [Citation Graph (0, 0)][DBLP]
    TACS, 2001, pp:298-315 [Conf]
  6. Christine Paulin-Mohring
    Inductive Definitions in the system Coq - Rules and Properties. [Citation Graph (0, 0)][DBLP]
    TLCA, 1993, pp:328-345 [Conf]
  7. 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]
  8. Eduardo Giménez, Christine Paulin-Mohring
    Introduction. [Citation Graph (0, 0)][DBLP]
    TYPES, 1996, pp:1-8 [Conf]
  9. 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]
  10. Christine Paulin-Mohring
    Circuits as Streams in Coq: Verification of a Sequential Multiplier. [Citation Graph (0, 0)][DBLP]
    TYPES, 1995, pp:216-230 [Conf]
  11. 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]
  12. 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.003secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002