Complete Elgot Monads and Coalgebraic Resumptions (2016) Goncharov S, Milius S, Rauch C Journal article, Original article Sound and Complete Equational Reasoning over Comodels (2015) Schröder L, Pattinson D Conference contribution, Original article On Continuous Nondeterminism and State Minimality (2014) Adámek J, Milius S, Myers R, Urbat H, Urbat H Journal article Rational Operational Models (2013) Milius S, Bonsangue M, Myers R, Rot J Conference contribution Estimating Non-functional Properties of Component-based Software Based on Resource Consumption (2005) Meyerhöfer M, Meyer-Wegener K Journal article, Original article XML-based specification of diagram editors (2003) Minas M Conference contribution, Original article Specifying graph-like diagrams with DiaGen (2002) Minas M Conference contribution, Original article Abstraction in graph-transformation based diagram editors (2001) Köth O, Minas M Conference contribution, Original article Transformation of shaped nested graphs and diagrams (2001) Hoffmann B, Minas M Conference contribution, Original article Specifying and implementing visual process modeling languages with DiaGen (2001) Minas M, Hoffmann B Conference contribution, Original article