![]() | ![]() |
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] |