Karianto Wong
Kontakt
firstname (at) cs rwth-aachen de |
Forschungsinteressen
- Automaten auf unbeschränkt verzweigten Bäumen (insbesondere im Rahmen des Projekts Algorithmische Theorie der Baumautomaten)
- Presburger-Arithmetik (und ihre Erweiterungen)
- formale Verifikation und Model-Checking
Veröffentlichungen
Ausgewählte Vorträge:
- Finite Automata on unranked trees: Extensions by arithmetical and equality constraints (Oberseminar, Juni 2010)
- On nondeterministic unranked tree automata with sibling constraints (FSTTCS 2009)
- Unranked tree automata with sibling equalities and disequalities (ICALP 2007)
- On intersection problems for polynomially generated sets (ICALP 2006)
- On the Parikh images of level-two pushdown automata (GI Theorietag 2005)
- Adding monotonic counters to automata and transition graphs (DLT 2005)
Lehre
- Wintersemester 2009/2010:
- Seminar über Automatentheorie
- Sommersemester 2009:
- Seminar über Automatentheorie (Themengebiet: Automaten auf unendlichen Wörtern und Unendliche Spiele)
- Wintersemester 2008/2009:
- Proseminar zur Automatentheorie
- Sommersemester 2008:
- Seminar über Automatentheorie (Themengebiet: Automaten und Reaktive Systeme)
- Übungen zur Vorlesung Angewandte Automatentheorie
- Wintersemester 2007/2008:
- Seminar über Baumautomaten
- Übungen zur Vorlesung Automaten, Sprachen und Komplexität
- Sommersemester 2007:
- Seminar über Automatentheorie (Themengebiet: Automaten und Reaktive Systeme)
- Übungen zur Vorlesung Chapters of Automata Theory
- Wintersemester 2006/2007:
- Seminar über Automatentheorie: zeitbehaftete und hybride Automaten
- Sommersemester 2006:
- Seminar über Automatentheorie (Themengebiet: Automaten auf unendlichen Wörtern und unendliche Spiele)
- Übungen zur Vorlesung Rekursionstheorie
- Wintersemester 2005/2006:
- Seminar über Automaten für XML