| |
| 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) |
| 1 | Ana Sokolova | [4] [5] |
| 2 | Erik P. de Vink | [4] [5] |