Zur Startseite der Abteilung Theoretische Informatik

Publications

References

2017

 
Lukas Fleischer and Manfred Kufleitner
CSR 2017, Proceedings, volume 10304 of LNCS, pages 112–125. Springer, 2017.
[DOI]
 
Lukas Fleischer, Manfred Kufleitner and Alexander Lauser
Theory Comput. Syst.. 61(2):352–370. Springer, 2017.
[DOI]
 
Manfred Kufleitner and Jan Philipp Wächter
tocs. Springer Nature, May 2017.
[DOI]

2016

 
Volker Diekert, Artur Jeż and Manfred Kufleitner
43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), volume 55 of Leibniz International Proceedings in Informatics (LIPIcs), pages 127:1–127:14. Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2016.
[DOI]
 
Lukas Fleischer and Manfred Kufleitner
DCFS 2016, Proceedings, volume 9777 of LNCS, pages 126–137. Springer, 2016.
[DOI]
 
Manfred Kufleitner and Jan Philipp Wächter
In Alexander S. Kulikov and Gerhard J. Woeginger, editorpages 237–250. Springer International Publishing, 2016.
[DOI]
 
Manfred Kufleitner and Tobias Walter
CSR, volume 9691 of Lecture Notes in Computer Science, pages 223–236. Springer, 2016.
[DOI]

2015

 
Volker Diekert and Manfred Kufleitner
tcs. 610:13–23. 2015.
[DOI]
 
Volker Diekert and Manfred Kufleitner
tocs. 56:686–696. Springer-Verlag, 2015.
[DOI]
 
Volker Diekert, Manfred Kufleitner, Klaus Reinhardt and Tobias Walter
jacm. 62:39:1–39:20. ACM, November 2015.
[DOI]
 
Lukas Fleischer and Manfred Kufleitner
FSTTCS 2015, Proceedings, volume 45 of LIPIcs, pages 112–124. Dagstuhl Publishing, 2015.
[DOI]
 
Manfred Kufleitner and Tobias Walter
RAIRO-Theor. Inf. Appl.. 49(1):1–22. 2015.
[DOI]

2014

 
Lukas Fleischer, Manfred Kufleitner and Alexander Lauser
CSR 2014, Proceedings, volume 8476 of LNCS, pages 176–189. Springer, 2014.
[DOI]
 
Manfred Kufleitner
DCFS 2014, Proceedings, volume 8614 of Lecture Notes in Computer Science, pages 23–28. Springer, 2014.

2013

 
Volker Diekert, Manfred Kufleitner and Gerhard Rosenberger
Walter de Gruyter, 2013.
 
Volker Diekert, Manfred Kufleitner and Gerhard Rosenberger
Walter de Gruyter, 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

 
Volker Diekert and Manfred Kufleitner
Computer Science Symposium in Russia (CSR) 2012, Conference Proceedings, volume 7353 of Lecture Notes in Computer Science, pages 89–98. Springer-Verlag, 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.
pdf
Volker Diekert, Manfred Kufleitner and Benjamin Steinberg
Fundamenta Informaticae. 116(1-4):65–77. 2012.
pdf
Volker Diekert, Manfred Kufleitner and Pascal Weil
Theoretical Computer Science. 454:129–135. 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.
pdf
Manfred Kufleitner and Pascal Weil
Computer Science Logic (CSL) 2012 - 26th International Workshop/21st Annual Conference of the EACSL, Conference Proceedings, volume 16 of Leibniz International Proceedings in Informatics (LIPIcs), pages 426–439. Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2012.
[DOI]
[URN]

2011

pdf
Volker Diekert and Manfred Kufleitner
Theory of Computing Systems. 48(3):486–516. Springer New York, 2011.
FMI, Universität Stuttgart, Universitätsstraße 38, 70569 Stuttgart, Germany
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.
 
Manfred Kufleitner and Pascal Weil
Semigroup Forum. 81:243–254. 2010.

2009

 
Edgar Binder and Manfred Kufleitner
Information Theory Workshop, 2009. ITW 2009. IEEE, pages 218–222. 2009.
[DOI]
pdf
Volker Diekert and Manfred Kufleitner
26th International Symposium on Theoretical Aspects of Computer Science (STACS) 2009, Leibniz International Proceedings in Informatics (LIPIcs), pages 325–336. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2009.
pdf
Mahmoud Fouz, Manfred Kufleitner, Bodo Manthey and Nima Zeini Jahromi
COCOON, volume 5609 of Lecture Notes in Computer Science, pages 158–167. Springer, 2009.
pdf
Manfred Kufleitner
Stringology, pages 65-79. Prague Stringology Club, Department of Computer Science and Engineering, Faculty of Electrical Engineering, Czech Technical University in Prague, 2009.
[WWW]
 
Manfred Kufleitner, Edgar Binder and Alexander Fries
Proceedings of the 30th Symposium on Information Theory in the Benelux, Eindhoven, The Netherlands, pages 135–142. 2009.
pdf
Manfred Kufleitner and Pascal Weil
Mathematical Foundations of Computer Science 2009, 34th International Symposium, MFCS 2009, Nový Smokovec, Slovakia, August 24-28, 2009, Proceedings, volume 5734 of Lecture Notes in Computer Science, pages 513–524. Springer-Verlag, 2009.

2008

pdf
Volker Diekert, Paul Gastin and Manfred Kufleitner
International Journal of Foundations of Computer Science. 19:513–548. 2008.
 
Manfred Kufleitner
Mathematical Foundations of Computer Science 2008, 33rd International Symposium, MFCS 2008, Toruń, Poland, August 25-29, 2008, Proceedings, volume 5162 of Lecture Notes in Computer Science, pages 443–454. Springer-Verlag, 2008.

2007

pdf
Volker Diekert, Martin Horsch and Manfred Kufleitner
Fundamenta Informaticae. 80(1-3):1–29. 2007.
pdf
Volker Diekert and Manfred Kufleitner
Developments in Language Theory, 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings, volume 4588 of Lecture Notes in Computer Science, pages 1–19. Springer-Verlag, 2007.
pdf
Manfred Kufleitner
Technical report, Document number: 2007/05. Formale Methoden der Informatik, Universität Stuttgart, October 2007.
 
Manfred Kufleitner
Theoretical Computer Science. 376:89–100. 2007.

2006

 
Manfred Kufleitner
Proc. of the 10th Int. Conf. on Developments in Language Theory (DLT'06), volume 4036 of Lecture Notes in Computer Science, pages 37–48. Springer-Verlag, 2006.
pdf
Manfred Kufleitner
Dissertation, Institut für Formale Methoden der Informatik, Universität Stuttgart, 2006.

2003

ps
Volker Diekert and Manfred Kufleitner
Developments in Language Theory: DLT 2002, Kyoto, Japan, volume 2450 of Lecture Notes in Computer Science, pages 59–66. Springer-Verlag, 2003.

2001

 
Manfred Kufleitner
Diplomarbeit Nr. 1922, Fakultät Informatik, 2001.