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