Managing Redundancy in Distributed Computer Networks: A State Transition Graph Approach for the Stashing Problem. - Brian Walker; Brunilde Sansò (Oper. Res., 1998)

Discovery of Novel Cathepsin S Inhibitors by Pharmacophore-Based Virtual High-Throughput Screening. - Patrick Markt; Caroline McGoohan; Brian Walker; Johannes Kirchmair; Clemens Feldmann; Gabriella De Martino; Gudrun M. Spitzer; Simona Distinto; Daniela Schuster 001; Gerhard Wolber; Christian Laggner; Thierry Langer (J. Chem. Inf. Model., 2008)

Verification games: making verification fun. - Werner Dietl; Stephanie Dietzel; Michael D. Ernst; Nathaniel Mote; Brian Walker; Seth Cooper; Timothy Pavlik; Zoran Popovic (FTfJP@ECOOP, 2012)