Karianto Wong
Contact
firstname (at) cs rwth-aachen de |
Research interests
- tree automata on unranked trees (see our group's project Algorithmic Theory of Tree Automata)
- Presburger arithmetic and its extensions
- formal verification and model checking
Publications
Selected Talks
- Finite Automata on unranked trees: Extensions by arithmetical and equality constraints (PhD defense, June 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)
Teaching
- Winter Term 2009/2010:
- Seminar on Automata Theory
- Summer Term 2009:
- Seminar on Automata on Infinite Words and Infinite Games
- Winter Term 2008/2009:
- Proseminar (undergraduate seminar) on Automata Theory
- Summer Term 2008:
- Seminar on Automata and Reactive Systems
- Exercises to Applied Automata Theory
- Winter Term 2007/2008:
- Seminar on Tree Automata
- Exercises to Automaten, Sprachen und Komplexität
- Summer Term 2007:
- Seminar on Automata and Reactive Systems
- Exercises to Chapters of Automata Theory
- Winter Term 2006/2007:
- Seminar on Timed Automata and Hybrid Systems
- Summer Term 2006:
- Seminar on Automata on Infinite Words and Infinite Games
- Exercises to Recursion Theory
- Winter Term 2005/2006:
- Seminar on Automata for XML Documents