Conditional Reactive Systems. - H. J. Sander Bruggink; Raphaël Cauderlier; Mathias Hülsbusch; Barbara König 001 (FSTTCS, 2011)

Objects and Subtyping in the Lambda-Pi-Calculus Modulo. - Raphaël Cauderlier; Catherine Dubois (TYPES, 2014)

Implementing Polymorphism in Zenon. - Guillaume Bury; Raphaël Cauderlier; Pierre Halmagrand (IWIL@LPAR, 2015)

Mixing HOL and Coq in Dedukti (Extended Abstract). - Ali Assaf 002; Raphaël Cauderlier (PxTP@CADE, 2015)

Checking Zenon Modulo Proofs in Dedukti. - Raphaël Cauderlier; Pierre Halmagrand (PxTP@CADE, 2015)

ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti. - Raphaël Cauderlier; Catherine Dubois (ICTAC, 2016)

A Rewrite System for Proof Constructivization. - Raphaël Cauderlier (LFMTP, 2016)

Object-Oriented Mechanisms for Interoperability between Proof Systems. (Mécanismes Orientés-Objets pour l'Interopérabilité entre Systèmes de Preuve). - Raphaël Cauderlier (2016)

FoCaLiZe and Dedukti to the Rescue for Proof Interoperability. - Raphaël Cauderlier; Catherine Dubois (ITP, 2017)

Tactics and Certificates in Meta Dedukti. - Raphaël Cauderlier (ITP, 2018)

A Verified Implementation of the Bounded List Container. - Raphaël Cauderlier; Mihaela Sighireanu (TACAS (1), 2018)

Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts. - Bruno Bernardo; Raphaël Cauderlier; Zhenlei Hu; Basile Pesin; Julien Tesson (FM Workshops (1), 2019)

Albert, An Intermediate Smart-Contract Language for the Tezos Blockchain. - Bruno Bernardo; Raphaël Cauderlier; Basile Pesin; Julien Tesson (Financial Cryptography Workshops, 2020)

Making Tezos Smart Contracts More Reliable with Coq. - Bruno Bernardo; Raphaël Cauderlier; Guillaume Claret; Arvid Jakobsson; Basile Pesin; Julien Tesson (ISoLA (3), 2020)

First-Order Automated Reasoning with Theories: When Deduction Modulo Theory Meets Practice. - Guillaume Burel; Guillaume Bury; Raphaël Cauderlier; David Delahaye; Pierre Halmagrand; Olivier Hermant (J. Autom. Reason., 2020)

Dedukti: a Logical Framework based on the λΠ-Calculus Modulo Theory. - Ali Assaf 002; Guillaume Burel; Raphaël Cauderlier; David Delahaye; Gilles Dowek; Catherine Dubois; Frédéric Gilbert 002; Pierre Halmagrand; Olivier Hermant; Ronan Saillard (CoRR, 2023)