Zur Startseite der Abteilung Theoretische Informatik

Publications

References

2017

 
Lukas Fleischer, Manfred Kufleitner and Alexander Lauser
Theory Comput. Syst.. 61(2):352–370. Springer, 2017.
[DOI]

2014

 
Lukas Fleischer, Manfred Kufleitner and Alexander Lauser
CSR 2014, Proceedings, volume 8476 of LNCS, pages 176–189. Springer, 2014.
[DOI]

2013

pdf
Manfred Kufleitner and Alexander Lauser
Technical Report Computer Science, Document number: 2013/07. University of Stuttgart, September 2013.
[WWW]
pdf
Manfred Kufleitner and Alexander Lauser
30th International Symposium on Theoretical Aspects of Computer Science (STACS) 2013, Conference Proceedings, volume 20 of Leibniz International Proceedings in Informatics (LIPIcs), pages 305–316. Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2013.
[DOI]

2012

pdf
Franz Jahn, Manfred Kufleitner and Alexander Lauser
Implementation and Application of Automata (CIAA) 2012, Conference Proceedings, volume 7381 of Lecture Notes in Computer Science, pages 205–216. Springer, 2012.
pdf
Manfred Kufleitner and Alexander Lauser
International Journal of Foundations of Computer Science. 23(6):1323–1339. World Scientific, 2012.
pdf
Manfred Kufleitner and Alexander Lauser
Discrete Mathematics & Theoretical Computer Science. 14(1):141–146. 2012.
pdf
Manfred Kufleitner and Alexander Lauser
Automata, Languages and Programming, International Colloquium (ICALP) 2012, Conference Proceedings Part II, volume 7392 of Lecture Notes in Computer Science, pages 275–286. Springer-Verlag, 2012.
pdf
Manfred Kufleitner and Alexander Lauser
Mathematical Foundations of Computer Science, International Symposium (MFCS) 2012, Conference Proceedings, volume 7464 of Lecture Notes in Computer Science, pages 603–614. Springer, 2012.

2011

pdf
Jakub Kallas, Manfred Kufleitner and Alexander Lauser
28th International Symposium on Theoretical Aspects of Computer Science (STACS) 2011, volume 9 of Leibniz International Proceedings in Informatics (LIPIcs), pages 356–367. Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2011.
[DOI]
pdf
Manfred Kufleitner and Alexander Lauser
Technical Report Computer Science, Document number: 2011/02. University of Stuttgart, February 2011.
pdf
Manfred Kufleitner and Alexander Lauser
International Journal of Foundations of Computer Science. 22(8):1861–1876. World Scientific, 2011.
pdf
Manfred Kufleitner and Alexander Lauser
IEEE Symposium on Logic in Computer Science (LICS) 2011, Conference Proceedings, pages 23–32. IEEE Computer Society, 2011.
[DOI]

2010

pdf
Luc Dartois, Manfred Kufleitner and Alexander Lauser
Developments in Language Theory, 14th International Conference (DLT) 2010, Conference Proceedings, volume 6224 of Lecture Notes in Computer Science, pages 148–159. Springer, 2010.