Christine Paulin-Mohring

Available identifiers

Publication	Date of Publication	Type
Programming with streams in Coq a case study: The Sieve of Eratosthenes	2023-12-08	Paper
Inductively defined types in the Calculus of Constructions	2023-04-12	Paper
https://portal.mardi4nfdi.de/entity/Q5219927	2020-03-09	Paper
Circuits as streams in Coq: Verification of a sequential multiplier	2019-01-15	Paper
Towards Provably Robust Watermarking	2012-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q3400638	2010-02-05	Paper
Proofs of randomized algorithms in Coq	2009-07-24	Paper
Proofs of Randomized Algorithms in Coq	2009-04-02	Paper
Theorem Proving in Higher Order Logics	2006-07-06	Paper
FM 2005: Formal Methods	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q5714446	2006-01-02	Paper
The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML	2004-10-14	Paper
Synthesis of ML programs in the system Coq	1995-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q4281483	1994-03-10	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Christine Paulin-Mohring