| |
| 2003 | ||
|---|---|---|
| 7 | EE | Jonathan D. Bright, John A. Chandy: A Scalable Architecture for Clustered Network Attached Storage. IEEE Symposium on Mass Storage Systems 2003: 196-206 |
| 6 | Jonathan D. Bright, John A. Chandy: Data Integrity in a Distributed Storage System. PDPTA 2003: 688-694 | |
| 1997 | ||
| 5 | Jonathan D. Bright, Gregory F. Sullivan, Gerald M. Masson: A Formally Verified Sorting Certifier. IEEE Trans. Computers 46(12): 1304-1312 (1997) | |
| 1995 | ||
| 4 | Jonathan D. Bright, Gregory F. Sullivan: On-line Error Monitoring for Several Data Structures. FTCS 1995: 392-401 | |
| 3 | Jonathan D. Bright, Gregory F. Sullivan, Gerald M. Masson: Checking the Integrity of Trees. FTCS 1995: 402-411 | |
| 1994 | ||
| 2 | Jonathan D. Bright, Gregory F. Sullivan: Checking Mergeable Priority Queues. FTCS 1994: 144-153 | |
| 1993 | ||
| 1 | Jonathan D. Bright: Range-Restricted Mergeable Priority Queues. Inf. Process. Lett. 47(3): 159-164 (1993) | |
| 1 | John A. Chandy | [6] [7] |
| 2 | Gerald M. Masson | [3] [5] |
| 3 | Gregory F. Sullivan | [2] [3] [4] [5] |