| |
| 2008 | ||
|---|---|---|
| 6 | EE | Walter Guttmann: Lazy Relations. RelMiCS 2008: 138-154 |
| 2006 | ||
| 5 | EE | Stefan Sarstedt, Walter Guttmann: An ASM Semantics of Token Flow in UML 2 Activity Diagrams. Ershov Memorial Conference 2006: 349-362 |
| 4 | EE | Walter Guttmann, Markus Maucher: Variations on an Ordering Theme with Constraints. IFIP TCS 2006: 77-90 |
| 3 | EE | Walter Guttmann, Bernhard Möller: Modal Design Algebra. UTP 2006: 236-256 |
| 2005 | ||
| 2 | EE | Walter Guttmann: Non-termination in Unifying Theories of Programming. RelMiCS 2005: 108-120 |
| 2003 | ||
| 1 | EE | Walter Guttmann, Helmuth Partsch, Wolfram Schulte, Ton Vullinghs: Tool Support for the Interactive Derivation of Formally Correct Functional Programs. J. UCS 9(2): 173- (2003) |
| 1 | Markus Maucher | [4] |
| 2 | Bernhard Möller | [3] |
| 3 | Helmuth Partsch | [1] |
| 4 | Stefan Sarstedt | [5] |
| 5 | Wolfram Schulte | [1] |
| 6 | Ton Vullinghs | [1] |