Forschung am Lehrstuhl für Theoretische Informatik
Unsere Forschungsinteressen erstrecken sich über viele Bereiche der Theoretischen Informatik. Hervorzuheben sind besonders die Bereiche: effiziente Graphenalgorithmen, parameterisierte und approximative Algorithmen und Komplexität, Formale Sprachen, Lernalgorithmen.
Einen guten ersten Eindruck gewinnt man beim Durchblättern unser Veröffentlichungen.
Im folgenden finden Sie eine Liste der zur Veröffentlichung in Zeitschriften angenommenen Beiträge, an denen Mitarbeiter des Lehrstuhls für Theoretische Informatik beteiligt waren. Veröffentlichungen aus den einzelnen Jahren finden Sie, den jeweiligen Jahren zugeordnet, oben im Menü. Vollständige Publikationslisten der einzelnen Mitarbeiter finden Sie auf den Internet-Seiten der einzelnen Mitarbeiter.
Veröffentlichungen
Zur Veröffentlichung in Zeitschriften akzeptiert:
Katrin Casel, Henning Fernau, Alexander Grigoriev, Markus L. Schmid, Sue Whitesides. Combinatorial Properties and Recognition of Unit Square Visibility Graphs. Discrete & Computational Geometry.
Martin Vu, Henning Fernau. Insertion-Deletion With Substitutions II: About The Role of One-Sided Context. Journal of Automata, Languages and Combinatorics
- Henning Fernau, Kshitij Gajjar. The Space Complexity of Sum Labelling. Theory of Computing Systems
Zur Veröffentlichung auf Konferenzen akzeptiert:
Emmanuel Arrighi, Henning Fernau, Mateus de Oliveira Oliveira, Petra Wolf. Synchronization and Diversity of Solutions. AAAI 2023
Henning Fernau, Florent Foucaud, Kevin Mann, Utkarsh Padariya, Rajath Rao. Parameterizing Path Partitions. CIAC 2023