Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Horn, Florian"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Playing safe
Thomas Colcombet
,
Nathanael Fijalkow
,
Florian Horn
Leibniz International Proceedings in Informatics (LIPIcs)
29
, 2014, pp. 379-390
Two recursively inseparable problems for probabilistic automata
Nathanaël Fijalkow
,
Hugo Gimbert
,
Florian Horn
,
Youssouf Oualhadj
Lecture Notes in Computer Science
8634
, 2014, pp. 267-278
Self-stabilizing
k
-out-of-
\ell
exclusion in tree networks
Ajoy K. Datta
,
Stéphane Devismes
,
Florian Horn
,
Lawrence L. Larmore
International Journal of Foundations of Computer Science
22
(3), 2011, pp. 657-677
Stochastic games with finitary objectives
Krishnendu Chatterjee
,
Thomas A. Henzinger
,
Florian Horn
Lecture Notes in Computer Science
5734
, 2009, pp. 34-54
Random fruits on the Zielonka tree
Florian Horn
Leibniz International Proceedings in Informatics (LIPIcs)
3
, 2009, pp. 541-552
Graph games on ordinals
Julien Cristau
,
Florian Horn
Leibniz International Proceedings in Informatics (LIPIcs)
2
, 2008
Explicit Muller games are PTIME
Florian Horn
Leibniz International Proceedings in Informatics (LIPIcs)
2
, 2008
Dicing on the Streett
Florian Horn
Information Processing Letters
104
(1), 2007, pp. 1-9