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, ...
International conference on interactive theorem proving, 163-179, 2013
4122013
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
322019
Finite choice, convex choice and finding roots
SL Roux, A Pauly
arXiv preprint arXiv:1302.0380, 2013
292013
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
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
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
262012
Singular coverings and non‐uniform notions of closed set computability
S Le Roux, M Ziegler
Mathematical Logic Quarterly 54 (5), 545-560, 2008
262008
Generalisation and formalisation in game theory
S Le Roux
Lyon, École normale supérieure (sciences), 2008
192008
Weihrauch degrees of finding equilibria in sequential games
S Le Roux, A Pauly
Conference on Computability in Europe, 246-257, 2015
182015
Infinite sequential Nash equilibrium
S Le Roux
Logical Methods in Computer Science 9 (2), 2013
182013
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
162010
From winning strategy to Nash equilibrium
S Le Roux
Mathematical logic quarterly 60 (4-5), 354-371, 2014
152014
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
142017
Extending finite-memory determinacy to multi-player games
S Le Roux, A Pauly
Information and Computation 261, 676-694, 2018
132018
Weihrauch degrees of finding equilibria in sequential games
SL Roux, A Pauly
arXiv preprint arXiv:1407.5587, 2014
132014
Infinite subgame perfect equilibrium in the Hausdorff difference hierarchy
S Le Roux
International Conference on Topics in Theoretical Computer Science, 147-163, 2015
122015
The Brouwer fixed point theorem revisited
V Brattka, S Le Roux, JS Miller, A Pauly
Conference on Computability in Europe, 58-67, 2016
112016
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
102020
Acyclicity and Finite Linear Extendability: a Formal and Constructive Equivalence.
S Le Roux
102007
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
102006
The system can't perform the operation now. Try again later.
Articles 1–20