Daniel de Rauglaudre

According to our database, Daniel de Rauglaudre authored at least 3 papers between 1992 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

Formal Proof of Banach-Tarski Paradox.

Daniel de Rauglaudre

J. Formaliz. Reason., 2017

2009

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

Proceedings of the Fourth International Conference on Systems, 2009

1992

Parsers in ML.

Daniel de Rauglaudre, Michel Mauny

Proceedings of the Conference on Lisp and Functional Programming, 1992