| |
| 2008 | ||
|---|---|---|
| 2 | EE | Holger Grandy, Markus Bischof, Kurt Stenzel, Gerhard Schellhorn, Wolfgang Reif: Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code. FM 2008: 165-180 |
| 1 | EE | Markus Bischof, Bettina Conradi, Peter Lachenmaier, Kai Linde, Max Meier, Philipp Pötzl, Elisabeth André: Xenakis: combining tangible interaction with probability-based musical composition. Tangible and Embedded Interaction 2008: 121-124 |
| 1 | Elisabeth André | [1] |
| 2 | Bettina Conradi | [1] |
| 3 | Holger Grandy | [2] |
| 4 | Peter Lachenmaier | [1] |
| 5 | Kai Linde | [1] |
| 6 | Max Meier | [1] |
| 7 | Philipp Pötzl | [1] |
| 8 | Wolfgang Reif | [2] |
| 9 | Gerhard Schellhorn | [2] |
| 10 | Kurt Stenzel | [2] |