Syntactic Minimization of Nondeterministic Finite Automata (2021) Myers RS, Urbat H Conference contribution A Linear-Time Nominal μ-Calculus with Name Allocation (2021) Hausmann D, Milius S, Schröder L Conference contribution Coalgebra encoding for efficient minimization (2021) Deifel HP, Milius S, Wißmann T Conference contribution Uniform elgot iteration in foundations (2021) Goncharov S Conference contribution Making Isabelle Content Accessible in Knowledge Representation Formats (2020) Kohlhase M, Rabe F, Wenzel M Conference contribution Characteristic logics for behavioural metrics via fuzzy lax extensions (2020) Wild P, Schröder L Conference contribution, Original article Existence and complexity of approximate equilibria in weighted congestion games (2020) Christodoulou G, Gairing M, Giannakopoulos Y, Poças D, Waldmann C Conference contribution, Original article Towards constructive hybrid semantics (2020) Diezel TL, Goncharov S Conference contribution, Original article Coinductive resumption monads: Guarded iterative and guarded Elgot (2019) Levy PB, Goncharov S Conference contribution From equational specifications of algebras with structure to varieties of data languages (2019) Milius S Conference contribution