Michael Theobald

2008
23	EE	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
22	EE	John 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
21	EE	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, John 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)
2007
20	EE	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, John 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
2006
19	EE	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)
2005
18	EE	Orna Grumberg, Flavio Lerda, Ofer Strichman, Michael Theobald: Proof-guided underapproximation-widening for multi-process systems. POPL 2005: 122-131
2004
17	EE	Montek Singh, Michael Theobald: Generalized Latency-Insensitive Systems for Single-Clock and Multi-Clock Architectures. DATE 2004: 1008-1013
2003
16	EE	Samir Sapra, Michael Theobald, Edmund M. Clarke: SAT-Based Algorithms for Logic Minimization. ICCD 2003: 510-
15	EE	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
14	EE	Flavio Lerda, Nishant Sinha, Michael Theobald: Symbolic Model Checking of Software. Electr. Notes Theor. Comput. Sci. 89(3): (2003)
13	EE	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)
2001
12	EE	Michael Theobald, Steven M. Nowick: Transformations for the Synthesis and Optimization of Asynchronous Distributed Control. DAC 2001: 263-268
2000
11	EE	Fu-Chiung Cheng, Stephen H. Unger, Michael Theobald: Self-Timed Carry-Lookahead Adders. IEEE Trans. Computers 49(7): 659-672 (2000)
1998
10	EE	Michael Theobald, Steven M. Nowick: An Implicit Method for Hazard-Free Two-Level Logic Minimization. ASYNC 1998: 58-69
9	EE	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)
1997
8	EE	Steven M. Nowick, Michael Theobald: Synthesis of low-power asynchronous circuits in a specified environment. ISLPED 1997: 92-95
7	EE	Fu-Chiung Cheng, Stephen H. Unger, Michael Theobald, Wen-Chung Cho: Delay-Insensitive Carry-Lookahead Adders. VLSI Design 1997: 322-328
6		Bernd Becker, Rolf Drechsler, Michael Theobald: On the Expressive Power of OKFDDs. Formal Methods in System Design 11(1): 5-21 (1997)
1996
5	EE	Michael Theobald, Steven M. Nowick, Tao Wu: Espresso-HF: A Heuristic Hazard-Free Minimizer for Two-Level Logic. DAC 1996: 71-76
4		Rolf Drechsler, Michael Theobald, Bernd Becker: Fast OFFD-Based Minimization of Fixed Polarity Reed-Muller Expressions. IEEE Trans. Computers 45(11): 1294-1299 (1996)
1995
3		Bernd Becker, Rolf Drechsler, Michael Theobald: OKFDDs versus OBDDs and OFDDs. ICALP 1995: 475-486
1994
2	EE	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
1	EE	Rolf Drechsler, Bernd Becker, Michael Theobald: Fast OFDD based minimization of fixed polarity Reed-Muller expressions. EURO-DAC 1994: 2-7

Coauthor Index

1	Brannon Batson	[20] [21] [22]
2	Bernd Becker	[1] [2] [3] [4] [6]
3	Kevin J. Bowers	[20] [21]
4	Jack C. Chao	[20] [21]
5	Fu-Chiung Cheng	[7] [11]
6	Wen-Chung Cho	[7]
7	Edmund M. Clarke	[13] [15] [16]
8	Martin M. Deneroff	[20] [21] [22] [23]
9	Rolf Drechsler	[1] [2] [3] [4] [6]
10	Ron O. Dror	[20] [21] [22] [23]
11	Michael P. Eastwood	[20] [21]
12	Ansgar Fehnker	[13] [15]
13	Joseph Gagliardo	[20] [21] [22] [23]
14	John P. Grossman	[20] [21] [22]
15	Orna Grumberg	[18]
16	Zhi Han	[13] [15]
17	Richard C. Ho	[20] [21] [22] [23]
18	Doug Ierardi	[20] [21] [22]
19	John L. Klepeis	[20] [21]
20	István Kolossváry	[20] [21]
21	Bruce H. Krogh	[13] [15]
22	Jeffrey Kuskin	[20] [21]
23	Richard H. Larson	[20] [21]
24	Timothy Layman	[20] [21]
25	Flavio Lerda	[14] [18]
26	Christine McLeavey	[20] [21]
27	Mark A. Moraes	[20] [21]
28	Rolf Mueller	[20] [21] [22]
29	Steven M. Nowick	[5] [8] [9] [10] [12]
30	Joël Ouaknine	[13]
31	Marek A. Perkowski	[2]
32	Edward C. Priest	[20] [21]
33	John K. Salmon	[20] [21] [22]
34	Samir Sapra	[16]
35	Andisheh Sarabi	[2]
36	Yibing Shan	[20] [21]
37	David E. Shaw	[20] [21] [22] [23]
38	Sandeep K. Shukla	[19]
39	Montek Singh	[17]
40	Nishant Sinha	[14]
41	Jochen Spengler	[20] [21] [22]
42	Ofer Strichman	[18]
43	Olaf Stursberg	[13] [15]
44	Brian Towles	[20] [21] [22]
45	Stephen H. Unger	[7] [11]
46	Stanley C. Wang	[20] [21] [22]
47	Tao Wu	[5]
48	Cliff Young	[20] [21] [22]

Colors in the list of coauthors