Christof Löding
|
Kontakt
|
Studienberatung
- Lehramt Informatik
- Grundlagen der Informatik im Studiengang Technik-Kommunikation
- Ehemals (2006-2008) Anwendungsfächer
Biologie, BWL, Chemie, Mathematik, Physik in der Informatik.
Wurde jetzt übernommen von Walter Unger
Publikationen
- Liste mit downloads
- Liste auf DBLP
- Abschlussarbeiten:
- C. Löding,
Logic and Automata over Infinite Trees,
Habilitationsschrift, RWTH Aachen, 2009
[pdf] - C. Löding,
Infinite Graphs Generated by Tree Rewriting,
Dissertation, RWTH Aachen, 2003
[pdf, ps, ps.gz] - C. Löding, Methods for the
Transformation of Omega-Automata: Complexity and Connection to Second
Order Logic,
Diplomarbeit, Christian-Albrechts-Universität zu Kiel, 1998
[pdf, ps, ps.gz]
- C. Löding,
Logic and Automata over Infinite Trees,
Habilitationsschrift, RWTH Aachen, 2009
- Kapitel über unbeschränkt verzweigte Bäume in der neuen Version von TATA: Tree Automata Techniques and Applications (veröffentlicht am 12. Oktober, 2007).
Ausgewählte Vorträge
- Automata for Boundedness Problems on Trees, Tutorial bei dem Workshop on Distance Automata in Paris, France, November 2009.
- Games and Automata for Verification, Tutorial bei GAMES 2009 in Udine, Italien.
- Definability Questions for MSO, Workshop on Automata in Algorithmic Logic, Stuttgart, 2009.
- Tutorial über Automaten und Spiele bei der GAMES Springschool 2009.
- Tutorial über unendliche Spiele bei MOVEP 2008.
Aktivitäten
Programmkomitees
Organisation
- Summer school MOVEP 2010
- Workshop on tree automata funded by the ESF within the AutoMathA project.
Projekte
- Project on tree automata funded by the DFG.
Lehre
Vorlesungen
- Algorithmisches Lernen (WS 09/10)
- Baumautomaten (SS 09)
- Automaten auf unendlichen Wörtern (WS 08/09)
- Angewandte Automatentheorie (SS 07)
- Unendliche Spiele (WS 05/06)
- Unendliche Transitionssysteme (SS 05)
- Baumautomaten und Anwendungen (WS 04/05)
- Model-Checking (WS 03/04, mit W. Thomas)