Brian Walker

According to our database, Brian Walker authored at least 3 papers between 1998 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Verification games: making verification fun.

Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Nathaniel Mote, Brian Walker, Seth Cooper, Timothy Pavlik, Zoran Popovic

Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, 2012

2008

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, Gerhard Wolber, Christian Laggner, Thierry Langer

J. Chem. Inf. Model., 2008

1998

Managing Redundancy in Distributed Computer Networks: A State Transition Graph Approach for the Stashing Problem.

Brian Walker, Brunilde Sansò

Oper. Res., 1998