Veröffentlichungen im Jahr 2017

Zeitschriften

  • Joel Day, Daniel Reidenbach, Markus L. Schmid. Closure Properties of Pattern Languages. Journal of Computer and System Sciences 84
  • Henning Fernau, Andreas Krebs. Problems on Finite Automata and the Exponential Time Hypothesis. Algorithms 10
  • Henning Fernau, Meenakshi Paramasivan, Markus L. Schmid, Vojtech Vorel. Characterization and complexity results on jumping finite automata. Theoretical Computer Science 679
  • Stefan Hoffmann, Sibylle Schwarz, Ludwig Staiger. Shift-invariant topologies for the Cantor space X^ω. Theoretical Computer Science 679
  • Henning Fernau, Laksmanan Kuppusamy, Indhumathi Raman. On the Computational Completeness of Graph-Controlled Insertion-Deletion Systems with Binary Sizes. Theoretical Computer Science 682
  • Artiom Alhazov, Henning Fernau, Rudolf Freund, Sergiu Ivanov, Rani Siromoney, K. G. Subramanian. Contextual Array Grammars with Matrix Control, Regular Control Languages, and Tissue P Systems Control. Theoretical Computer Science 682
  • Henning Fernau, Rudolf Freund, Rani Siromoney, K. G. Subramanian. Non-Isometric Contextual Array Grammars and the Role of Regular Control and Local Selectors. Fundamenta Informaticae 155

Konferenzen

  • Henning Fernau, Lakshmanan Kuppusamy, Serghei Verlan. Insertion Grammars with Small Size. UCNC
  • Henning Fernau, Lakshmanan Kuppusamy, Indhumathi Raman. Graph-Controlled Insertion-Deletion Systems Generating Language Classes Beyond Linearity. DCFS
  • Henning Fernau, Lakshmanan Kuppusamy, Indhumathi Raman. Computational Completeness of Path-Structured Graph-Controlled Insertion-Deletion Systems. CIAA
  • Dominik D. Freydenberger, Markus L. Schmid. Deterministic Regular Expressions With Back-References. STACS
  • Henning Fernau. Extremal Kernelization (Invited Paper). IWOCA
  • Katrin Casel, Henning Fernau, Alexander Grigoriev, Markus L. Schmid, Sue Whitesides. Combinatorial Properties and Recognition of Unit Square Visibility Graphs. MFCS
  • Henning Fernau, Meenakshi Paramasivan, Gnanaraj Thomas Durairaj. Regular Grammars for Array Languages.  NCMA
  • Henning Fernau, Martin Kutrib, Matthias Wendlandt. Self-Verifying Pushdown Automata. NCMA

Buchbeiträge

 

 

Weitere Quellen

Kontakt / Sekretariat

Kontakt / Sekretariat

N.N.

FB IV - Informatikwissenschaften
Theoretische Informatik
Campus II/Geozentrum
Gebäude H, Raum H 430
D-54286 Trier

E-Mail:

Tel.: +49 651 201-3768