Game-based local model checking for the coalgebraic µ-calculus (2019) Hausmann D, Schröder L Conference contribution Graded monads and graded logics for the linear time – Branching time spectrum (2019) Dorsch U, Milius S, Schröder L Conference contribution Varieties of data languages (2019) Urbat H, Milius S Conference contribution Hybrid fault-tolerant consensus in asynchronous and wireless embedded systems (2019) Xu W, Schwarz-Rüsch S, Li B, Kapitza R Conference contribution The price of stability of weighted congestion games (2018) Christodoulou G, Gairing M, Giannakopoulos Y, Spirakis PG Conference contribution, Original article Online market intermediation (2017) Giannakopoulos Y, Koutsoupias E, Lazos P Conference contribution, Original article Finitary Corecursion for the Infinitary Lambda Calculus (2015) Milius S, Wißmann T Conference contribution Syntactic Monoids in a Category (2015) Adámek J, Milius S, Urbat H, Urbat H Conference contribution, Conference Contribution