Range-Restricted Mergeable Priority Queues. - Jonathan D. Bright (Inf. Process. Lett., 1993)

Checking Mergeable Priority Queues. - Jonathan D. Bright; Gregory F. Sullivan (FTCS, 1994)

On-line Error Monitoring for Several Data Structures. - Jonathan D. Bright; Gregory F. Sullivan (FTCS, 1995)

Checking the Integrity of Trees. - Jonathan D. Bright; Gregory F. Sullivan; Gerald M. Masson (FTCS, 1995)

A Formally Verified Sorting Certifier. - Jonathan D. Bright; Gregory F. Sullivan; Gerald M. Masson (IEEE Trans. Computers, 1997)

A Scalable Architecture for Clustered Network Attached Storage. - Jonathan D. Bright; John A. Chandy (IEEE Symposium on Mass Storage Systems, 2003)

Data Integrity in a Distributed Storage System. - Jonathan D. Bright; John A. Chandy (PDPTA, 2003)