A machine-checked proof of the odd order theorem G Gonthier, A Asperti, J Avigad, Y Bertot, C Cohen, F Garillot, S Le Roux, ... International Conference on Interactive Theorem Proving, 163-179, 2013 | 372 | 2013 |

Connected choice and the Brouwer fixed point theorem V Brattka, S Le Roux, JS Miller, A Pauly Journal of Mathematical Logic 19 (01), 1950004, 2019 | 27 | 2019 |

Infinite sequential games with real-valued payoffs S Le Roux, A Pauly Proceedings of the joint meeting of the twenty-third EACSL annual conference …, 2014 | 27 | 2014 |

Finite choice, convex choice and finding roots SL Roux, A Pauly arXiv preprint arXiv:1302.0380, 2013 | 26 | 2013 |

On the computational content of the Brouwer fixed point theorem V Brattka, S Le Roux, A Pauly Conference on Computability in Europe, 56-67, 2012 | 26 | 2012 |

Singular coverings and non‐uniform notions of closed set computability S Le Roux, M Ziegler Mathematical Logic Quarterly 54 (5), 545-560, 2008 | 26 | 2008 |

Acyclic preferences and existence of sequential Nash equilibria: a formal and constructive equivalence S Le Roux International Conference on Theorem Proving in Higher Order Logics, 293-309, 2009 | 24 | 2009 |

Generalisation and formalisation in game theory S Le Roux Lyon, École normale supérieure (sciences), 2008 | 19 | 2008 |

Infinite sequential Nash equilibrium S Le Roux Logical Methods in Computer Science 9 (2), 2013 | 17 | 2013 |

Weihrauch degrees of finding equilibria in sequential games S Le Roux, A Pauly Conference on Computability in Europe, 246-257, 2015 | 16 | 2015 |

Static analysis by abstract interpretation: A mathematical programming approach E Goubault, S Le Roux, J Leconte, L Liberti, F Marinelli Electronic notes in theoretical computer science 267 (1), 73-87, 2010 | 14 | 2010 |

On the existence of weak subgame perfect equilibria V Bruyère, S Le Roux, A Pauly, JF Raskin International Conference on Foundations of Software Science and Computation …, 2017 | 13 | 2017 |

From winning strategy to Nash equilibrium S Le Roux Mathematical logic quarterly 60 (4-5), 354-371, 2014 | 13 | 2014 |

Weihrauch degrees of finding equilibria in sequential games SL Roux, A Pauly arXiv preprint arXiv:1407.5587, 2014 | 13 | 2014 |

Extending finite-memory determinacy to multi-player games S Le Roux, A Pauly Information and Computation 261, 676-694, 2018 | 12 | 2018 |

The Brouwer fixed point theorem revisited V Brattka, S Le Roux, JS Miller, A Pauly Conference on Computability in Europe, 58-67, 2016 | 11 | 2016 |

Infinite subgame perfect equilibrium in the Hausdorff difference hierarchy S Le Roux International Conference on Topics in Theoretical Computer Science, 147-163, 2015 | 11 | 2015 |

Acyclicity and Finite Linear Extendability: a Formal and Constructive Equivalence. S Le Roux | 10 | 2007 |

A discrete Nash theorem with quadratic complexity and dynamic equilibria S Le Roux, P Lescanne, R Vestergaard Research Report IS-RR-2006-006, JAIST, 2006 | 10 | 2006 |

An existence theorem of Nash equilibrium in Coq and Isabelle SL Roux, É Martin-Dorel, JG Smaus arXiv preprint arXiv:1709.02096, 2017 | 7 | 2017 |