| |
| 2004 | ||
|---|---|---|
| 2 | EE | Matthew Q. Beers, Christian Stork, Michael Franz: Efficiently Verifiable Escape Analysis. ECOOP 2004: 75-95 |
| 2001 | ||
| 1 | EE | Peter Housel, Christian Stork, Vivek Haldar, Niall Dalton, Michael Franz: Towards Language-Agnostic Mobile Code. Electr. Notes Theor. Comput. Sci. 59(1): (2001) |
| 1 | Matthew Q. Beers | [2] |
| 2 | Niall Dalton | [1] |
| 3 | Michael Franz | [1] [2] |
| 4 | Vivek Haldar | [1] |
| 5 | Peter Housel | [1] |