C. Richard Ho
Synopsys (Switzerland)(CH)University of South Florida(US)D. E. Shaw Research(US)University of Tampa(US)
Publications by Year
Research Areas
Protein Structure and Dynamics, Parallel Computing and Optimization Techniques, Advanced NMR Techniques and Applications, Formal Methods in Verification, Lipid Membrane Structure and Behavior
Most-Cited Works
- → Anton, a special-purpose machine for molecular dynamics simulation(2008)806 cited
- → Anton 2: Raising the Bar for Performance and Programmability in a Special-Purpose Molecular Dynamics Supercomputer(2014)682 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(2014)80 cited
- → Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logic(2008)6 cited
- → Hierarchical simulation-based verification of Anton, a special-purpose parallel machine(2008)6 cited
- → Independent verification and validation(2008)1 cited