Parsers in ML. - Daniel de Rauglaudre; Michel Mauny (LISP and Functional Programming, 1992)

Improving the Sensitivity of Deadlines with a Specific Asynchronous Scenario for Harmonic Periodic Tasks scheduled by FP. - Patrick Meumeu Yomsi; Yves Sorel; Daniel de Rauglaudre; Laurent George 001 (ICONS, 2009)

Formal Proof of Banach-Tarski Paradox. - Daniel de Rauglaudre (J. Formaliz. Reason., 2017)