News

Aktuelles aus dem Fachgebiet Algorithmik

Seite 1 von 2.

• 1
• 2
• nächste

TU Ilmenau

21.04.2026

Vortrag zum Thema "Towards understanding the complexity of Decision DNNF representation of CNFs parameterized by the incidence treewidth"

Liebe Freunde der Theorie, am Dienstag, 21.04.2026 spricht um 15:00 Uhr im…

TU Ilmenau

16.04.2026

Arbeit von Chris Köcher und Dietrich Kuske für das Journal of Theoretical Computer Science angenommen

Die Arbeit "Reachability in Trace-Pushdown Systems" von Chris Köcher und…

TU Ilmenau

09.04.2026

Arbeit von M. Sc. Sebastian Pfau auf der CSL 2026 veröffentlicht

Die Arbeit "Boolean Basis and Succinctness of Modal Logic via Hella-Vilander…

TU Ilmenau

05.01.2026

Arbeit aus dem Institut für Theoretische Informatik im Journal of the ACM zur Veröffentlichung angenommen

Die Arbeit „Ribbon: Fast Succinct Static Retrieval and Approximate Membership“…

02.12.2025

Arbeit von Christoph Berkholz und Harry Vinall-Smeeth auf der ICDT 2026 zur Veröffentlichung angenommen

Die Arbeit “Factorised Representations of Join Queries: Tight Bounds and a New…

TU Ilmenau

03.11.2025

Vortrag zum Thema "Barrington's Theorem"

Liebe Freunde der Theorie, am Dienstag, 11.11.2025 spricht um 15:00 Uhr im…

TU Ilmenau

28.10.2025

Vortrag zum Thema "Simpliziale Homologie"

Liebe Freunde der Theorie, am Dienstag, 28.10.2025 spricht um 15:00 Uhr im…

TU Ilmenau

23.10.2025

Arbeit von M. Sc. Sebastian Pfau auf der CSL 2026 zur Veröffentlichung angenommen

Die Arbeit "Boolean Basis and Succinctness of Modal Logic via Hella-Vilander…

TU Ilmenau

30.09.2025

Arbeit von Prof. Dietrich Kuske auf der FCT 2025 veröffentlicht

Die Arbeit "Disjointness, inclusion, and regularity of ω-rational trace…

TU Ilmenau

25.07.2025

Arbeit von Christoph Berkholz, Dietrich Kuske und Christian Schwarz im Journal Logical Methods in Computer Science erschienen.

Die Arbeit "Boolean basis,  formula size, and number of modal operators." von…

Seite 1 von 2.

• 1
• 2
• nächste