Lehrstuhl für Informatik 8 (Theoretische Informatik)

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 Toward a Uniform Theory of Effectful State Machines (2020) Goncharov S, Milius S, Silva A Journal article Non-iterative Modal Logics are Coalgebraic (2020) Forster J, Schröder L Conference contribution Implementing Hybrid Semantics: From Functional to Imperative (2020) Goncharov S, Neves R, Proença J Conference contribution Explaining non-bisimilarity in a coalgebraic approach: Games and distinguishing formulas (2020) König B, Mika-Michalski C, Schröder L Conference contribution