| Anton, a special-purpose machine for molecular dynamics simulation DE Shaw, MM Deneroff, RO Dror, JS Kuskin, RH Larson, JK Salmon, ... Communications of the ACM 51 (7), 91-97, 2008 | 976 | 2008 |
| Anton 2: raising the bar for performance and programmability in a special-purpose molecular dynamics supercomputer DE Shaw, JP Grossman, JA Bank, B Batson, JA Butts, JC Chao, ... SC'14: Proceedings of the International Conference for High Performance …, 2014 | 711 | 2014 |
| Anton, a special-purpose machine for molecular dynamics simulation DE Shaw, MM Deneroff, RO Dror, JS Kuskin, RH Larson, JK Salmon, ... ACM SIGARCH Computer Architecture News 35 (2), 1-12, 2007 | 363 | 2007 |
| Efficient representation and manipulation of switching functions based on ordered Kronecker functional decision diagrams R Drechsler, A Sarabi, M Theobald, B Becker, MA Perkowski Proceedings of the 31st annual Design Automation Conference, 415-419, 1994 | 297 | 1994 |
| Abstraction and counterexample-guided refinement in model checking of hybrid systems E Clarke, A Fehnker, Z Han, B Krogh, J Ouaknine, O Stursberg, ... International journal of foundations of computer science 14 (04), 583-604, 2003 | 255 | 2003 |
| Verification of hybrid systems based on counterexample-guided abstraction refinement E Clarke, A Fehnker, Z Han, B Krogh, O Stursberg, M Theobald International Conference on Tools and Algorithms for the Construction and …, 2003 | 156 | 2003 |
| Minimalist: An environment for the synthesis, verification and testability of burst-mode asynchronous machines RM Fuhrer, SM Nowick, M Theobald, NK Jha, B Lin, L Plana | 142 | 1999 |
| Anton 3: twenty microseconds of molecular dynamics simulation before lunch DE Shaw, PJ Adams, A Azaria, JA Bank, B Batson, A Bell, M Bergdorf, ... Proceedings of the International Conference for High Performance Computing …, 2021 | 141 | 2021 |
| Self-timed carry-lookahead adders FC Cheng, SH Unger, M Theobald IEEE Transactions on Computers 49 (7), 659-672, 2000 | 127 | 2000 |
| Fast OFDD-based minimization of fixed polarity Reed-Muller expressions R Drechsler, M Theobald, B Becker IEEE Transactions on Computers 45 (11), 1294-1299, 1996 | 122 | 1996 |
| Proof-guided underapproximation-widening for multi-process systems O Grumberg, F Lerda, O Strichman, M Theobald Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005 | 90 | 2005 |
| Generalized latency-insensitive systems for single-clock and multi-clock architectures M Singh, M Theobald Proceedings Design, Automation and Test in Europe Conference and Exhibition …, 2004 | 77 | 2004 |
| SAT-based algorithms for logic minimization S Sapra, M Theobald, E Clarke Proceedings 21st International Conference on Computer Design, 510-517, 2003 | 50 | 2003 |
| Delay-insensitive carry-lookahead adders FC Cheng, SH Unger, M Theobald, WC Cho Proceedings Tenth International Conference on VLSI Design, 322-328, 1997 | 49 | 1997 |
| Top-k query processing in probabilistic databases with non-materialized views M Dylla, I Miliaraki, M Theobald 2013 IEEE 29th International Conference on Data Engineering (ICDE), 122-133, 2013 | 48 | 2013 |
| Symbolic model checking of software F Lerda, N Sinha, M Theobald Electronic notes in theoretical computer science 89 (3), 480-498, 2003 | 43 | 2003 |
| Fast heuristic and exact algorithms for two-level hazard-free logic minimization M Theobald, SM Nowick IEEE transactions on computer-aided design of integrated circuits and …, 1998 | 41 | 1998 |
| Espresso-hf: A heuristic hazard-free minimizer for two-level logic M Theobald, SM Nowick, T Wu Proceedings of the 33rd Annual Design Automation Conference, 71-76, 1996 | 41 | 1996 |
| SC’14: Proceedings of the International Conference for High Performance Computing DE Shaw, JP Grossman, JA Bank, B Batson, JA Butts, JC Chao, ... Networking, Storage and Analysis 9, 41, 2014 | 40 | 2014 |
| Model checking in-the-loop: Finding counterexamples by systematic simulation F Lerda, J Kapinski, H Maka, EM Clarke, BH Krogh 2008 American Control Conference, 2734-2740, 2008 | 35 | 2008 |
