Christine Paulin-Mohring's AcademicInfluence.com Rankings Download Badge Computer Science Philosophy
Christine Paulin-Mohring's Degrees Similar Degrees You Can Earn Why Is Christine Paulin-Mohring Influential? (Suggest an Edit or Addition)
According to Wikipedia , Christine Paulin-Mohring is a mathematical logician and computer scientist, and Professor Faculté des Sciences at Paris-Saclay University, best known for developing the interactive theorem prover Coq.
(See a Problem?) Christine Paulin-Mohring's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
1990 2000 2010 0 125 250 375 500 625 750 875 1000 1125 1250 Published Works The Coq proof assistant : reference manual, version 6.1 (1997) (1109)The coq proof assistant reference manual (2000) (1064)Inductive Definitions in the system Coq - Rules and Properties (1993) The Coq proof assistant user's guide : version 5.6 (1990) (327)The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML (2004) Extracting ω's programs from proofs in the calculus of constructions (1989) The Coq Proof Assistant A Tutorial (2005) (153)Synthesis of ML Programs in the System Coq (1993) Inductively Defined Types in the Calculus of Constructions (1989) Proofs of randomized algorithms in Coq (2006) The Coq Proof Assistant : A Tutorial : Version 7.2 (1997) (112)Mathematics of Program Construction (1998) Reasoning About Java Programs with Aliasing and Frame Conditions (2005) Introduction to the Coq Proof-Assistant for Practical Software Verification (2011) Introduction to the Calculus of Inductive Constructions (2015) (38)Circuits as Streams in Coq: Verification of a Sequential Multiplier (1995) Extraction de programmes dans le Calcul des Constructions. (Program Extraction in the Calculus of Constructions) (1989) (31)Formal Verification of Security Properties of Smart Card Embedded Source Code (2005) Programming with Streams in Coq - A Case Study: the Sieve of Eratosthenes (1994) Modelisation of Timed Automata in Coq (2001) A constructive denotational semantics for Kahn networks in Coq (2009) Interactive Theorem Proving (2013) Selected papers from the International Workshop on Types for Proofs and Programs (1996) (10)Types for Proofs and Programs: International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers (1998) (8)Philosophy and Foundations of Mathematics: Epistemological and Ontological Aspects (2009) (5)Towards Provably Robust Watermarking (2012) Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings (2008) Types for Proofs and Programs, International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers (2006) Proceedings of the 9th international conference on Mathematics of Program Construction (2008) (2)Formal Proofs of Robustness for Watermarking Algorithms (2011) (1)Proceedings of the 4th international conference on Interactive Theorem Proving (2013) (0)Types for Proofs and Programs (1995) Software - The Alea library for randomized algorithms (2010) (0)Proceedings of the 2004 international conference on Types for Proofs and Programs (2004) (0)Scientific Foundations - Higher-Order Functional Languages (2010) (0)Scientific Foundations - Proof of Imperative andObject-Oriented programs (2011) (0)New Software and Platforms - Other Maintained Tools (2014) (0)Other Grants and Activities - National initiatives (2010) (0)1 Conclusion and Future Work Conversion-based Rules Observe That Rules S-apr, S-apsl and S-apsr Con- S-apt (2007) (0)Preface (2011) A Type-Free Theory of Half-Monotone Inductive Definitions (2007) (0)More Papers This paper list is powered by the following services:
Other Resources About Christine Paulin-Mohring What Schools Are Affiliated With Christine Paulin-Mohring? Christine Paulin-Mohring is affiliated with the following schools:
