| 1999 | ||
|---|---|---|
| 1 | Victoria Chernyakhovsky, Peter Frey, Radharamanan Radhakrishnan, Philip A. Wilsey, Perry Alexander, Harold W. Carter: A Formal Framework for Specifying and Verifying Time Warp Optimizations. IPPS/SPDP Workshops 1999: 1228-1242 | |
| 1 | Perry Alexander | [1] |
| 2 | Harold W. Carter | [1] |
| 3 | Peter Frey | [1] |
| 4 | Radharamanan Radhakrishnan | [1] |
| 5 | Philip A. Wilsey | [1] |