default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDChristine Paulin-Mohring
Person information
- affiliation: Universite Paris-Sud
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2013
[e5]Sandrine Blazy
, Christine Paulin-Mohring, David Pichardie:
Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings. Lecture Notes in Computer Science 7998, Springer 2013, ISBN 978-3-642-39633-5 [contents]- 2012
- [c12]David Baelde, Pierre Courtieu, David Gross-Amblard, Christine Paulin-Mohring:
Towards Provably Robust Watermarking. ITP 2012: 201-216 - 2011
- [j4]Philippe Audebaud, Christine Paulin-Mohring:
Preface. Sci. Comput. Program. 76(3): 159 (2011) - [c11]Christine Paulin-Mohring:
Introduction to the Coq Proof-Assistant for Practical Software Verification. LASER Summer School 2011: 45-95
2000 – 2009
- 2009
- [j3]Philippe Audebaud, Christine Paulin-Mohring:
Proofs of randomized algorithms in Coq. Sci. Comput. Program. 74(8): 568-589 (2009) - 2008
- [e4]Philippe Audebaud, Christine Paulin-Mohring:
Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings. Lecture Notes in Computer Science 5133, Springer 2008, ISBN 978-3-540-70593-2 [contents] - 2006
- [c10]Philippe Audebaud, Christine Paulin-Mohring:
Proofs of Randomized Algorithms in Coq. MPC 2006: 49-68 - [e3]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. Lecture Notes in Computer Science 3839, Springer 2006, ISBN 3-540-31428-8 [contents] - 2005
- [c9]June Andronick, Boutheina Chetali, Christine Paulin-Mohring:
Formal Verification of Security Properties of Smart Card Embedded Source Code. FM 2005: 302-317 - [c8]Claude Marché, Christine Paulin-Mohring:
Reasoning About Java Programs with Aliasing and Frame Conditions. TPHOLs 2005: 179-194 - 2004
- [j2]Claude Marché, Christine Paulin-Mohring, Xavier Urbain:
The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML. J. Log. Algebraic Methods Program. 58(1-2): 89-106 (2004) - 2001
- [c7]Christine Paulin-Mohring:
Modelisation of Timed Automata in Coq. TACS 2001: 298-315
1990 – 1999
- 1999
- [e2]Yves Bertot, Gilles Dowek, André Hirschowitz, Christine Paulin-Mohring, Laurent Théry:
Theorem Proving in Higher Order Logics, 12th International Conference, TPHOLs'99, Nice, France, September, 1999, Proceedings. Lecture Notes in Computer Science 1690, Springer 1999, ISBN 3-540-66463-7 [contents] - 1998
- [e1]Eduardo Giménez, Christine Paulin-Mohring:
Types for Proofs and Programs, International Workshop TYPES'96, Aussois, France, December 15-19, 1996, Selected Papers. Lecture Notes in Computer Science 1512, Springer 1998, ISBN 3-540-65137-3 [contents] - 1996
- [b2]Christine Paulin-Mohring:
Définitions Inductives en Théorie des Types. (Inductive Definitions in Type Theory). Claude Bernard University Lyon 1, France, 1996 - [c6]Eduardo Giménez, Christine Paulin-Mohring:
Introduction. TYPES 1996: 1-8 - 1995
- [c5]Christine Paulin-Mohring:
Circuits as Streams in Coq: Verification of a Sequential Multiplier. TYPES 1995: 216-230 - 1993
- [j1]Christine Paulin-Mohring, Benjamin Werner:
Synthesis of ML Programs in the System Coq. J. Symb. Comput. 15(5/6): 607-640 (1993) - [c4]Christine Paulin-Mohring:
Inductive Definitions in the system Coq - Rules and Properties. TLCA 1993: 328-345 - [c3]François Leclerc, Christine Paulin-Mohring:
Programming with Streams in Coq - A Case Study: the Sieve of Eratosthenes. TYPES 1993: 191-212
1980 – 1989
- 1989
- [b1]Christine Paulin-Mohring:
Extraction de programmes dans le Calcul des Constructions. (Program Extraction in the Calculus of Constructions). Paris Diderot University, France, 1989 - [c2]Frank Pfenning, Christine Paulin-Mohring:
Inductively Defined Types in the Calculus of Constructions. Mathematical Foundations of Programming Semantics 1989: 209-228 - [c1]Christine Paulin-Mohring:
Extracting F(omega)'s Programs from Proofs in the Calculus of Constructions. POPL 1989: 89-104
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
