Florian Horn

发表

Florian Horn, Hugo Gimbert, Florian Horn, 2007, Logical Methods in Computer Science.
Florian Horn, Eugene Asarin, Catalin Dima, 2015, STACS.
Florian Horn, Eugene Asarin, Catalin Dima, 2015, ArXiv.
Florian Horn, Julien Cristau, Florian Horn, 2008, SOFSEM.
Detlef Krömker, Paul Libbrecht, Ulf Kröhne, 2018, DeLFI Workshops.
Florian Horn, Hugo Gimbert, Florian Horn, 2010, SODA '10.
Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn, 2009, TOCL.
Michal Skrzypczak, Florian Horn, Denis Kuperberg, 2015, ICALP.
Florian Horn, Wolfgang Thomas, Nico Wallmeier, 2008, ATVA.
Thomas Colcombet, Florian Horn, Nathanaël Fijalkow, 2022, ArXiv.
Florian Horn, Nathanaël Fijalkow, Florian Horn, 2010, ArXiv.
Florian Horn, Florian Horn, 2008 .
Krishnendu Chatterjee, Christof Löding, Florian Horn, 2010, CONCUR.
Claire David, Florian Horn, Julien Cristau, 2010, GANDALF.
Florian Horn, Julien Cristau, Florian Horn, 2008, FSTTCS.
Florian Horn, Florian Horn, 2008, FSTTCS.
Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn, 2011, LATA.
Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore, 2008, 2009 IEEE International Symposium on Parallel & Distributed Processing.
Florian Horn, Hugo Gimbert, Florian Horn, 2008, CiE.
Florian Horn, Hugo Gimbert, Florian Horn, 2008, FoSSaCS.
Detlef Krömker, Florian Horn, Alexander Tillmann, 2018, HDI.
Florian Horn, Jacqueline Moltzau Anderson, 2020, Ecology and evolution.