| 2025 | AAAI | Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives. | Marius Belly, Nathanal Fijalkow, Hugo Gimbert, Florian Horn, Guillermo A. Prez, Pierre Vandenhove |
| 2025 | TASE | A Coherent Index for Dichotomy in Version-Controlled Repositories. | Laurent Bulteau, Pierre-Yves David, Florian Horn, Euxane Tran-Girard |
| 2023 | LAGOS | The Problem of Discovery in Version Control Systems. | Laurent Bulteau, Pierre-Yves David, Florian Horn |
| 2020 | CONCUR | Deciding the Existence of Cut-Off in Parameterized Rendez-Vous Networks. | Florian Horn, Arnaud Sangnier |
| 2016 | STACS | Entropy Games and Matrix Multiplication Games. | Eugene Asarin, Julien Cervelle, Aldric Degorre, Catalin Dima, Florian Horn, Victor S. Kozyakin |
| 2015 | ICALP | Trading Bounds for Memory in Games with Counters. | Nathanal Fijalkow, Florian Horn, Denis Kuperberg, Michal Skrzypczak |
| 2014 | MFCS | Two Recursively Inseparable Problems for Probabilistic Automata. | Nathanal Fijalkow, Hugo Gimbert, Florian Horn, Youssouf Oualhadj |
| 2011 | LATA | The Complexity of Request-Response Games. | Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn |
| 2010 | CONCUR | Obliging Games. | Krishnendu Chatterjee, Florian Horn, Christof Lding |
| 2010 | SODA | Solving Simple Stochastic Tail Games. | Hugo Gimbert, Florian Horn |
| 2009 | MFCS | Stochastic Games with Finitary Objectives. | Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn |
| 2009 | STACS | Random Fruits on the Zielonka Tree. | Florian Horn |
| 2008 | ATVA | Optimal Strategy Synthesis in Request-Response Games. | Florian Horn, Wolfgang Thomas, Nico Wallmeier |
| 2008 | CiE | Solving Simple Stochastic Games. | Hugo Gimbert, Florian Horn |
| 2008 | FOSSACS | Simple Stochastic Games with Few Random Vertices Are Easy to Solve. | Hugo Gimbert, Florian Horn |
| 2008 | SOFSEM | On Reachability Games of Ordinal Length. | Julien Cristau, Florian Horn |
| 2007 | TACAS | Faster Algorithms for Finitary Games. | Florian Horn |