48 Treffer

• Theorietage 2018 76. Workshop Algorithmen und Komplexität und 28. Theorietag Automaten und Formale Sprachen : Lutherstadt Wittenberg, 24. bis 27. September 2018 Reinhardt, Klaus (Hrsg.) ; Staiger, Ludwig (Hrsg.) ; Winter, Renate (Hrsg.) ; Workshop Algorithmen und Komplexität ; Theorietag Automaten und Formale Sprachen Halle : Institute of Computer Science, Faculty of Natural Sciences III, Martin-Luther-University Halle-Wittenberg, September 2018

• Proceedings of the PhD symposium at the 5th European Conference on Service-Oriented and Cloud Computing Zavattaro, Gianluigi (Hrsg.) ; Zimmermann, Wolf (Hrsg.) Halle : Institute of Computer Science, Faculty of Natural Sciences III, Martin-Luther-University Halle-Wittenberg, September 2016

• Going beyond turing with P automata: regular observer omega-languages and partial adult halting Freund, Rudolf ; Ivanov, Sergui ; Staiger, Ludwig Halle : Institute of Computer Science, Faculty of Natural Sciences III, Martin-Luther-University Halle-Wittenberg, January 2016

• Liouville, computable, borel normal and Martin-Löf random numbers Calude, Cristian ; Staiger, Ludwig Halle (Saale) : Martin-Luther-Univ. Halle-Wittenberg, Institute of Computer Science, 2015 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2015

• Proceedings of the PhD symposium at the 2nd European Conference on service-oriented and cloud computing Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2015 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2015

• Fault-tolerant acceptors for solid codes Jürgensen, Helmut ; Staiger, Ludwig Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2014 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2014

• On the Hausdorff measure of regular w-languages in cantor space Staiger, Ludwig Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2014 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2014

• Proceedings of the PhD symposium at the 2nd European Conference on service-oriented and cloud computing Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2013 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2013

• A correspondence principle for exact constructive dimension Staiger, Ludwig Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2012 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2012

• Mixtures of parsimonious markov models Gohr, André ; Posch, Stefan ; Grosse, Ivo Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2012 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2012

• Proceedings of the PhD symposium at the 1st European Conference on service-oriented and cloud computing Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2012 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2012

• Passenger flow-oriented train disposition Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2011 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2011

• The price of robustness in timetable information Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2011 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2011

• How to develop a graphical editor for discrete timed Net Condition/Event Systems using the Eclipse Petri Net Kernel Gerber, Christian Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2011 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2011

• Dag realizations of directed degree sequences Berger, Annabell ; Müller-Hannemann, Matthias Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2011 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2011

• Dag realizations of directed degree sequences Berger, Annabell ; Müller-Hannemann, Matthias Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2011 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2011

• Constructive dimension and Hausdorff dimension: the case of exact dimension Staiger, Ludwig Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2011 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2011

• Proceedings of the PhD Symposium at the 9th IEEE European Conference on web services Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2011 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2011

• Asymptotic subword complexity Staiger, Ludwig Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2011 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2011

• On oscillation-free chaitin h-random sequences Staiger, Ludwig Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2011 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2011