Efficient Coalgebraic Partition Refinement. - Ulrich Dorsch; Stefan Milius; Lutz Schröder; Thorsten Wißmann (CONCUR, 2017)

A Coalgebraic Paige-Tarjan Algorithm. - Ulrich Dorsch; Stefan Milius; Lutz Schröder; Thorsten Wißmann (CoRR, 2017)

Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages. - Ulrich Dorsch; Stefan Milius; Lutz Schröder; Thorsten Wißmann (CMCS, 2018)

Graded Monads for the Linear Time - Branching Time Spectrum. - Ulrich Dorsch; Stefan Milius; Lutz Schröder (CoRR, 2018)

Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum. - Ulrich Dorsch; Stefan Milius; Lutz Schröder (CONCUR, 2019)

Efficient and Modular Coalgebraic Partition Refinement. - Thorsten Wißmann; Ulrich Dorsch; Stefan Milius; Lutz Schröder (Log. Methods Comput. Sci., 2020)