Authors: McDonald, CB Bryant, RE

Citation: Cb. Mcdonald et Re. Bryant, CMOS circuit verification with symbolic switch-level timing simulation, IEEE COMP A, 20(3), 2001, pp. 458-474

Authors: Chen, YA Bryant, RE

Citation: Ya. Chen et Re. Bryant, An efficient graph representation for arithmetic circuit verification, IEEE COMP A, 20(12), 2001, pp. 1443-1454

Authors: Bryant, RE Cheng, KT Kahng, AB Keutzer, K Maly, W Newton, R Pileggi, L Rabaey, JM Sangiovanni-Vincentelli, A

Citation: Re. Bryant et al., Limitations and challenges of computer-aided design technology for CMOS VLSI, P IEEE, 89(3), 2001, pp. 341-365

Authors: Hagman, HM Madnick, EG D'Agostino, AN Williams, PL Shatsky, S Mirels, LF Tucker, RM Rinaldi, MG Stevens, DA Bryant, RE

Citation: Hm. Hagman et al., Hyphal forms in the central nervous system of patients with coccidioidomycosis, CLIN INF D, 30(2), 2000, pp. 349-355

Authors: Pandey, M Bryant, RE

Citation: M. Pandey et Re. Bryant, Exploiting symmetry when verifying transistor-level circuits by symbolic trajectory evaluation, IEEE COMP A, 18(7), 1999, pp. 918-935

Authors: Meyer, MM Munar, MY Kohlhepp, SJ Bryant, RE

Citation: Mm. Meyer et al., Meropenem pharmacokinetics in a patient with multiorgan failure from meningococcemia undergoing continuous venovenous hemodiafiltration, AM J KIDNEY, 33(4), 1999, pp. 790-795