Edit Profile (opens in new tab) Garvin, Brady J. Co-Author Distance Author ID: garvin.brady-j Published as: Garvin, Brady; Garvin, Brady J. Documents Indexed: 3 Publications since 2010 Co-Authors: 5 Co-Authors with 3 Joint Publications 113 Co-Co-Authors Co-Authors 0 single-authored 2 Stolee, Derrick 2 Tewari, Raghunath 2 Vinodchandran, N. Variyam 1 Dwyer, Matthew B. 1 Sherman, Elena Serials 1 Computational Complexity Fields 3 Computer science (68-XX) Publications by Year Citations contained in zbMATH Open 2 Publications have been cited 2 times in 2 Documents Cited by ▼ Year ▼ A slice-based decision procedure for type-based partial orders. Zbl 1291.68268 Sherman, Elena; Garvin, Brady J.; Dwyer, Matthew B. 1 2010 ReachFewL = ReachUL. Zbl 1353.68100 Garvin, Brady; Stolee, Derrick; Tewari, Raghunath; Vinodchandran, N. V. 1 2011 ReachFewL = ReachUL. Zbl 1353.68100 Garvin, Brady; Stolee, Derrick; Tewari, Raghunath; Vinodchandran, N. V. 1 2011 A slice-based decision procedure for type-based partial orders. Zbl 1291.68268 Sherman, Elena; Garvin, Brady J.; Dwyer, Matthew B. 1 2010 all top 5 Cited by 6 Authors 1 Dwyer, Matthew B. 1 Garvin, Brady J. 1 Pavan, Aduri 1 Sherman, Elena 1 Tewari, Raghunath 1 Vinodchandran, N. Variyam Cited in 1 Serial 1 Computational Complexity Cited in 1 Field 2 Computer science (68-XX) Citations by Year