( 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

Model-guided synthesis of inductive lemmas for FOL with least fixpoints., , , , und . Proc. ACM Program. Lang., 6 (OOPSLA2): 1873-1902 (2022)Efficient inclusion testing for simple classes of unambiguous ω-automata., und . Inf. Process. Lett., 112 (14-15): 578-582 (2012)Synthesis of deterministic top-down tree transducers from automatic tree relations., und . Inf. Comput., (2017)Projection for Büchi Tree Automata with Constraints between Siblings., und . Int. J. Found. Comput. Sci., 31 (6): 749-775 (2020)Transformation Between Regular Expressions and omega-Automata., und . MFCS, Volume 58 von LIPIcs, Seite 88:1-88:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Synthesis of Deterministic Top-down Tree Transducers from Automatic Tree Relations., und . GandALF, Volume 161 von EPTCS, Seite 88-101. (2014)Projection for Büchi Tree Automata with Constraints Between Siblings., und . DLT, Volume 11088 von Lecture Notes in Computer Science, Seite 478-490. Springer, (2018)Learning MSO-definable hypotheses on strings., , und . ALT, Volume 76 von Proceedings of Machine Learning Research, Seite 434-451. PMLR, (2017)Basics on Tree Automata.. Modern Applications of Automata Theory, Volume 2 von IISc Research Monographs Series, World Scientific, (2012)Guaranteeing Stability and Delay in Dynamic Networks Based on Infinite Games., , , und . MASS, Seite 461-469. IEEE Computer Society, (2014)