| * | 2003 | |
|---|---|---|
| 4 | EE | Eva Rose: Lightweight Bytecode Verification. J. Autom. Reasoning 31(3-4): 303-334 (2003) |
| 2001 | ||
| 3 | Eva Rose, Kristoffer Høgsbro Rose: Java access protection through typing. Concurrency and Computation: Practice and Experience 13(13): 1125-1132 (2001) | |
| 1998 | ||
| 2 | Eva Rose: Linear-Time Hierarchies for a Functional Language Machine Model. Sci. Comput. Program. 32(1-3): 109-143 (1998) | |
| 1996 | ||
| 1 | Eva Rose: Linear Time Hierarchies for a Functional Language Machine Model. ESOP 1996: 311-325 | |
| 1 | Kristoffer Høgsbro Rose | [3] |