| |
| 2002 | ||
|---|---|---|
| 3 | EE | Roderick Moten: A Method for Providing Program Interoperability for End-Users. HCC 2002: 57-59 |
| 2 | EE | Roderick Moten: A Method for Providing Program Interoperability for End-Users. IEEE Symposia on Human Centric Computing Languages and Environments 2002: 57-59 |
| 1998 | ||
| 1 | Roderick Moten: Exploiting Parallelism in Interactive Theorem Provers. TPHOLs 1998: 315-330 | |