Follow
Michael Theobald
Michael Theobald
Verified email at deshawresearch.com - Homepage
Title
Cited by
Cited by
Year
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
9632008
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
6932014
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
3662007
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
2901994
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
2552003
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
1582003
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
1421999
Self-timed carry-lookahead adders
FC Cheng, SH Unger, M Theobald
IEEE Transactions on Computers 49 (7), 659-672, 2000
1272000
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
1242021
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
1191996
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
912005
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
772004
SAT-based algorithms for logic minimization
S Sapra, M Theobald, E Clarke
Proceedings 21st International Conference on Computer Design, 510-517, 2003
502003
Delay-insensitive carry-lookahead adders
FC Cheng, SH Unger, M Theobald, WC Cho
Proceedings Tenth International Conference on VLSI Design, 322-328, 1997
491997
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
472013
Symbolic model checking of software
F Lerda, N Sinha, M Theobald
Electronic notes in theoretical computer science 89 (3), 480-498, 2003
432003
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
411998
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
391996
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
382014
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
342008
The system can't perform the operation now. Try again later.
Articles 1–20