Michael Theobald

Anton, a special-purpose machine for molecular dynamics simulation

David E. Shaw, Martin M. Deneroff, Ron O. Dror et al. · Communications of the ACM · 2008 · 802 citations · Full text

Computational Biophysics, Special-purpose Machine, Engineering +15

Anton 2: Raising the Bar for Performance and Programmability in a Special-Purpose Molecular Dynamics Supercomputer

David E. Shaw, J.P. Grossman, Joseph A. Bank et al. · 2014 · 680 citations

Engineering, Anton 2, Molecular Biology +23

Efficient representation and manipulation of switching functions based on ordered Kronecker functional decision diagrams

Rolf Drechsler, Andisheh Sarabi, Michael Theobald et al. · 1994 · 199 citations

Circuit Complexity, Efficient Package, Engineering +9

Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems

Edmund M. Clarke, Ansgar Fehnker, Zhi Han et al. · International Journal of Foundations of Computer Science · 2003 · 177 citations

Hybrid System Abstractions, Engineering, Reachability Problem +17

Anton, a special-purpose machine for molecular dynamics simulation

David E. Shaw, Martin M. Deneroff, Ron O. Dror et al. · 2007 · 177 citations

Computational Biophysics, Biophysical Modeling, Special-purpose Machine +15