• Chair
• Research / Projects
• Teaching
• Team
  • Group
  • Alumni
• Diploma Theses
• Publications
• Contact
• Conferences / Workshops
• Links

Christof Löding

Contact Postal Address RWTH Aachen, Lehrstuhl für Informatik 7, 52056 Aachen Office Room 4115 (Building E1), Ahornstr. 55, 52074 Aachen Phone +49 241 80 21712 Email loeding (ät) informatik.rwth-aachen.de

Publications

• List with downloads
• List on DBLP
• Theses:
  • C. Löding, Infinite Graphs Generated by Tree Rewriting, Doctoral thesis, RWTH Aachen, 2003
    [pdf, ps, ps.gz]
  • C. Löding, Methods for the Transformation of Omega-Automata: Complexity and Connection to Second Order Logic, Diploma thesis, Christian-Albrechts-University of Kiel, 1998
    [pdf, ps, ps.gz]
• Recently I joined the author team of TATA: Tree Automata Techniques and Applications by contributing a chapter on unranked tree automata (released on October 12, 2007).

Talks

• Tutorial on infinite games at MOVEP 2008.

Activities

• Member of the program committee STACS 2008
• Member of the program committee INFINITY 2007
• Project on tree automata funded by the DFG.
• Organizer of a workshop on tree automata funded by the ESF within the AutoMathA project.

Teaching

Courses

• Automata on infinite words (winter 2008/09, in german)
• Applied Automata Theory (summer 2007, in german)
• Infinite games (winter 05/06, in german)
• Infinite Transition Systems (summer 2005, in german)
• Tree Automata and Applications (winter 2004/05, in german)
• Model-Checking (winter 2003/04, in german, with W. Thomas)