Zur Startseite der Abteilung Theoretische Informatik

Publications

References

2016

 
Volker Diekert and Tobias Walter
43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), Leibniz International Proceedings in Informatics (LIPIcs), pages 129:1–129:13. 2016.
[DOI]
 
Manfred Kufleitner and Tobias Walter
CSR, volume 9691 of Lecture Notes in Computer Science, pages 223–236. Springer, 2016.
[DOI]
pdf
Tobias Walter
Dissertation, Institut für Formale Methoden der Informatik, Universität Stuttgart {}, 2016.

2015

 
Volker Diekert, Manfred Kufleitner, Klaus Reinhardt and Tobias Walter
jacm. 62:39:1–39:20. ACM, November 2015.
[DOI]
pdf
Volker Diekert and Tobias Walter
Acta Cybernetica. 22:349–357. 2015.
 
Manfred Kufleitner and Tobias Walter
RAIRO-Theor. Inf. Appl.. 49(1):1–22. 2015.
[DOI]

2012

pdf
Volker Diekert, Manfred Kufleitner, Klaus Reinhardt and Tobias Walter
International Colloquium Automata, Languages and Programming (ICALP) 2012, Conference Proceedings, Part II, volume 7392 of Lecture Notes in Computer Science, pages 177–188. Springer-Verlag, 2012.