CR
| Title | Published in | Access level | OA Policy | Year | Views | Downloads | |
|---|---|---|---|---|---|---|---|
| A programming model and execution environment for autonomous systems |  | 2004 | 977 | 680 | |||
| Practical Virtual Method Call Resolution for Java | Trusted objects = Objets de confiance | | 1999 | 131 | 261 | ||
| The Design and Implementation of a Comparative Verification Suite for OSF/1 | Object applications = Applications des objets | | 1996 | 119 | 61 |
