Lehrstuhl für Informatik 8 (Theoretische Informatik)

Quasipolynomial Computation of Nested Fixpoints (2021) Hausmann D, Schröder L Conference contribution The Alternating-Time μ-Calculus with Disjunctive Explicit Strategies (2021) Göttlinger M, Schröder L, Pattinson D Conference contribution, Original article Nondeterministic syntactic complexity (2021) Myers RS, Milius S, Urbat H Conference contribution A metalanguage for guarded iteration (2021) Goncharov S, Rauch C, Schröder L Journal article, Original article On Language Varieties Without Boolean Operations (2021) Birkmann F, Milius S, Urbat H Conference contribution Characteristic logics for behavioural metrics via fuzzy lax extensions (2020) Wild P, Schröder L Conference contribution, Original article Automata Learning: An Algebraic Approach (2020) Urbat H, Schröder L Conference contribution, Original article Reconstructing Arguments from Noisy Text (2020) Dykes N, Evert S, Göttlinger M, Heinrich P, Schröder L Journal article, Original article Unifying Metadata-Based Storage Reconstruction and Carving with LAYR (2020) Schneider J, Milius S, Deifel HP, Freiling F Conference contribution, Conference Contribution Towards constructive hybrid semantics (2020) Diezel TL, Goncharov S Conference contribution, Original article