Eilenberg's variety theorem without Boolean operations (2022) Birkmann F, Milius S, Urbat H Journal article A new foundation for finitary corecursion and iterative algebras (2019) Wißmann T, Pattinson D, Milius S Journal article Selling two goods optimally (2018) Giannakopoulos Y, Koutsoupias E Journal article A coinductive calculus for asynchronous side-effecting processes (2013) Goncharov S, Schröder L Journal article, Original article A scalable module system (2013) Rabe F, Kohlhase M Journal article, Original article How Iterative Reflections of Monads are Constructed (2013) Adámek J, Milius S, Velebil J Journal article