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

1992

Modal Theorem Proving: An Equational Viewpoint.

Yves Auffray, Patrice Enjalbert

J. Log. Comput., 1992

1990

Strategies for Modal Resolution: Results and Problems.

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

J. Autom. Reason., 1990

1988

Linear Strategy for Propositional Modal Resolution.

Yves Auffray

Inf. Process. Lett., 1988