dblp.uni-trier.dewww.uni-trier.de

Michael Theobald Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
23EERichard 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
22EEJohn 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
21EEDavid 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
20EEDavid 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
19EESandeep 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
18EEOrna Grumberg, Flavio Lerda, Ofer Strichman, Michael Theobald: Proof-guided underapproximation-widening for multi-process systems. POPL 2005: 122-131
2004
17EEMontek Singh, Michael Theobald: Generalized Latency-Insensitive Systems for Single-Clock and Multi-Clock Architectures. DATE 2004: 1008-1013
2003
16EESamir Sapra, Michael Theobald, Edmund M. Clarke: SAT-Based Algorithms for Logic Minimization. ICCD 2003: 510-
15EEEdmund 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
14EEFlavio Lerda, Nishant Sinha, Michael Theobald: Symbolic Model Checking of Software. Electr. Notes Theor. Comput. Sci. 89(3): (2003)
13EEEdmund 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
12EEMichael Theobald, Steven M. Nowick: Transformations for the Synthesis and Optimization of Asynchronous Distributed Control. DAC 2001: 263-268
2000
11EEFu-Chiung Cheng, Stephen H. Unger, Michael Theobald: Self-Timed Carry-Lookahead Adders. IEEE Trans. Computers 49(7): 659-672 (2000)
1998
10EEMichael Theobald, Steven M. Nowick: An Implicit Method for Hazard-Free Two-Level Logic Minimization. ASYNC 1998: 58-69
9EEMichael 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
8EESteven M. Nowick, Michael Theobald: Synthesis of low-power asynchronous circuits in a specified environment. ISLPED 1997: 92-95
7EEFu-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
5EEMichael 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
3EEBernd Becker, Rolf Drechsler, Michael Theobald: OKFDDs versus OBDDs and OFDDs. ICALP 1995: 475-486
1994
2EERolf 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
1EERolf Drechsler, Bernd Becker, Michael Theobald: Fast OFDD based minimization of fixed polarity Reed-Muller expressions. EURO-DAC 1994: 2-7

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)