| 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 | 918 | 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 | 607 | 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 | 365 | 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 | 281 | 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 | 251 | 2003 |
| Verification of hybrid systems based on counterexample-guided abstraction refinement E Clarke, A Fehnker, Z Han, B Krogh, O Stursberg, M Theobald TACAS 3, 192-207, 2003 | 153 | 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 | 125 | 1999 |
| 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 | 120 | 1996 |
| Self-timed carry-lookahead adders FC Cheng, SH Unger, M Theobald IEEE Transactions on Computers 49 (7), 659-672, 2000 | 119 | 2000 |
| 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 | 91 | 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 | 74 | 2004 |
| 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 | 73 | 2021 |
| 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 | 47 | 2013 |
| Delay-insensitive carry-lookahead adders FC Cheng, SH Unger, M Theobald, WC Cho Proceedings Tenth International Conference on VLSI Design, 322-328, 1997 | 47 | 1997 |
| SAT-based algorithms for logic minimization S Sapra, M Theobald, E Clarke Proceedings 21st International Conference on Computer Design, 510-517, 2003 | 46 | 2003 |
| Symbolic model checking of software F Lerda, N Sinha, M Theobald Electronic notes in theoretical computer science 89 (3), 480-498, 2003 | 42 | 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 | 39 | 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 | 39 | 1996 |
| Transformations for the synthesis and optimization of asynchronous distributed control M Theobald, SM Nowick Proceedings of the 38th annual Design Automation Conference, 263-268, 2001 | 35 | 2001 |
| OKFDDs versus OBDDs and OFDDs B Becker, R Drechsler, M Theobald Automata, Languages and Programming: 22nd International Colloquium, ICALP 95 …, 1995 | 33 | 1995 |
