| 2026 | CONCUR | Positional Determinacy with Colored Vertices: A 1-To-2-Player Lift. | Raphal Berthon, Stphane Le Roux |
| 2025 | MODELSWARD | An Automata-Based Method to Formalize Psychological Theories: The Case Study of Lazarus and Folkman's Stress Theory. | Alain Finkel, Gaspard Fougea, Stphane Le Roux |
| 2024 | CSL | From Local to Global Optimality in Concurrent Parity Games. | Benjamin Bordais, Patricia Bouyer, Stphane Le Roux |
| 2023 | FOSSACS | Subgame Optimal Strategies in Finite Concurrent Games with Prefix-Independent Objectives. | Benjamin Bordais, Patricia Bouyer, Stphane Le Roux |
| 2022 | CSL | Optimal Strategies in Concurrent Reachability Games. | Benjamin Bordais, Patricia Bouyer, Stphane Le Roux |
| 2022 | CSL | Finite-Memory Strategies in Two-Player Infinite Games. | Patricia Bouyer, Stphane Le Roux, Nathan Thomasset |
| 2020 | CiE | Time-Aware Uniformization of Winning Strategies. | Stphane Le Roux |
| 2020 | CONCUR | Games Where You Can Play Optimally with Arena-Independent Finite Memory. | Patricia Bouyer, Stphane Le Roux, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove |
| 2020 | SAC | TRIDEnT: towards a decentralized threat indicator marketplace. | Nikolaos Alexopoulos, Emmanouil Vasilomanolakis, Stphane Le Roux, Steven Rowe, Max Mhlhuser |
| 2018 | FOSSACS | The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes. | Stphane Le Roux, Guillermo A. Prez |
| 2018 | MFCS | Concurrent Games and Semi-Random Determinacy. | Stphane Le Roux |
| 2017 | FOSSACS | On the Existence of Weak Subgame Perfect Equilibria. | Vronique Bruyre, Stphane Le Roux, Arno Pauly, Jean-Franois Raskin |
| 2017 | IJCAI | Reduction Techniques for Model Checking and Learning in MDPs. | Suda Bharadwaj, Stphane Le Roux, Guillermo A. Prez, Ufuk Topcu |
| 2017 | STACS | Minkowski Games. | Stphane Le Roux, Arno Pauly, Jean-Franois Raskin |
| 2016 | CiE | The Brouwer Fixed Point Theorem Revisited. | Vasco Brattka, Stphane Le Roux, Joseph S. Miller, Arno Pauly |
| 2016 | MFCS | Stable States of Perturbed Markov Chains. | Volker Betz, Stphane Le Roux |
| 2015 | CiE | Weihrauch Degrees of Finding Equilibria in Sequential Games. | Stphane Le Roux, Arno Pauly |
| 2014 | CSL | Infinite sequential games with real-valued payoffs. | Stphane Le Roux, Arno Pauly |
| 2013 | CiE | Closed Choice for Finite and for Convex Sets. | Stphane Le Roux, Arno Pauly |
| 2013 | ITP | A Machine-Checked Proof of the Odd Order Theorem. | Georges Gonthier, Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, Franois Garillot, Stphane Le Roux, Assia Mahboubi, Russell O'Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi, Laurent Thry |
| 2012 | CiE | On the Computational Content of the Brouwer Fixed Point Theorem. | Vasco Brattka, Stphane Le Roux, Arno Pauly |
| 2008 | AAIM | Graphs and Path Equilibria. | Stphane Le Roux |