Login / Signup
Brian Walker
Publication Activity (10 Years)
Years Active: 1998-2012
Publications (10 Years): 0
Top Topics
Multi Agent
Asynchronous Circuits
Model Checking
Signature Verification
Top Venues
FTfJP@ECOOP
</>
Publications
</>
Werner Dietl
,
Stephanie Dietzel
,
Michael D. Ernst
,
Nathaniel Mote
,
Brian Walker
,
Seth Cooper
,
Timothy Pavlik
,
Zoran Popovic
Verification games: making verification fun.
FTfJP@ECOOP
(2012)
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
Discovery of Novel Cathepsin S Inhibitors by Pharmacophore-Based Virtual High-Throughput Screening.
J. Chem. Inf. Model.
48 (8) (2008)
Brian Walker
,
Brunilde Sansò
Managing Redundancy in Distributed Computer Networks: A State Transition Graph Approach for the Stashing Problem.
Oper. Res.
46 (3) (1998)