http://www.tu-ilmenau.de

Logo TU Ilmenau


INHALTE

M.Sc. Chris Köcher

E-Mail:chris.koecher@tu-ilmenau.de
GPG-Schlüssel:46A1 9C9D 1AFB 92F2 EC14  AA33 137A 44FE E822 9540
Telefon:+49 3677 69-4158
Büro:Zusebau, Raum 1055 (Flügel E im EG)
Postadresse:Fachgebiet Automaten und Logik
Fakultät für Informatik und Automatisierung
Technische Universität Ilmenau
Postfach 100565
98684 Ilmenau
Sprechzeiten:Jederzeit oder nach Vereinbarung
Lebenslauf:Download
Externe Verweise:DBLP
Google Scholar
ORCID
ResearchGate

Lehrveranstaltungen

Veröffentlichungen

Eingereichte Arbeiten

  1. Reachability Problems on Partially Lossy Queue Automata (Version: Oktober 2019)
    [Download]
  2. Rational, Recognizable, and Aperiodic Sets in the Partially Lossy Queue Monoid (Version: April 2020)
    [Download]

Vollständig begutachtete Arbeiten

  1. The Inclusion Structure of Partially Lossy Queue Monoids and their Trace Submonoids (mit Dietrich KuskeOlena Prianychnykova)
    RAIRO - Theoretical Informatics and Applications vol. 52(1), Seiten 55-86 (2018).
    [Download, DOI: 10.1051/ita/2018003, BibTeX]

Konferenzarbeiten

  1. Reachability Problems on Partially Lossy Queue Automata
    RP 2019, Springer Lecture Notes in Computer Science vol. 11674, pages 149-163 (2019).
    [Download, DOI: 10.1007/978-3-030-30806-3_12, BibTeX]
  2. The Cayley-Graph of the Queue Monoid: Logic and Decidability (mit Faried Abu Zaid)
    FSTTCS 2018, Leibniz International Proceedings in Informatics vol. 122, Seiten 9:1-9:17 (2018).
    [Download, DOI: 10.4230/LIPIcs.FSTTCS.2018.9, BibTeX]
  3. Rational, Recognizable, and Aperiodic Sets in the Partially Lossy Queue Monoid
    STACS 2018, Leibniz International Proceedings in Informatics vol. 96, Seiten 45:1-45:14 (2018).
    [Download, DOI: 10.4230/LIPIcs.STACS.2018.45BibTeX]
  4. The Transformation Monoid of a Partially Lossy Queue (mit Dietrich Kuske)
    CSR 2017, Springer Lecture Notes in Computer Science vol. 10304, Seiten 191-205 (2017).
    [Download, DOI: 10.1007/978-3-319-58747-9_18, BibTeX]

Abschlussarbeiten

  1. Einbettungen in das Transformationsmonoid einer vergesslichen Warteschlange
    Masterarbeit, 2016.
    [Download]
  2. Analyse der Entscheidbarkeit diverser Probleme in automatischen Graphen
    Bachelorarbeit, 2014.
    [Download]

Vorträge

  1. Reachability Problems on Partially Lossy Queue Automata
    Highlights of Logic, Games and Automata 2019, Warschau. [Zusammenfassung, Folien]
    13th International Conference on Reachability Problems 2019, Brüssel. [Folien]
    28. Theorietag "Automaten und Formale Sprachen" 2018, Wittenberg. [Zusammenfassung, Folien]
  2. The Cayley-Graph of the Queue Monoid: Logic and Decidability
    38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science 2018, Ahmedabad. [Folien]
  3. Rational, Recognizable, and Aperiodic Sets in the Partially Lossy Queue Monoid
    Highlights of Logic, Games and Automata 2018, Berlin. [Zusammenfassung, Folien]
    35th Symposium on Theoretical Aspects of Computer Science 2018, Caen. [Folien]
    27. Theorietag "Automaten und Formale Sprachen" 2017, Bonn. [Zusammenfassung, Folien]
  4. The Transformation Monoid of a Partially Lossy Queue
    12th International Computer Science Symposium in Russia 2017, Kasan. [Folien]