Initial algebras without iteration (2021) Adámek J, Milius S, Moss LS Conference contribution Network planning and routing problems over time: Models, complexity and algorithms (2021) Glomb L, Hoch B, Liers F, Rösel F Conference contribution Nominal Büchi Automata with Name Allocation (2021) Urbat H, Hausmann D, Milius S, Schröder L Conference contribution Explaining Behavioural Inequivalence Generically in Quasilinear Time (2021) Wißmann T, Milius S, Schröder L Conference contribution 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