Yves Auffray

According to our database, Yves Auffray authored at least 5 papers between 1988 and 2014.

Collaborative distances:

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

2014

Bounding rare event probabilities in computer experiments.

Yves Auffray, Pierre Barbillon, Jean-Michel Marin

Comput. Stat. Data Anal., 2014

2012

Maximin design on non hypercube domains and kernel interpolation.

Yves Auffray, Pierre Barbillon, Jean-Michel Marin

Stat. Comput., 2012

1990

Strategies for Modal Resolution: Results and Problems.

Yves Auffray, Patrice Enjalbert, Jean-Jacques Hébrard

J. Autom. Reason., 1990

1989

Modal Theorem Proving: An Equational Viewpoint.

Yves Auffray, Patrice Enjalbert

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1988

Linear Strategy for Propositional Modal Resolution.

Yves Auffray

Inf. Process. Lett., 1988