| 2003 |
|---|
| 4 | EE | Jan Rothe,
Dragan Masulovic:
Modal Logics for Observation Equivalences.
Electr. Notes Theor. Comput. Sci. 82(1): (2003) |
| 2002 |
|---|
| 3 | EE | Jan Rothe:
A Syntactical Approach to Weak (Bi-)Simulation for Coalgebras.
Electr. Notes Theor. Comput. Sci. 65(1): (2002) |
| 2 | EE | Jan Rothe,
Dragan Masulovic:
Towards Weak Bisimulation For Coalgebras.
Electr. Notes Theor. Comput. Sci. 68(1): (2002) |
| 2001 |
|---|
| 1 | EE | Jan Rothe,
Hendrik Tews,
Bart Jacobs:
The Coalgebraic Class Specification Language CCSL.
J. UCS 7(2): 175-193 (2001) |
