PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Löding, Christof"

Author of the publication

copydeleteadd this publication to your clipboard
Guaranteeing Stability and Delay in Dynamic Networks Based on Infinite Games.

, , , and . MASS, page 461-469. IEEE Computer Society, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hon. -Prof. Dr. -Ing. Christof Ebert University of Stuttgart

Dr. -Ing. Christof Zeile University of Stuttgart

Christof Pruß University of Stuttgart

Univ. -Prof. Dr. rer. pol. Christof Schimank University of Stuttgart

Dr. Christof Iserlohe University of Stuttgart

 

Other publications of authors with the same name

Synthesis of Open Reactive Systems from Scenario-Based Specifications., , and . Fundam. Inform., 62 (2): 139-169 (2004)Simplification Problems for Deterministic Pushdown Automata on Infinite Words.. Int. J. Found. Comput. Sci., 26 (8): 1041-1068 (2015)Optimal Bounds for Transformations of omega-Automata.. FSTTCS, volume 1738 of Lecture Notes in Computer Science, page 97-109. Springer, (1999)A Characterization of First-Order Topological Properties of Planar Spatial Data., , , and . PODS, page 107-114. ACM, (2004)Unambiguous Finite Automata.. Developments in Language Theory, volume 7907 of Lecture Notes in Computer Science, page 29-30. Springer, (2013)Ground Tree Rewriting Graphs of Bounded Tree Width.. STACS, volume 2285 of Lecture Notes in Computer Science, page 559-570. Springer, (2002)Regularity Problems for Visibly Pushdown Languages., , and . STACS, volume 3884 of Lecture Notes in Computer Science, page 420-431. Springer, (2006)Modeling and Verification of Infinite Systems with Resources., and . Logical Methods in Computer Science, (2013)Transforming structures by set interpretations., and . Logical Methods in Computer Science, (2007)New Pumping Technique for 2-Dimensional VASS., , , and . MFCS, volume 138 of LIPIcs, page 62:1-62:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)