2008 |
10 | EE | Dragan Masulovic:
Genclo and Termequiv are EXPTIME-Complete.
IJAC 18(5): 901-909 (2008) |
9 | EE | Andreja Ilic,
Dragan Masulovic,
Uros Rajkovic:
Finite homomorphism-homogeneous tournaments with loops.
Journal of Graph Theory 59(1): 45-58 (2008) |
2007 |
8 | EE | Dragan Masulovic:
Homomorphism-Homogeneous Partially Ordered Sets.
Order 24(4): 215-226 (2007) |
2006 |
7 | EE | Dragan Masulovic:
On Dualizing Clones as Lawvere Theories.
IJAC 16(4): 657-688 (2006) |
2003 |
6 | EE | Jan Rothe,
Dragan Masulovic:
Modal Logics for Observation Equivalences.
Electr. Notes Theor. Comput. Sci. 82(1): (2003) |
2002 |
5 | EE | Dragan Masulovic:
Towards Coalgebraic Behaviourism.
Electr. Notes Theor. Comput. Sci. 65(1): (2002) |
4 | EE | Jan Rothe,
Dragan Masulovic:
Towards Weak Bisimulation For Coalgebras.
Electr. Notes Theor. Comput. Sci. 68(1): (2002) |
2001 |
3 | EE | Dragan Masulovic:
Invariants of monadic coalgebras.
Electr. Notes Theor. Comput. Sci. 44(1): (2001) |
2 | EE | Dragan Masulovic,
Boza Tasic:
Operators on classes of coalgebras.
Theor. Comput. Sci. 269(1-2): 419-431 (2001) |
1995 |
1 | | Ratko Tosic,
Dragan Masulovic,
Ivan Stojmenovic,
Jon Brunvoll,
Bjørg N. Cyvin,
Sven J. Cyvin:
Enumeration of Polyhex Hydrocarbons to h = 17.
Journal of Chemical Information and Computer Sciences 35(2): 181-187 (1995) |