Jan Rothe

Publication Activity (10 Years)

Years Active: 2001-2003
Publications (10 Years): 0

Dresden University of Technology (PHD)

Education History

Dresden University of Technology

PHD

Publications

Jan Rothe, Dragan Masulovic
Modal Logics for Observation Equivalences. CMCS (2003)
Jan Rothe, Dragan Masulovic
Towards Weak Bisimulation For Coalgebras. Electron. Notes Theor. Comput. Sci. 68 (1) (2002)
Jan Rothe
A Syntactical Approach to Weak (Bi-)Simulation for Coalgebras. CMCS (2002)
Jan Rothe, Hendrik Tews, Bart Jacobs
The Coalgebraic Class Specification Language CCSL. J. Univers. Comput. Sci. 7 (2) (2001)