| 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 | 536 | 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 | 44 | 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 | 37 | 2022 |
| Finite choice, convex choice and finding roots S Le Roux, A Pauly Logical Methods in Computer Science 11, 2015 | 36 | 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 | 30 | 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 |
| Singular coverings and non‐uniform notions of closed set computability S Le Roux, M Ziegler Mathematical Logic Quarterly 54 (5), 545-560, 2008 | 28 | 2008 |
| 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 |
| Extending finite-memory determinacy by Boolean combination of winning conditions SL Roux, A Pauly, M Randour arXiv preprint arXiv:1808.05791, 2018 | 21 | 2018 |
| From winning strategy to Nash equilibrium S Le Roux Mathematical logic quarterly 60 (4-5), 354-371, 2014 | 18 | 2014 |
| Infinite sequential Nash equilibrium S Le Roux Logical Methods in Computer Science 9, 2013 | 18 | 2013 |
| 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 |
| 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 |
| Optimal strategies in concurrent reachability games B Bordais, P Bouyer, SL Roux arXiv preprint arXiv:2110.14724, 2021 | 13 | 2021 |
| Generalisation and formalisation in game theory S Le Roux École normale supérieure (Lyon; 1987-2009), 2008 | 13 | 2008 |
| Multi-scale metastable dynamics and the asymptotic stationary distribution of perturbed markov chains V Betz, S Le Roux Stochastic Processes and their Applications 126 (11), 3499-3526, 2016 | 12 | 2016 |
| 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 |
Arno PaulySwansea UniversityVerified email at cl.cam.ac.uk
