Author Info
Name
Affiliation
Papers
GERARD BASLER
ETH Zurich
2
Collaborators
Citations 
PageRank 
10
268
8.11
Referers 
Referees 
References 
671
97
40
Search Limit
100671
Title
Citations
PageRank
Year
BOOM: taking boolean program model checking one step further90.562010
Finding and reproducing Heisenbugs in concurrent programs2597.552008