Einige Vorträge

• Application of verification techniques in inverse monoid theory, erweiterte Version eines Vortrags für MFCS 2005, Danzig (Polen)
• Model-checking hierarchical graphs, LICS 2005, Chicago (USA)
• Theories of Automatic Structures and their Complexity, WASL 2004, Auckland (Neuseeland)
• Decidability and complexity in automatic monoids, DLT 2004, Auckland (Neuseeland)
• Word problems on compressed words, ICALP 2004, Turku (Finnland)