| Universität Leipzig Institut für Informatik Automaten und Sprachen | |||
| Karin Quaas | |||
| Address: | Universität Leipzig Institut für Informatik PF 10920 D-04009 Leipzig |
||
| Visit: | Universität Leipzig Institut für Informatik Johannisgasse 26 Room 3-30 |
||
| Phone: | +49 341 97 32328 (Office) +49 341 97 32241 (Secretary) |
||
| Fax: | +49 341 97 32209 | ||
| Email: | mylastnameATinformatik.uni-leipzig.de | ||
| Publications | |||
| Click here | |||
| Recent Talks | |||
| On the Interval-Bound Problem for Weighted Timed Automata. LATA 2011. ps pdf | |||
| Recognizability of Supports of Recognizable Series over the Semiring of the Integers is Undecidable (joint work with Daniel Kirsten). WATA 2010. ps pdf | |||
| Teaching / Lehre | |||
| WS 2010/11: Übungen zur Vorlesung Automaten und Sprachen von Prof. Droste | |||