Dr. Henning Urbat

Lehrstuhl für Informatik 8 (Theoretische Informatik)

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 Syntactic Minimization of Nondeterministic Finite Automata (2021) Myers RS, Urbat H Conference contribution Nondeterministic syntactic complexity (2021) Myers RS, Milius S, Urbat H Conference contribution On Language Varieties Without Boolean Operations (2021) Birkmann F, Milius S, Urbat H Conference contribution Automata Learning: An Algebraic Approach (2020) Urbat H, Schröder L Conference contribution, Original article Varieties of data languages (2019) Urbat H, Milius S Conference contribution Equational Axiomatization of Algebras with Structure (2019) Milius S, Urbat H Conference contribution Generalized Eilenberg Theorem: Varieties of Languages in a Category (2019) Adámek J, Milius S, Myers R, Urbat H Journal article