Follow
Stéphane Le Roux
Stéphane Le Roux
LSV, école normale supérieure de Paris-Saclay
Verified email at lsv.fr
Title
Cited by
Cited by
Year
A machine-checked proof of the odd order theorem
G Gonthier, A Asperti, J Avigad, Y Bertot, C Cohen, F Garillot, S Le Roux, ...
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes …, 2013
4502013
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
412019
Finite choice, convex choice and finding roots
SL Roux, A Pauly
arXiv preprint arXiv:1302.0380, 2013
342013
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
282012
Singular coverings and non‐uniform notions of closed set computability
S Le Roux, M Ziegler
Mathematical Logic Quarterly 54 (5), 545-560, 2008
282008
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
272009
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
262014
Games where you can play optimally with arena-independent finite memory
P Vandenhove, M Randour, Y Oualhadj, SL Roux, P Bouyer
Logical Methods in Computer Science 18, 2022
252022
Extending finite-memory determinacy by Boolean combination of winning conditions
SL Roux, A Pauly, M Randour
arXiv preprint arXiv:1808.05791, 2018
172018
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
172017
Weihrauch degrees of finding equilibria in sequential games
S Le Roux, A Pauly
Evolving Computability: 11th Conference on Computability in Europe, CiE 2015 …, 2015
172015
From winning strategy to Nash equilibrium
S Le Roux
Mathematical logic quarterly 60 (4-5), 354-371, 2014
162014
Infinite sequential Nash equilibrium
SL Roux
Logical Methods in Computer Science 9, 2013
162013
Extending finite-memory determinacy to multi-player games
S Le Roux, A Pauly
Information and Computation 261, 676-694, 2018
152018
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
152010
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
132016
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
122016
Weihrauch degrees of finding equilibria in sequential games
SL Roux, A Pauly
arXiv preprint arXiv:1407.5587, 2014
122014
Generalisation and formalisation in game theory
S Le Roux
Lyon, École normale supérieure (sciences), 2008
122008
Acyclicity and Finite Linear Extendability: a Formal and Constructive Equivalence.
S Le Roux
Laboratoire de l'informatique du parallélisme, 2007
102007
The system can't perform the operation now. Try again later.
Articles 1–20