Reynald Affeldt

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Robust Mean estimation by all means (short paper)	2026-02-10	Paper
A comprehensive overview of the Lebesgue differentiation theorem in Coq	2026-02-10	Paper
Taming differentiable logics with Coq formalisation	2026-02-10	Paper
A practical formalization of monadic equational reasoning in dependent-type theory Journal of Functional Programming	2025-11-25	Paper
Measure construction by extension in dependent type theory with application to integration Journal of Automated Reasoning	2023-09-19	Paper
Towards a practical library for monadic equational reasoning in Coq Lecture Notes in Computer Science	2023-06-30	Paper
scientific article; zbMATH DE number 7649954 (Why is no real title available?) (available as arXiv preprint)	2023-02-03	Paper
Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis Automated Reasoning	2022-11-09	Paper
A trustful monad for axiomatic reasoning with probability and nondeterminism Journal of Functional Programming	2021-09-24	Paper
Formal adventures in convex and conical spaces (available as arXiv preprint)	2021-01-20	Paper
A library for formalization of linear error-correcting codes Journal of Automated Reasoning	2020-11-02	Paper
A hierarchy of monadic effects for program verification using equational reasoning	2020-05-05	Paper
An intrinsic encoding of a subset of C and its application to TLS network packet processing	2019-09-18	Paper
Formalization techniques for asymptotic reasoning in classical analysis	2019-09-18	Paper
Formalization of Error-Correcting Codes: From Hamming to Modern Coding Theory Interactive Theorem Proving	2015-09-14	Paper
Formalization of Shannon's theorems Journal of Automated Reasoning	2015-07-02	Paper
A Coq library for verification of concurrent programs Electronic Notes in Theoretical Computer Science	2014-01-10	Paper
Partial order reduction for verification of spatial properties of pi-calculus processes	2013-09-25	Paper
Formalization of Shannon's theorems in SSReflect-Coq Interactive Theorem Proving	2012-09-20	Paper
Certifying assembly with formal security proofs: the case of BBS Science of Computer Programming	2012-07-20	Paper
Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables Formal to Practical Security	2009-06-09	Paper
Formal Proof of Provable Security by Game-Playing in a Proof Assistant Provable Security	2008-06-10	Paper
scientific article; zbMATH DE number 1962750 (Why is no real title available?)	2003-08-11	Paper

Research outcomes over time

This page was built for person: Reynald Affeldt