Jonathan D. Bright

Publication Activity (10 Years)

Years Active: 1993-2003
Publications (10 Years): 0

Publications

Jonathan D. Bright, John A. Chandy
Data Integrity in a Distributed Storage System. PDPTA (2003)
Jonathan D. Bright, John A. Chandy
A Scalable Architecture for Clustered Network Attached Storage. IEEE Symposium on Mass Storage Systems (2003)
Jonathan D. Bright, Gregory F. Sullivan, Gerald M. Masson
A Formally Verified Sorting Certifier. IEEE Trans. Computers 46 (12) (1997)
Jonathan D. Bright, Gregory F. Sullivan, Gerald M. Masson
Checking the Integrity of Trees. FTCS (1995)
Jonathan D. Bright, Gregory F. Sullivan
On-line Error Monitoring for Several Data Structures. FTCS (1995)
Jonathan D. Bright, Gregory F. Sullivan
Checking Mergeable Priority Queues. FTCS (1994)
Jonathan D. Bright
Range-Restricted Mergeable Priority Queues. Inf. Process. Lett. 47 (3) (1993)