Lehrstuhl für Informatik 8 (Theoretische Informatik)

Finitary monads on the category of posets (2021) Ford M, Adámek J, Milius S, Schröder L Journal article, Original article Monads on categories of relational structures (2021) Ford M, Milius S, Schröder L Conference contribution Initial algebras without iteration (2021) Adámek J, Milius S, Moss LS Conference contribution Reiterman's Theorem on Finite Algebras for a Monad (2021) Adamek J, Chen LT, Milius S, Urbat H Journal article On the behaviour of coalgebras with side effects and algebras with effectful iteration (2021) Adamek J, Milius S, Urbat H Journal article 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