Zur Startseite der Abteilung Theoretische Informatik
Year:  
All :: Recent, 2017, 2016, 2015, 2014, 2013Former
Author:  
References

2017

 
Daniele D'Angeli, Emanuele Rodaro and Jan Philipp Wächter
Advances in Applied Mathematics. 90:160 - 187. 2017.
[DOI]
 
Volker Diekert and Murray Elder
44th International Colloquium on Automata, Languages, and Programming (ICALP 2017), volume 80 of Leibniz International Proceedings in Informatics (LIPIcs), pages 96:1–96:14. Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2017.
[DOI]
 
Volker Diekert and Lukas Fleischer
WORDS 2017, Proceedings, volume 10432 of LNCS, pages 6–16. Springer, 2017.
[DOI]
 
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]
pdf
Alexei G. Myasnikov and Armin Weiß
ArXiv e-prints. abs/1702.06616 2017.
 
Funda Gul and Armin Weiß
J. Algebra. 477:516–539. 2017.
 
Manfred Kufleitner and Jan Philipp Wächter
tocs. Springer Nature, May 2017.
[DOI]
pdf
Alexei Miasnikov, Svetla Vassileva and Armin Weiß
Computer Science - Theory and Applications - 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings, pages 217–231. 2017.

2016

 
Laura Ciobanu, Volker Diekert and Murray Elder
ijac. 26:843–886. 2016.
[DOI]
pdf
Volker Diekert, Alexei G. Myasnikov and Armin Weiß
Algorithmica. 74:961-988. 2016.
[DOI]
 
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]
 
Volker Diekert, Artur Jeż and Wojciech Plandowski
ic. 251:263–286. 2016.
[DOI]
 
Volker Diekert and Jonathan Kausch
jsc. 75(C):94–109. Academic Press, Inc., July 2016.
[DOI]
 
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]
pdf
Stefan Edelkamp and Armin Weiß
ArXiv e-prints. abs/1604.06697 2016.
pdf
Stefan Edelkamp and Armin Weiß
24th Annual European Symposium on Algorithms, ESA 2016, August 22-24, 2016, Aarhus, Denmark, volume 57 of LIPIcs, pages 38:1–38:16. 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]
pdf
Tobias Walter
Dissertation, Institut für Formale Methoden der Informatik, Universität Stuttgart {}, 2016.
pdf
Armin Weiß
Algebra and Computer Science, volume 677 of Contemporary Mathematics, pages 185–212. American Mathematical Society, 2016.

2015

 
Laura Ciobanu, Volker Diekert and Murray Elder
Proc. 42nd International Colloquium Automata, Languages and Programming (ICALP 2015), Part II, Kyoto, Japan, July 6-10, 2015, volume 9135 of Lecture Notes in Computer Science, pages 134-145. Springer, 2015.
pdf
Volker Diekert, Alexei G. Myasnikov and Armin Weiß
Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pages 141–148. 2015.
[DOI]
 
Volker Diekert, Olga Kharlampovich and Atefeh Mohajeri Moghaddam
ijac. 25:81–112. 2015.
[DOI]
 
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]
 
Volker Diekert, Florent Martin, Géraud Sénizergues and Pedro V. Silva
Proc. 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, volume 9139 of Lecture Notes in Computer Science, pages 173-188. Springer, 2015.
pdf
Volker Diekert and Tobias Walter
Acta Cybernetica. 22:349–357. 2015.
 
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]
pdf
Armin Weiß
Dissertation, Institut für Formale Methoden der Informatik, Universität Stuttgart, 2015.

2014

 
Volker Diekert, Alexei G. Myasnikov and Armin Weiß
Latin American Theoretical Informatics Symposium, pages 1-12. 2014.
[DOI]
 
Volker Diekert, Artur Jeż and Wojciech Plandowski
Computer Science Symposium in Russia 2014, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings, volume 8476 of Lecture Notes in Computer Science, pages 1–15. Springer, 2014.
 
Volker Diekert and Jonathan Kausch
ISSAC, pages 138-145. 2014.
 
Volker Diekert and Martin Leucker
Theoretical Computer Science. 537:29–41. 2014.
 
Stefan Edelkamp and Armin Weiß
CSR, pages 139-152. 2014.
[DOI]
 
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

pdf
Volker Diekert and Jonathan Kausch
arXiv eprints. 2013.
 
Volker Diekert, Manfred Kufleitner and Gerhard Rosenberger
Walter de Gruyter, 2013.
 
Volker Diekert, Manfred Kufleitner and Gerhard Rosenberger
Walter de Gruyter, 2013.
 
Volker Diekert, Jürn Laun and Alexander Ushakov
ijac. 22(8) 2013.
[DOI]
 
Volker Diekert and Armin Weiß
International Journal of Algebra and Computation. 23:611–642. 2013.
[DOI]
pdf
Volker Diekert and Armin Weiß
ArXiv e-prints. 2013.
pdf
Volker Diekert and Armin Weiß
Computer Science Symposium in Russia (CSR) 2013, Conference Proceedings, pages 24-35. 2013.
 
Stefan Edelkamp, Amr Elmasry, Jyrki Katajainen and Armin Weiß
Combinatorial Algorithms - 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers, pages 1–6. 2013.
pdf
Stefan Edelkamp and Armin Weiß
ArXiv e-prints. abs/1307.3033 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]
 
Jürn Laun
Theory of Computing Systems. :1-29. Springer US, 2013.
[DOI]