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 | 412 | 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 | 32 | 2019 |

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

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 | 27 | 2009 |

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 | 26 | 2014 |

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 |

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

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

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

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 | 16 | 2010 |

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

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 | 14 | 2017 |

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

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

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

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 |

Games where you can play optimally with arena-independent finite memory P Bouyer, SL Roux, Y Oualhadj, M Randour, P Vandenhove arXiv preprint arXiv:2001.03894, 2020 | 10 | 2020 |

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 |