|
Search the dblp DataBase
Jan Rothe:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jan Rothe
A Syntactical Approach to Weak (Bi-)Simulation for Coalgebras. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:65, n:1, pp:- [Journal]
- Jan Rothe, Dragan Masulovic
Towards Weak Bisimulation For Coalgebras. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:68, n:1, pp:- [Journal]
- Jan Rothe, Dragan Masulovic
Modal Logics for Observation Equivalences. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal]
- Jan Rothe, Hendrik Tews, Bart Jacobs
The Coalgebraic Class Specification Language CCSL. [Citation Graph (0, 0)][DBLP] J. UCS, 2001, v:7, n:2, pp:175-193 [Journal]
Search in 0.001secs, Finished in 0.001secs
|