Florian Horn
Publication Activity (10 Years)
Years Active: 2007-2024
Publications (10 Years): 9
Publications (10 Years): 9
Publications
- Thomas Colcombet, Nathanaël Fijalkow, Florian Horn
- Laurent Bulteau, Pierre-Yves David, Florian Horn
- Thomas Colcombet, Nathanaël Fijalkow, Florian Horn
- Nathanaël Fijalkow, Florian Horn, Denis Kuperberg, Michal Skrzypczak
- Florian Horn, Wolfgang Thomas, Nico Wallmeier, Martin Zimmermann
- Eugene Asarin, Julien Cervelle, Aldric Degorre, Catalin Dima, Florian Horn, Victor S. KozyakinEntropy Games. CoRR (2015)
- Thomas Colcombet, Nathanaël Fijalkow, Florian Horn
- Florian Horn, Wolfgang Thomas, Nico Wallmeier, Martin Zimmermann
- Nathanaël Fijalkow, Florian Horn
- Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn
- Hugo Gimbert, Florian Horn
- Krishnendu Chatterjee, Florian Horn, Christof Löding
- Nathanaël Fijalkow, Florian Horn
- Julien Cristau, Claire David, Florian Horn
- Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn
- Hugo Gimbert, Florian Horn
- Ajoy Kumar Datta, Stéphane Devismes, Florian Horn, Lawrence L. Larmore
- Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn
- Florian Horn
- Florian Horn
- Florian Horn, Wolfgang Thomas, Nico Wallmeier
- Hugo Gimbert, Florian Horn
- Hugo Gimbert, Florian Horn
- Julien Cristau, Florian Horn
- Florian Horn
- Julien Cristau, Florian Horn
- Florian Horn
- Florian Horn