dblp.uni-trier.dewww.uni-trier.de

Christine Paulin-Mohring Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
16EEPhilippe Audebaud, Christine Paulin-Mohring: Proofs of randomized algorithms in Coq. Sci. Comput. Program. 74(8): 568-589 (2009)
2008
15 Philippe Audebaud, Christine Paulin-Mohring: Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings Springer 2008
2006
14 Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner: Types for Proofs and Programs, International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers Springer 2006
13EEPhilippe Audebaud, Christine Paulin-Mohring: Proofs of Randomized Algorithms in Coq. MPC 2006: 49-68
2005
12EEJune Andronick, Boutheina Chetali, Christine Paulin-Mohring: Formal Verification of Security Properties of Smart Card Embedded Source Code. FM 2005: 302-317
11EEClaude Marché, Christine Paulin-Mohring: Reasoning About Java Programs with Aliasing and Frame Conditions. TPHOLs 2005: 179-194
2004
10EEClaude Marché, Christine Paulin-Mohring, Xavier Urbain: The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML. J. Log. Algebr. Program. 58(1-2): 89-106 (2004)
2001
9EEChristine Paulin-Mohring: Modelisation of Timed Automata in Coq. TACS 2001: 298-315
1998
8 Eduardo Giménez, Christine Paulin-Mohring: Types for Proofs and Programs, International Workshop TYPES'96, Aussois, France, December 15-19, 1996, Selected Papers Springer 1998
1996
7 Eduardo Giménez, Christine Paulin-Mohring: Introduction. TYPES 1996: 1-8
1995
6EEChristine Paulin-Mohring: Circuits as Streams in Coq: Verification of a Sequential Multiplier. TYPES 1995: 216-230
1993
5 Christine Paulin-Mohring: Inductive Definitions in the system Coq - Rules and Properties. TLCA 1993: 328-345
4 François Leclerc, Christine Paulin-Mohring: Programming with Streams in Coq - A Case Study: the Sieve of Eratosthenes. TYPES 1993: 191-212
3 Christine Paulin-Mohring, Benjamin Werner: Synthesis of ML Programs in the System Coq. J. Symb. Comput. 15(5/6): 607-640 (1993)
1989
2EEFrank Pfenning, Christine Paulin-Mohring: Inductively Defined Types in the Calculus of Constructions. Mathematical Foundations of Programming Semantics 1989: 209-228
1 Christine Paulin-Mohring: Extracting F(omega)'s Programs from Proofs in the Calculus of Constructions. POPL 1989: 89-104

Coauthor Index

1June Andronick [12]
2Philippe Audebaud [13] [15] [16]
3Boutheina Chetali [12]
4Jean-Christophe Filliâtre [14]
5Eduardo Giménez [7] [8]
6François Leclerc [4]
7Claude Marché [10] [11]
8Frank Pfenning [2]
9Xavier Urbain [10]
10Benjamin Werner [3] [14]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)