- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| 4 |      | Thomas Reinbacher, Martin Kramer, Martin Horauer, Bastian Schlich: Challenges in embedded model checking - a simulator for the [mc]square model checker. SIES 2008: 245-248 |
| 2004 | ||
| 3 | | Günter Schreier, Alexander Kollmann, Martin Kramer, Jürgen Messmer, Andreas Hochgatterer, Peter Kastner: Mobile Phone Based User Interface Concept for Health Data Acquisition at Home. ICCHP 2004: 29-36 |
| 1994 | ||
| 2 |  | Martin Kramer, Claus Unger: A Generalizing Operator Abstraction. PuK 1994: 108-121 |
| 1992 | ||
| 1 | | Martin Kramer: Improving Operating System Usage. GWAI 1992: 320-333 |
| 1 | Andreas Hochgatterer | [3] |
| 2 | Martin Horauer | [4] |
| 3 | Peter Kastner | [3] |
| 4 | Alexander Kollmann | [3] |
| 5 | Jürgen Messmer | [3] |
| 6 | Thomas Reinbacher | [4] |
| 7 | Bastian Schlich | [4] |
| 8 | Günter Schreier | [3] |
| 9 | Claus Unger | [2] |