Michael Theobald

	2008
23		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		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
21		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)
	2007
20		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
	2006
19		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		Orna Grumberg, Flavio Lerda, Ofer Strichman, Michael Theobald: Proof-guided underapproximation-widening for multi-process systems. POPL 2005: 122-131
	2004
17		Montek Singh, Michael Theobald: Generalized Latency-Insensitive Systems for Single-Clock and Multi-Clock Architectures. DATE 2004: 1008-1013
	2003
16		Samir Sapra, Michael Theobald, Edmund M. Clarke: SAT-Based Algorithms for Logic Minimization. ICCD 2003: 510-
15		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		Flavio Lerda, Nishant Sinha, Michael Theobald: Symbolic Model Checking of Software. Electr. Notes Theor. Comput. Sci. 89(3): 480-498 (2003)
13		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		Michael Theobald, Steven M. Nowick: Transformations for the Synthesis and Optimization of Asynchronous Distributed Control. DAC 2001: 263-268
	2000
11		Fu-Chiung Cheng, Stephen H. Unger, Michael Theobald: Self-Timed Carry-Lookahead Adders. IEEE Trans. Computers 49(7): 659-672 (2000)
	1998
10		Michael Theobald, Steven M. Nowick: An Implicit Method for Hazard-Free Two-Level Logic Minimization. ASYNC 1998: 58-69
9		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		Steven M. Nowick, Michael Theobald: Synthesis of low-power asynchronous circuits in a specified environment. ISLPED 1997: 92-95
7		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		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		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		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	J. 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 (Sandeep Kumar 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

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page