| 2014 | ASPDAC | Property Directed Reachability for QF_BV with mixed type atomic reasoning units. | Tobias Welp, Andreas Kuehlmann |
| 2014 | DATE | Property directed invariant refinement for program verification. | Tobias Welp, Andreas Kuehlmann |
| 2013 | DATE | QF BV model checking with property directed reachability. | Tobias Welp, Andreas Kuehlmann |
| 2012 | DAC | Generalized SAT-sweeping for post-mapping optimization. | Tobias Welp, Smita Krishnaswamy, Andreas Kuehlmann |
| 2012 | TAP | The Technology and Psychology of Testing Your Code as You Develop It. | Andreas Kuehlmann |
| 2011 | DAC | Are logic synthesis tools robust? | Alberto Puggelli, Tobias Welp, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli |
| 2011 | DATE | An approach for dynamic selection of synthesis transformations based on Markov Decision Processes. | Tobias Welp, Andreas Kuehlmann |
| 2010 | DAC | Does IC design have a future in the clouds? | Andreas Kuehlmann, Raul Camposano, James Colgan, John Chilton, Samuel George, Rean Griffith, Paul Leventis, Deepak Singh |
| 2009 | CAV | A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints. | Nathan Kitchen, Andreas Kuehlmann |
| 2009 | CAV | Generalizing DPLL to Richer Logics. | Kenneth L. McMillan, Andreas Kuehlmann, Mooly Sagiv |
| 2009 | DAC | EDA in flux: should I stay or should I go? | Eshel Haritan, Andreas Kuehlmann, Tina Jones, John Epperheimer, Jan M. Rabaey, Rahul Razdan, Naveen Gupta |
| 2009 | DAC | Guess, solder, measure, repeat: how do I get my mixed-signal chip right? | Geoffrey Ying, Andreas Kuehlmann, Kenneth S. Kundert, Georges G. E. Gielen, Eric Grimme, Martin O'Leary, Sandeep Tare, Warren Wong |
| 2009 | ICCAD | SAT-based protein design. | Noah Ollikainen, Ellen Sentovich, Carlos Coelho, Andreas Kuehlmann, Tanja Kortemme |
| 2008 | DAC | Verifying really complex systems: on earth and beyond. | Andreas Kuehlmann, Anjan Bose, David E. Corman, Rob A. Rutenbar, Robert M. Manning, Anna Newman |
| 2008 | DAC | Next generation wireless-multimedia devices: who is up for the challenge? | Juan C. Rey, Andreas Kuehlmann, Jan M. Rabaey, Cormac Conroy, Ted Vucurevich, Ikuya Kawasaki, Tuna B. Tarim |
| 2007 | DAC | On Resolution Proofs for Combinational Equivalence. | Satrajit Chatterjee, Alan Mishchenko, Robert K. Brayton, Andreas Kuehlmann |
| 2007 | ICCAD | Stimulus generation for constrained random simulation. | Nathan Kitchen, Andreas Kuehlmann |
| 2006 | DAC | SAT sweeping with local observability don't-cares. | Qi Zhu, Nathan Kitchen, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli |
| 2006 | DATE | Building a better Boolean matcher and symmetry detector. | Donald Chai, Andreas Kuehlmann |
| 2006 | VLSID | Integrated Design Flows - A Battered EDA Slogan or True Challenge for Tool Development and Algorithmic Research. | Andreas Kuehlmann |
| 2005 | ASPDAC | Logic optimization using rule-based randomized search. | Petra Frm, Elena Dubrova, Andreas Kuehlmann |
| 2005 | ICCD | Temporal Decomposition for Logic Optimization. | Nathan Kitchen, Andreas Kuehlmann |
| 2004 | DATE | Enhanced Diameter Bounding via Structural. | Jason Baumgartner, Andreas Kuehlmann |
| 2004 | FMCAD | Scalable Automated Verification via Expert-System Guided Transformations. | Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman, Andreas Kuehlmann |
| 2004 | ICCAD | Physical placement driven by sequential timing analysis. | Aaron P. Hurst, Philip Chong, Andreas Kuehlmann |
| 2004 | ICCAD | Dynamic transition relation simplification for bounded property checking. | Andreas Kuehlmann |
| 2004 | ICCD | Circuit-Based Preprocessing of ILP and Its Applications in Leakage Minimization and Power Estimation. | Donald Chai, Andreas Kuehlmann |
| 2003 | DAC | A fast pseudo-boolean constraint solver. | Donald Chai, Andreas Kuehlmann |
| 2003 | ICCAD | CAMA: A Multi-Valued Satisfiability Solver. | Cong Liu, Andreas Kuehlmann, Matthew W. Moskewicz |
| 2003 | ICCAD | Multi-Domain Clock Skew Scheduling. | Kaushik Ravindran, Andreas Kuehlmann, Ellen Sentovich |
| 2003 | ICCD | Structural Detection of Symmetries in Boolean Functions. | Guoqiang Wang, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli |
| 2002 | CAV | Property Checking via Structural Analysis. | Jason Baumgartner, Andreas Kuehlmann, Jacob A. Abraham |
| 2002 | TACAS | Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis. | HoonSang Jin, Andreas Kuehlmann, Fabio Somenzi |
| 2001 | CAV | Transformation-Based Verification Using Generalized Retiming. | Andreas Kuehlmann, Jason Baumgartner |
| 2001 | DAC | Circuit-based Boolean Reasoning. | Andreas Kuehlmann, Malay K. Ganai, Viresh Paruthi |
| 2001 | ICCAD | Min-Area Retiming on Dynamic Circuit Structures. | Jason Baumgartner, Andreas Kuehlmann |
| 2001 | ICCAD | Will Nanotechnology Change the Way We Design and Verify Systems? (Panel). | Andreas Kuehlmann, Robert W. Dutton, Paul D. Franzon, Seth Copen Goldstein, Philip Luekes, Eric Parker, Thomas N. Theis |
| 2001 | ICCAD | Sequential SPFDs. | Subarnarekha Sinha, Andreas Kuehlmann, Robert K. Brayton |
| 2001 | VLSID | Design Of Provably Correct Storage Arrays. | Rajiv V. Joshi, Wei Hwang, Andreas Kuehlmann |
| 2000 | ICCD | Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation. | Viresh Paruthi, Andreas Kuehlmann |
| 1999 | DAC | Enhancing Simulation with BDDs and ATPG. | Malay K. Ganai, Adnan Aziz, Andreas Kuehlmann |
| 1999 | ICCAD | Probabilistic state space search. | Andreas Kuehlmann, Kenneth L. McMillan, Robert K. Brayton |
| 1997 | DAC | Equivalence Checking Using Cuts and Heaps. | Andreas Kuehlmann, Florian Krohm |
| 1996 | ICCD | The use of random simulation in formal verification. | Florian Krohm, Andreas Kuehlmann, Arjen Mets |
| 1994 | DAC | Error Diagnosis for Transistor-Level Verification. | Andreas Kuehlmann, David Ihsin Cheng, Arvind Srinivasan, David P. LaPotin |
| 1994 | ICCD | Grammar-Based Optimization of Synthesis Scenarios. | Andreas Kuehlmann, Lukas P. P. P. van Ginneken |
| 1992 | DAC | Control Optimization in High-Level Synthesis Using Behavioral Don't Cares. | Reinaldo A. Bergamaschi, Donald A. Lobo, Andreas Kuehlmann |
| 1992 | ICCAD | Timing analysis in high-level synthesis. | Andreas Kuehlmann, Reinaldo A. Bergamaschi |
| 1992 | ICCD | High-Level State Machine Specification and Synthesis. | Andreas Kuehlmann, Reinaldo A. Bergamaschi |