| |
| 2008 | ||
|---|---|---|
| 2 | EE | A. Prasad Sistla, V. N. Venkatakrishnan, Michelle Zhou, Hilary Branske: CMV: automatic verification of complete mediation for java virtual machines. ASIACCS 2008: 100-111 |
| 1 | EE | Ansgar Scherp, Frank Nack, Klara Nahrstedt, Masashi Inoue, Andreas Girgensohn, Andreas Henrich, Philipp Sandhaus, Sabine Thieme, Michelle Zhou: Interaction and user experiences with multimedia technologies: challenges and future topics. HCC 2008: 1-6 |
| 1 | Hilary Branske | [2] |
| 2 | Andreas Girgensohn | [1] |
| 3 | Andreas Henrich | [1] |
| 4 | Masashi Inoue | [1] |
| 5 | Frank Nack | [1] |
| 6 | Klara Nahrstedt | [1] |
| 7 | Philipp Sandhaus | [1] |
| 8 | Ansgar Scherp | [1] |
| 9 | A. Prasad Sistla | [2] |
| 10 | Sabine Thieme | [1] |
| 11 | V. N. Venkatakrishnan | [2] |