| 2004 |
|---|
| 5 | EE | Falk Bartels,
Ana Sokolova,
Erik P. de Vink:
A hierarchy of probabilistic system types.
Theor. Comput. Sci. 327(1-2): 3-22 (2004) |
| 2003 |
|---|
| 4 | EE | Falk Bartels,
Ana Sokolova,
Erik P. de Vink:
A hierarchy of probabilistic system types.
Electr. Notes Theor. Comput. Sci. 82(1): (2003) |
| 3 | | Falk Bartels:
Generalised Coinduction.
Mathematical Structures in Computer Science 13(2): 321-348 (2003) |
| 2002 |
|---|
| 2 | EE | Falk Bartels:
GSOS for Probabilistic Transition Systems.
Electr. Notes Theor. Comput. Sci. 65(1): (2002) |
| 2001 |
|---|
| 1 | EE | Falk Bartels:
Generalised Coinduction.
Electr. Notes Theor. Comput. Sci. 44(1): (2001) |
