| 2008 | ||
|---|---|---|
| 2 | 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 | 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 | |