Concepedia
Statistics
Publications
4
Citations
78
H-Index
Active since
1990
Affiliations
Dassault Aviation (France)(Current)
Institut Montpelliérain Alexander Grothendieck
Laboratoire de Mathématiques d'Orsay
Université Paris-Sud
Institut national de recherche en sciences et technologies du numérique
Yves Auffray is an author at Dassault Aviation (France) specializing in computer science, modal logic, and mathematics.
Publications per year
1990–2014
Strategies for modal resolution: Results and problems
Yves Auffray, Jean-Jacques Hébrard · Journal of Automated Reasoning · 1990 · 33 citations
Engineering, Mechanical Engineering, Projection Mapping +4
Maximin design on non hypercube domains and kernel interpolation
Yves Auffray, Pierre Barbillon, Jean‐Michel Marin · Statistics and Computing · 2011 · 19 citations
Computing, Computer Science, Computer Systems +5
Modal Theorem Proving: An Equational Viewpoint
Yves Auffray, Patrice Enjalbert · Journal of Logic and Computation · 1992 · 15 citations
Humanities, Computer Science, Mathematics +10
Bounding rare event probabilities in computer experiments
Yves Auffray, Pierre Barbillon, Jean‐Michel Marin · Computational Statistics & Data Analysis · 2014 · 11 citations · Full text
Natural Sciences, Computer Science, Mathematics +14
1–4 of 4