| |
| 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) |
| 1 | Bart Jacobs | [1] |
| 2 | Dragan Masulovic | [2] [4] |
| 3 | Hendrik Tews | [1] |