( en | de | ru )

 

Disambiguierung von "Löding, Christof"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Guaranteeing Stability and Delay in Dynamic Networks Based on Infinite Games.

, , , und . MASS, Seite 461-469. IEEE Computer Society, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Christof Löding

Ingrid Löding

Heinz Löding

Dörte Löding

Walter Löding

 

Weitere Publikationen von Autoren mit dem selben Namen

Minimization and Learning of Deterministic ω-Automata in the Presence of Don't Care Words., und . CoRR, (2022)On the Boolean Closure of Deterministic Top-Down Tree Automata., und . Int. J. Found. Comput. Sci., 35 (1&2): 11-22 (Januar 2024)On Finitely Ambiguous Büchi Automata., und . DLT, Volume 11088 von Lecture Notes in Computer Science, Seite 503-515. Springer, (2018)Reachability Problems on Regular Ground Tree Rewriting Graphs.. Theory Comput. Syst., 39 (2): 347-383 (2006)Ambiguity, Weakness, and Regularity in Probabilistic Büchi Automata., und . FoSSaCS, Volume 12077 von Lecture Notes in Computer Science, Seite 522-541. Springer, (2020)Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm., und . MFCS, Volume 202 von LIPIcs, Seite 20:1-20:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)The Nesting-Depth of Disjunctive µ-Calculus for Tree Languages and the Limitedness Problem., und . CSL, Volume 5213 von Lecture Notes in Computer Science, Seite 416-430. Springer, (2008)Decision Problems for Deterministic Pushdown Automata on Infinite Words.. AFL, Volume 151 von EPTCS, Seite 55-73. (2014)Regular Cost Functions over Finite Trees., und . LICS, Seite 70-79. IEEE Computer Society, (2010)Synthesis of deterministic top-down tree transducers from automatic tree relations., und . Inf. Comput., (2017)