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 | 513 | 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 | 41 | 2019 |

Games where you can play optimally with arena-independent finite memory P Bouyer, S Le Roux, Y Oualhadj, M Randour, P Vandenhove Logical Methods in Computer Science 18, 2022 | 35 | 2022 |

Finite choice, convex choice and finding roots S Le Roux, A Pauly Logical Methods in Computer Science 11, 2015 | 34 | 2015 |

Acyclic preferences and existence of sequential Nash equilibria: A formal and constructive equivalence S Le Roux Theorem Proving in Higher Order Logics: 22nd International Conference …, 2009 | 29 | 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 | 28 | 2014 |

On the computational content of the Brouwer fixed point theorem V Brattka, S Le Roux, A Pauly How the World Computes: Turing Centenary Conference and 8th Conference on …, 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 |

Extending finite-memory determinacy by Boolean combination of winning conditions SL Roux, A Pauly, M Randour arXiv preprint arXiv:1808.05791, 2018 | 20 | 2018 |

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

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

On the existence of weak subgame perfect equilibria V Bruyère, S Le Roux, A Pauly, JF Raskin Foundations of Software Science and Computation Structures: 20th …, 2017 | 17 | 2017 |

Weihrauch degrees of finding equilibria in sequential games S Le Roux, A Pauly Evolving Computability: 11th Conference on Computability in Europe, CiE 2015 …, 2015 | 17 | 2015 |

Infinite sequential Nash equilibrium S Le Roux Logical Methods in Computer Science 9, 2013 | 17 | 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 |

Generalisation and formalisation in game theory S Le Roux École normale supérieure (Lyon; 1987-2009), 2008 | 13 | 2008 |

Optimal strategies in concurrent reachability games B Bordais, P Bouyer, SL Roux arXiv preprint arXiv:2110.14724, 2021 | 12 | 2021 |

Infinite subgame perfect equilibrium in the Hausdorff difference hierarchy S Le Roux Topics in Theoretical Computer Science: The First IFIP WG 1.8 International …, 2016 | 12 | 2016 |

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

The Brouwer fixed point theorem revisited V Brattka, S Le Roux, JS Miller, A Pauly Pursuit of the Universal: 12th Conference on Computability in Europe, CiE …, 2016 | 11 | 2016 |