Linear Strategy for Propositional Modal Resolution. - Yves Auffray (Inf. Process. Lett., 1988)

Strategies for Modal Resolution: Results and Problems. - Yves Auffray; Patrice Enjalbert; Jean-Jacques Hébrard (J. Autom. Reason., 1990)

Modal Theorem Proving: An Equational Viewpoint. - Yves Auffray; Patrice Enjalbert (J. Log. Comput., 1992)

Maximin design on non hypercube domains and kernel interpolation. - Yves Auffray; Pierre Barbillon; Jean-Michel Marin (Stat. Comput., 2012)

Bounding rare event probabilities in computer experiments. - Yves Auffray; Pierre Barbillon; Jean-Michel Marin (Comput. Stat. Data Anal., 2014)