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