| * | 2009 |
|---|
| 15 | EE | Ajoy Kumar Datta,
Stéphane Devismes,
Florian Horn,
Lawrence L. Larmore:
Self-Stabilizing k-out-of-l exclusion on tree networks.
IPDPS 2009: 1-8 |
| 14 | EE | Krishnendu Chatterjee,
Thomas A. Henzinger,
Florian Horn:
Stochastic Games with Finitary Objectives.
MFCS 2009: 34-54 |
| 13 | EE | Florian Horn:
Random Fruits on the Zielonka Tree.
STACS 2009: 541-552 |
| 12 | EE | Florian Horn:
Random Fruits on the Zielonka Tree
CoRR abs/0902.2736: (2009) |
| 2008 |
|---|
| 11 | EE | Florian Horn,
Wolfgang Thomas,
Nico Wallmeier:
Optimal Strategy Synthesis in Request-Response Games.
ATVA 2008: 361-373 |
| 10 | EE | Hugo Gimbert,
Florian Horn:
Solving Simple Stochastic Games.
CiE 2008: 206-209 |
| 9 | EE | Florian Horn:
Explicit Muller Games are PTIME.
FSTTCS 2008 |
| 8 | EE | Julien Cristau,
Florian Horn:
Graph Games on Ordinals.
FSTTCS 2008 |
| 7 | EE | Hugo Gimbert,
Florian Horn:
Simple Stochastic Games with Few Random Vertices Are Easy to Solve.
FoSSaCS 2008: 5-19 |
| 6 | EE | Julien Cristau,
Florian Horn:
On Reachability Games of Ordinal Length.
SOFSEM 2008: 211-221 |
| 5 | EE | Florian Horn,
Hugo Gimbert:
Optimal Strategies in Perfect-Information Stochastic Games with Tail Winning Conditions
CoRR abs/0811.3978: (2008) |
| 4 | EE | Ajoy Kumar Datta,
Stéphane Devismes,
Florian Horn,
Lawrence L. Larmore:
Self-stabilizing K-out-of-L exclusion on tree network
CoRR abs/0812.1093: (2008) |
| 2007 |
|---|
| 3 | EE | Florian Horn:
Faster Algorithms for Finitary Games.
TACAS 2007: 472-484 |
| 2 | EE | Florian Horn:
Dicing on the Streett.
Inf. Process. Lett. 104(1): 1-9 (2007) |
| 1 | EE | Hugo Gimbert,
Florian Horn:
Solving Simple Stochastic Games with Few Random Vertices
Logical Methods in Computer Science 5(2): (2007) |
