Michael Theobald

J. P. Grossman, Jeffrey Kuskin, Joseph A. Bank, Michael Theobald, Ron O. Dror, Douglas J. Ierardi, Richard H. Larson, U. Ben Schafer, Brian Towles, Cliff Young, David E. Shaw: Hardware support for fine-grained event-driven computation in Anton 2. ASPLOS 2013: 549-560

David E. Shaw, Martin M. Deneroff, Ron O. Dror, Jeffrey Kuskin, Richard H. Larson, John K. Salmon, Cliff Young, Brannon Batson, Kevin J. Bowers, Jack C. Chao, Michael P. Eastwood, Joseph Gagliardo, J. P. Grossman, Richard C. Ho, Doug Ierardi, István Kolossváry, John L. Klepeis, Timothy Layman, Christine McLeavey, Mark A. Moraes, Rolf Mueller, Edward C. Priest, Yibing Shan, Jochen Spengler, Michael Theobald, Brian Towles, Stanley C. Wang: Anton, a special-purpose machine for molecular dynamics simulation. Commun. ACM 51(7): 91-97 (2008)

Richard C. Ho, Michael Theobald, Martin M. Deneroff, Ron O. Dror, Joseph Gagliardo, David E. Shaw: Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logic. DAC 2008: 268-271

J. P. Grossman, John K. Salmon, Richard C. Ho, Doug Ierardi, Brian Towles, Brannon Batson, Jochen Spengler, Stanley C. Wang, Rolf Mueller, Michael Theobald, Cliff Young, Joseph Gagliardo, Martin M. Deneroff, Ron O. Dror, David E. Shaw: Hierarchical simulation-based verification of Anton, a special-purpose parallel machine. ICCD 2008: 340-347

David E. Shaw, Martin M. Deneroff, Ron O. Dror, Jeffrey Kuskin, Richard H. Larson, John K. Salmon, Cliff Young, Brannon Batson, Kevin J. Bowers, Jack C. Chao, Michael P. Eastwood, Joseph Gagliardo, J. P. Grossman, Richard C. Ho, Doug Ierardi, István Kolossváry, John L. Klepeis, Timothy Layman, Christine McLeavey, Mark A. Moraes, Rolf Mueller, Edward C. Priest, Yibing Shan, Jochen Spengler, Michael Theobald, Brian Towles, Stanley C. Wang: Anton, a special-purpose machine for molecular dynamics simulation. ISCA 2007: 1-12

Sandeep K. Shukla, Michael Theobald: Special issue on formal methods for globally asynchronous and locally synchronous (GALS) systems. Formal Methods in System Design 28(2): 91-92 (2006)

Orna Grumberg, Flavio Lerda, Ofer Strichman, Michael Theobald: Proof-guided underapproximation-widening for multi-process systems. POPL 2005: 122-131

Montek Singh, Michael Theobald: Generalized Latency-Insensitive Systems for Single-Clock and Multi-Clock Architectures. DATE 2004: 1008-1013

Flavio Lerda, Nishant Sinha, Michael Theobald: Symbolic Model Checking of Software. Electr. Notes Theor. Comput. Sci. 89(3): 480-498 (2003)

Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Joël Ouaknine, Olaf Stursberg, Michael Theobald: Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems. Int. J. Found. Comput. Sci. 14(4): 583-604 (2003)

Samir Sapra, Michael Theobald, Edmund M. Clarke: SAT-Based Algorithms for Logic Minimization. ICCD 2003: 510-

Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald: Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement. TACAS 2003: 192-207

Michael Theobald, Steven M. Nowick: Transformations for the Synthesis and Optimization of Asynchronous Distributed Control. DAC 2001: 263-268

Fu-Chiung Cheng, Stephen H. Unger, Michael Theobald: Self-Timed Carry-Lookahead Adders. IEEE Trans. Computers 49(7): 659-672 (2000)

Michael Theobald, Steven M. Nowick: Fast heuristic and exact algorithms for two-level hazard-free logic minimization. IEEE Trans. on CAD of Integrated Circuits and Systems 17(11): 1130-1147 (1998)

Michael Theobald, Steven M. Nowick: An Implicit Method for Hazard-Free Two-Level Logic Minimization. ASYNC 1998: 58-69

Bernd Becker, Rolf Drechsler, Michael Theobald: On the Expressive Power of OKFDDs. Formal Methods in System Design 11(1): 5-21 (1997)

Steven M. Nowick, Michael Theobald: Synthesis of low-power asynchronous circuits in a specified environment. ISLPED 1997: 92-95

Fu-Chiung Cheng, Stephen H. Unger, Michael Theobald, Wen-Chung Cho: Delay-Insensitive Carry-Lookahead Adders. VLSI Design 1997: 322-328

Rolf Drechsler, Michael Theobald, Bernd Becker: Fast OFFD-Based Minimization of Fixed Polarity Reed-Muller Expressions. IEEE Trans. Computers 45(11): 1294-1299 (1996)

Michael Theobald, Steven M. Nowick, Tao Wu: Espresso-HF: A Heuristic Hazard-Free Minimizer for Two-Level Logic. DAC 1996: 71-76

Bernd Becker, Rolf Drechsler, Michael Theobald: OKFDDs versus OBDDs and OFDDs. ICALP 1995: 475-486

Rolf Drechsler, Andisheh Sarabi, Michael Theobald, Bernd Becker, Marek A. Perkowski: Efficient Representation and Manipulation of Switching Functions Based on Ordered Kronecker Functional Decision Diagrams. DAC 1994: 415-419

Rolf Drechsler, Bernd Becker, Michael Theobald: Fast OFDD based minimization of fixed polarity Reed-Muller expressions. EURO-DAC 1994: 2-7