Andreas Kuehlmann

	2009
55		Nathan Kitchen, Andreas Kuehlmann: A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints. CAV 2009: 446-461
54		Kenneth L. McMillan, Andreas Kuehlmann, Mooly Sagiv: Generalizing DPLL to Richer Logics. CAV 2009: 462-476
53		Geoffrey Ying, Andreas Kuehlmann, Kenneth S. Kundert, Georges G. E. Gielen, Eric Grimme, Martin O'Leary, Sandeep Tare, Warren Wong: Guess, solder, measure, repeat: how do I get my mixed-signal chip right? DAC 2009: 520-521
52		Eshel Haritan, Andreas Kuehlmann, Tina Jones, John Epperheimer, Jan M. Rabaey, Rahul Razdan, Naveen Gupta: EDA in flux: should I stay or should I go? DAC 2009: 91-92
	2008
51		Juan C. Rey, Andreas Kuehlmann, Jan M. Rabaey, Cormac Conroy, Ted Vucurevich, Ikuya Kawasaki, Tuna B. Tarim: Next generation wireless-multimedia devices: who is up for the challenge? DAC 2008: 353-354
50		Andreas Kuehlmann, Anjan Bose, David E. Corman, Rob A. Rutenbar, Robert M. Manning, Anna Newman: Verifying really complex systems: on earth and beyond. DAC 2008: 552-553
	2007
49		Satrajit Chatterjee, Alan Mishchenko, Robert K. Brayton, Andreas Kuehlmann: On Resolution Proofs for Combinational Equivalence. DAC 2007: 600-605
48		Nathan Kitchen, Andreas Kuehlmann: Stimulus generation for constrained random simulation. ICCAD 2007: 258-265
	2006
47		Qi Zhu, Nathan Kitchen, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli: SAT sweeping with local observability don't-cares. DAC 2006: 229-234
46		Donald Chai, Andreas Kuehlmann: Building a better Boolean matcher and symmetry detector. DATE 2006: 1079-1084
45		Zile Wei, Donald Chai, A. Richard Newton, Andreas Kuehlmann: Fast Boolean Matching with Don't Cares. ISQED 2006: 346-351
44		Andreas Kuehlmann: Integrated Design Flows - A Battered EDA Slogan or True Challenge for Tool Development and Algorithmic Research. VLSI Design 2006: 41
	2005
43		Petra Färm, Elena Dubrova, Andreas Kuehlmann: Logic optimization using rule-based randomized search. ASP-DAC 2005: 998-1001
42		Nina Amla, Xiaoqun Du, Andreas Kuehlmann, Robert P. Kurshan, Kenneth L. McMillan: An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment. CHARME 2005: 254-268
41		Nathan Kitchen, Andreas Kuehlmann: Temporal Decomposition for Logic Optimization. ICCD 2005: 697-702
40		Zhong Xiu, David A. Papa, Philip Chong, Christoph Albrecht, Andreas Kuehlmann, Rob A. Rutenbar, Igor L. Markov: Early research experience with OpenAccess gear: an open source development environment for physical design. ISPD 2005: 94-100
39		Donald Chai, Andreas Kuehlmann: A fast pseudo-Boolean constraint solver. IEEE Trans. on CAD of Integrated Circuits and Systems 24(3): 305-317 (2005)
	2004
38		Jason Baumgartner, Andreas Kuehlmann: Enhanced Diameter Bounding via Structural. DATE 2004: 36-41
37		Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman, Andreas Kuehlmann: Scalable Automated Verification via Expert-System Guided Transformations. FMCAD 2004: 159-173
36		Aaron P. Hurst, Philip Chong, Andreas Kuehlmann: Physical placement driven by sequential timing analysis. ICCAD 2004: 379-386
35		Andreas Kuehlmann: Dynamic transition relation simplification for bounded property checking. ICCAD 2004: 50-57
34		Donald Chai, Andreas Kuehlmann: Circuit-Based Preprocessing of ILP and Its Applications in Leakage Minimization and Power Estimation. ICCD 2004: 387-392
33		John Willis, Andreas Kuehlmann: Design Automation TC Newsletter. IEEE Design & Test of Computers 21(2): 166- (2004)
	2003
32		Donald Chai, Andreas Kuehlmann: A fast pseudo-boolean constraint solver. DAC 2003: 830-835
31		Cong Liu, Andreas Kuehlmann, Matthew W. Moskewicz: CAMA: A Multi-Valued Satisfiability Solver. ICCAD 2003: 326-333
30		Kaushik Ravindran, Andreas Kuehlmann, Ellen Sentovich: Multi-Domain Clock Skew Scheduling. ICCAD 2003: 801-808
29		Guoqiang Wang, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli: Structural Detection of Symmetries in Boolean Functions. ICCD 2003: 498-503
28		René Krenz, Elena Dubrova, Andreas Kuehlmann: Fast Algorithm for Computing Spectral Transforms of Boolean and Multiple-Valued Functions on Circuit Representation. ISMVL 2003: 334-
	2002
27		Lawrence T. Pileggi, Andreas Kuehlmann: Proceedings of the 2002 IEEE/ACM International Conference on Computer-aided Design, 2002, San Jose, California, USA, November 10-14, 2002 ACM 2002
26		Jason Baumgartner, Andreas Kuehlmann, Jacob A. Abraham: Property Checking via Structural Analysis. CAV 2002: 151-165
25		René Krenz, Elena Dubrova, Andreas Kuehlmann: Circuit-Based Evaluation of the Arithmetic Transform of Boolean Functions. IWLS 2002: 321-326
24		HoonSang Jin, Andreas Kuehlmann, Fabio Somenzi: Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis. TACAS 2002: 312-326
23		Farhana Sheikh, Andreas Kuehlmann, Kurt Keutzer: Minimum-power retiming for dual-supply CMOS circuits. Timing Issues in the Specification and Synthesis of Digital Systems 2002: 43-49
22		Andreas Kuehlmann, Viresh Paruthi, Florian Krohm, Malay K. Ganai: Robust Boolean reasoning for equivalence checking and functional property verification. IEEE Trans. on CAD of Integrated Circuits and Systems 21(12): 1377-1394 (2002)
	2001
21		Andreas Kuehlmann, Jason Baumgartner: Transformation-Based Verification Using Generalized Retiming. CAV 2001: 104-117
20		Andreas Kuehlmann, Malay K. Ganai, Viresh Paruthi: Circuit-based Boolean Reasoning. DAC 2001: 232-237
19		Andreas Kuehlmann, Robert W. Dutton, Paul D. Franzon, Seth Copen Goldstein, Philip Luekes, Eric Parker, Thomas N. Theis: Will Nanotechnology Change the Way We Design and Verify Systems? (Panel). ICCAD 2001: 174
18		Jason Baumgartner, Andreas Kuehlmann: Min-Area Retiming on Dynamic Circuit Structures. ICCAD 2001: 176-182
17		Subarnarekha Sinha, Andreas Kuehlmann, Robert K. Brayton: Sequential SPFDs. ICCAD 2001: 84-90
16		Rajiv V. Joshi, Wei Hwang, Andreas Kuehlmann: Design Of Provably Correct Storage Arrays. VLSI Design 2001: 196-
15		Malay K. Ganai, Praveen Yalagandula, Adnan Aziz, Andreas Kuehlmann, Vigyan Singhal: SIVA: A System for Coverage-Directed State Space Search. J. Electronic Testing 17(1): 11-27 (2001)
	2000
14		Viresh Paruthi, Andreas Kuehlmann: Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation. ICCD 2000: 459-464
	1999
13		Malay K. Ganai, Adnan Aziz, Andreas Kuehlmann: Enhancing Simulation with BDDs and ATPG. DAC 1999: 385-390
12		Andreas Kuehlmann, Kenneth L. McMillan, Robert K. Brayton: Probabilistic state space search. ICCAD 1999: 574-579
11		Sérgio Vale Aguiar Campos, Marcio Teixeira, Marius Minea, Andreas Kuehlmann, Edmund M. Clarke: Model Checking Semi-Continuous Time Models Using BDDs. Electr. Notes Theor. Comput. Sci. 23(2): (1999)
	1997
10		Andreas Kuehlmann, Florian Krohm: Equivalence Checking Using Cuts and Heaps. DAC 1997: 263-268
	1996
9		Florian Krohm, Andreas Kuehlmann, Arjen Mets: The use of random simulation in formal verification. ICCD 1996: 371-
	1995
8		Reinaldo A. Bergamaschi, Richard A. O'Connor, Leon Stok, Michael Z. Moricz, Shiv Prakash, Andreas Kuehlmann, D. Sreenivasa Rao: High-level synthesis in an industrial environment. IBM Journal of Research and Development 39(1-2): 131-148 (1995)
7		Andreas Kuehlmann, Arvind Srinivasan, David P. LaPotin: Verity - A formal verification program for custom CMOS circuits. IBM Journal of Research and Development 39(1-2): 149-166 (1995)
	1994
6		Andreas Kuehlmann, David Ihsin Cheng, Arvind Srinivasan, David P. LaPotin: Error Diagnosis for Transistor-Level Verification. DAC 1994: 218-224
5		Andreas Kuehlmann, Lukas P. P. P. van Ginneken: Grammar-Based Optimization of Synthesis Scenarios. ICCD 1994: 20-25
	1993
4		Reinaldo A. Bergamaschi, Andreas Kuehlmann: A system for production use of high-level synthesis. IEEE Trans. VLSI Syst. 1(3): 233-243 (1993)
	1992
3		Reinaldo A. Bergamaschi, Donald Lobo, Andreas Kuehlmann: Control Optimization in High-Level Synthesis Using Behavioral Don't Cares. DAC 1992: 657-661
2		Andreas Kuehlmann, Reinaldo A. Bergamaschi: Timing analysis in high-level synthesis. ICCAD 1992: 349-354
1		Andreas Kuehlmann, Reinaldo A. Bergamaschi: High-Level State Machine Specification and Synthesis. ICCD 1992: 536-539

Coauthor Index

1	Jacob A. Abraham	[26]
2	Christoph Albrecht	[40]
3	Nina Amla	[42]
4	Adnan Aziz	[13] [15]
5	Jason Baumgartner	[18] [21] [26] [37] [38]
6	Reinaldo A. Bergamaschi	[1] [2] [3] [4] [8]
7	Anjan Bose	[50]
8	Robert K. Brayton	[12] [17] [49]
9	Sérgio Vale Aguiar Campos	[11]
10	Donald Chai	[32] [34] [39] [45] [46]
11	Satrajit Chatterjee	[49]
12	David Ihsin Cheng	[6]
13	Philip Chong	[36] [40]
14	Edmund M. Clarke	[11]
15	Cormac Conroy	[51]
16	David E. Corman	[50]
17	Xiaoqun Du	[42]
18	Elena Dubrova	[25] [28] [43]
19	Robert W. Dutton	[19]
20	John Epperheimer	[52]
21	Petra Färm	[43]
22	Paul D. Franzon	[19]
23	Malay K. Ganai	[13] [15] [20] [22]
24	Georges G. E. Gielen	[53]
25	Lukas P. P. P. van Ginneken	[5]
26	Seth Copen Goldstein	[19]
27	Eric Grimme	[53]
28	Naveen Gupta	[52]
29	Eshel Haritan	[52]
30	Aaron P. Hurst	[36]
31	Wei Hwang	[16]
32	HoonSang Jin	[24]
33	Tina Jones	[52]
34	Rajiv V. Joshi	[16]
35	Robert Kanzelman	[37]
36	Ikuya Kawasaki	[51]
37	Kurt Keutzer	[23]
38	Nathan Kitchen	[41] [47] [48] [55]
39	René Krenz	[25] [28]
40	Florian Krohm	[9] [10] [22]
41	Kenneth S. Kundert	[53]
42	Robert P. Kurshan	[42]
43	David P. LaPotin	[6] [7]
44	Cong Liu	[31]
45	Donald Lobo	[3]
46	Philip Luekes	[19]
47	Robert M. Manning	[50]
48	Igor L. Markov	[40]
49	Kenneth L. McMillan	[12] [42] [54]
50	Arjen Mets	[9]
51	Marius Minea	[11]
52	Alan Mishchenko	[49]
53	Hari Mony	[37]
54	Michael Z. Moricz	[8]
55	Matthew W. Moskewicz	[31]
56	Anna Newman	[50]
57	A. Richard Newton	[45]
58	Richard A. O'Connor	[8]
59	Martin O'Leary	[53]
60	David A. Papa	[40]
61	Eric Parker	[19]
62	Viresh Paruthi	[14] [20] [22] [37]
63	Lawrence T. Pileggi (Larry T. Pileggi, Lawrence T. Pillage)	[27]
64	Shiv Prakash	[8]
65	Jan M. Rabaey	[51] [52]
66	D. Sreenivasa Rao	[8]
67	Kaushik Ravindran	[30]
68	Rahul Razdan	[52]
69	Juan C. Rey	[51]
70	Rob A. Rutenbar	[40] [50]
71	Shmuel Sagiv (Mooly Sagiv)	[54]
72	Alberto L. Sangiovanni-Vincentelli	[29] [47]
73	Ellen Sentovich (Ellen M. Sentovich)	[30]
74	Farhana Sheikh	[23]
75	Vigyan Singhal	[15]
76	Subarnarekha Sinha	[17]
77	Fabio Somenzi	[24]
78	Arvind Srinivasan	[6] [7]
79	Leon Stok	[8]
80	Sandeep Tare	[53]
81	Tuna B. Tarim	[51]
82	Marcio Teixeira	[11]
83	Thomas N. Theis	[19]
84	Ted Vucurevich	[51]
85	Guoqiang Wang	[29]
86	Zile Wei	[45]
87	John Willis	[33]
88	Warren Wong	[53]
89	Zhong Xiu	[40]
90	Praveen Yalagandula	[15]
91	Geoffrey Ying	[53]
92	Qi Zhu	[47]

Colors in the list of coauthors