Specification and Verification of the UCLA Unix Security Kernel (Extended Abstract). - Bruce J. Walker; Richard A. Kemmerer; Gerald J. Popek (SOSP, 1979)

Specification and Verification of the UCLA Unix Security Kernel. - Bruce J. Walker; Richard A. Kemmerer; Gerald J. Popek (Commun. ACM, 1980)

Detection of Mutual Inconsitency in Distributed Systems. - Douglas Stott Parker Jr.; Gerald J. Popek; Gerard Rudisin; Allen Stoughton; Bruce J. Walker; Evelyn Walton; Johanna M. Chow; David A. Edwards; Stephen Kiser; Charles S. Kline (Berkeley Workshop, 1981)

LOCUS - A Network Transparent, High Reliability Distributed System. - Gerald J. Popek; Bruce J. Walker; Johanna M. Chow; David A. Edwards; Charles S. Kline; Gerard Rudisin; Greg Thiel (SOSP, 1981)

The LOCUS Distributed Operating System. - Bruce J. Walker; Gerald J. Popek; Robert English; Charles S. Kline; Greg Thiel (SOSP, 1983)

Detection of Mutual Inconsistency in Distributed Systems. - Douglas Stott Parker Jr.; Gerald J. Popek; Gerard Rudisin; Allen Stoughton; Bruce J. Walker; Evelyn Walton; Johanna M. Chow; David A. Edwards; Stephen Kiser; Charles S. Kline (IEEE Trans. Software Eng., 1983)

Accessing Remote Special Files in a Distributed Computing Envinronment. - Joel Lilienkamp; Bruce J. Walker; Rich Silva (HPDC, 1993)

Implementing a Full Single System Image UnixWare Cluster: Middleware vs Underware. - Bruce J. Walker; Douglas Steel (PDPTA, 1999)

Dynamic Resources Management of Virtual Appliances on a Computational Cluster. - Alexander A. Moskovsky; Artem Y. Pervin; Bruce J. Walker (Euro-Par Workshops, 2008)

Comparison of long- and short-read metagenomic assembly for low-abundance species and resistance genes. - Sosie Yorki; Terrance Shea; Christina Cuomo; Bruce J. Walker; Regina C. Larocque; Abigail L. Manson; Ashlee M. Earl; Colin J. Worby (Briefings Bioinform., 2023)