The Coalgebraic Class Specification Language CCSL. - Jan Rothe; Hendrik Tews; Bart Jacobs 001 (J. Univers. Comput. Sci., 2001)

A Syntactical Approach to Weak (Bi-)Simulation for Coalgebras. - Jan Rothe (CMCS, 2002)

Towards Weak Bisimulation For Coalgebras. - Jan Rothe; Dragan Masulovic (Categorical Methods for Concurrency, Interaction, and Mobility @ CONCUR, 2002)

Modal Logics for Observation Equivalences. - Jan Rothe; Dragan Masulovic (CMCS, 2003)

Behavioural equivalences for coalgebras. - Jan Rothe (2004)