Christof Löding Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristof Löding, Karianto Wong: On Nondeterministic Unranked Tree Automata with Sibling Constraints. FSTTCS 2009: 311-322
2008
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Colcombet, Christof Löding: The Nesting-Depth of Disjunctive µ-Calculus for Tree Languages and the Limitedness Problem. CSL 2008: 416-430
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Colcombet, Christof Löding: The Non-deterministic Mostowski Hierarchy and Distance-Parity Automata. ICALP (2) 2008: 398-409
2007
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Holtmann, Christof Löding: Memory Reduction for Strategies in Infinite Games. CIAA 2007: 253-264
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArnaud Carayol, Christof Löding: MSO on the Infinite Binary Tree: Choice and Order. CSL 2007: 161-176
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarianto Wong, Christof Löding: Unranked Tree Automata with Sibling Equalities and Disequalities. ICALP 2007: 875-887
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristof Löding, Alex Spelten: Transition Graphs of Rewriting Systems over Unranked Trees. MFCS 2007: 67-77
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Colcombet, Christof Löding: Transforming structures by set interpretations CoRR abs/cs/0703039: (2007)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristof Löding, Carsten Lutz, Olivier Serre: Propositional dynamic logic with recursive programs. J. Log. Algebr. Program. 73(1-2): 51-69 (2007)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Colcombet, Christof Löding: Transforming structures by set interpretations. Logical Methods in Computer Science 3(2): (2007)
2006
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristof Löding, Olivier Serre: Propositional Dynamic Logic with Recursive Programs. FoSSaCS 2006: 292-306
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVince Bárány, Christof Löding, Olivier Serre: Regularity Problems for Visibly Pushdown Languages. STACS 2006: 420-431
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Benedikt, Bart Kuijpers, Christof Löding, Jan Van den Bussche, Thomas Wilke: A characterization of first-order topological properties of planar spatial data. J. ACM 53(2): 273-305 (2006)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristof Löding: Reachability Problems on Regular Ground Tree Rewriting Graphs. Theory Comput. Syst. 39(2): 347-383 (2006)
2005
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulien Cristau, Christof Löding, Wolfgang Thomas: Deterministic Automata on Unranked Trees. FCT 2005: 68-79
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas, Julien Cristau, Christof Löding: Deterministic Automata on Unranked Trees. Foundations of Semistructured Data 2005
2004
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristof Löding, P. Madhusudan, Olivier Serre: Visibly Pushdown Games. FSTTCS 2004: 408-420
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Benedikt, Christof Löding, Jan Van den Bussche, Thomas Wilke: A Characterization of First-Order Topological Properties of Planar Spatial Data. PODS 2004: 107-114
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Colcombet, Christof Löding: On the Expressiveness of Deterministic Transducers over Infinite Trees. STACS 2004: 428-439
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Bontemps, Pierre-Yves Schobbens, Christof Löding: Synthesis of Open Reactive Systems from Scenario-Based Specifications. Fundam. Inform. 62(2): 139-169 (2004)
2003
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristof Löding, Philipp Rohde: Model Checking and Satisfiability for Sabotage Modal Logic. FSTTCS 2003: 302-313
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristof Löding, Philipp Rohde: Solving the Sabotage Game Is PSPACE-Hard. MFCS 2003: 531-540
2002
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristof Löding: Model-Checking Infinite Systems Generated by Ground Tree Rewriting. FoSSaCS 2002: 280-294
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristof Löding: Ground Tree Rewriting Graphs of Bounded Tree Width. STACS 2002: 559-570
2001
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristof Löding: Efficient minimization of deterministic weak omega-automata. Inf. Process. Lett. 79(3): 105-109 (2001)
2000
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristof Löding, Wolfgang Thomas: Alternating Automata and Logics over Infinite Words. IFIP TCS 2000: 521-535
1999
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristof Löding: Optimal Bounds for Transformations of omega-Automata. FSTTCS 1999: 97-109

Coauthor Index

1Vince Bárány [16]
2Michael Benedikt [10] [15]
3Yves Bontemps [8]
4Jan Van den Bussche [10] [15]
5Arnaud Carayol [23]
6Thomas Colcombet [9] [18] [20] [25] [26]
7Julien Cristau [12] [13]
8Michael Holtmann [24]
9Bart Kuijpers [15]
10Carsten Lutz [19]
11P. Madhusudan (Parthasarathy Madhusudan) [11]
12Philipp Rohde [6] [7]
13Pierre-Yves Schobbens [8]
14Olivier Serre [11] [16] [17] [19]
15Alex Spelten [21]
16Wolfgang Thomas [2] [12] [13]
17Thomas Wilke [10] [15]
18Karianto Wong [22] [27]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)