C. Richard Ho

Synopsys (Switzerland) — Switzerland

Biochemistry, Genetics and Molecular Biology · Life Sciences

6h-index1.9kcitations8works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Protein Structure and Dynamics(5), Parallel Computing and Optimization Techniques(4), Advanced NMR Techniques and Applications(3), Formal Methods in Verification(1), Lipid Membrane Structure and Behavior(1)

Publications8 total

Anton 2: Raising the Bar for Performance and Programmability in a Special-Purpose Molecular Dynamics Supercomputer
2014· 680 cited
Structural and mechanical properties of cardiolipin lipid bilayers determined using neutron spin echo, small angle neutron and X-ray scattering, and molecular dynamics simulations
Soft Matter·2014· 78 citedOpen Access
Hierarchical simulation-based verification of Anton, a special-purpose parallel machine
2008· 6 cited
Anton, a special-purpose machine for molecular dynamics simulation
Communications of the ACM·2008· 802 citedOpen Access
Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logic
2008· 6 cited
Independent verification and validation
2008· 1 cited
Anton, a special-purpose machine for molecular dynamics simulation
2007· 177 cited
Anton, a special-purpose machine for molecular dynamics simulation
ACM SIGARCH Computer Architecture News·2007· 115 cited

Frequent Co-authors

Martin M. Deneroff(6), Ron O. Dror(6), Joseph Gagliardo(6), Michael Theobald(6), David E. Shaw(5), John K. Salmon(5), Cliff Young(5), Brannon Batson(5), J.P. Grossman(5), Douglas J. Ierardi(5), Rolf Mueller(5), Jochen Spengler(5), Brian Towles(5), Stanley C. Wang(5), Jeffrey S. Kuskin(4), Richard H. Larson(4), Jack C. Chao(4), Timothy Layman(4), Mark A. Moraes(4), K. J. Bowers(3)