The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Andreas Kuehlmann: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Petra Färm, Elena Dubrova, Andreas Kuehlmann
    Logic optimization using rule-based randomized search. [Citation Graph (0, 0)][DBLP]
    ASP-DAC, 2005, pp:998-1001 [Conf]
  2. Jason Baumgartner, Andreas Kuehlmann, Jacob A. Abraham
    Property Checking via Structural Analysis. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:151-165 [Conf]
  3. Andreas Kuehlmann, Jason Baumgartner
    Transformation-Based Verification Using Generalized Retiming. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:104-117 [Conf]
  4. Nina Amla, Xiaoqun Du, Andreas Kuehlmann, Robert P. Kurshan, Kenneth L. McMillan
    An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment. [Citation Graph (0, 0)][DBLP]
    CHARME, 2005, pp:254-268 [Conf]
  5. Reinaldo A. Bergamaschi, Donald Lobo, Andreas Kuehlmann
    Control Optimization in High-Level Synthesis Using Behavioral Don't Cares. [Citation Graph (0, 0)][DBLP]
    DAC, 1992, pp:657-661 [Conf]
  6. Donald Chai, Andreas Kuehlmann
    A fast pseudo-boolean constraint solver. [Citation Graph (0, 0)][DBLP]
    DAC, 2003, pp:830-835 [Conf]
  7. Malay K. Ganai, Adnan Aziz, Andreas Kuehlmann
    Enhancing Simulation with BDDs and ATPG. [Citation Graph (0, 0)][DBLP]
    DAC, 1999, pp:385-390 [Conf]
  8. Andreas Kuehlmann, David Ihsin Cheng, Arvind Srinivasan, David P. LaPotin
    Error Diagnosis for Transistor-Level Verification. [Citation Graph (0, 0)][DBLP]
    DAC, 1994, pp:218-224 [Conf]
  9. Andreas Kuehlmann, Malay K. Ganai, Viresh Paruthi
    Circuit-based Boolean Reasoning. [Citation Graph (0, 0)][DBLP]
    DAC, 2001, pp:232-237 [Conf]
  10. Andreas Kuehlmann, Florian Krohm
    Equivalence Checking Using Cuts and Heaps. [Citation Graph (0, 0)][DBLP]
    DAC, 1997, pp:263-268 [Conf]
  11. Qi Zhu, Nathan Kitchen, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli
    SAT sweeping with local observability don't-cares. [Citation Graph (0, 0)][DBLP]
    DAC, 2006, pp:229-234 [Conf]
  12. Jason Baumgartner, Andreas Kuehlmann
    Enhanced Diameter Bounding via Structural. [Citation Graph (0, 0)][DBLP]
    DATE, 2004, pp:36-41 [Conf]
  13. Donald Chai, Andreas Kuehlmann
    Building a better Boolean matcher and symmetry detector. [Citation Graph (0, 0)][DBLP]
    DATE, 2006, pp:1079-1084 [Conf]
  14. Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman, Andreas Kuehlmann
    Scalable Automated Verification via Expert-System Guided Transformations. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2004, pp:159-173 [Conf]
  15. Jason Baumgartner, Andreas Kuehlmann
    Min-Area Retiming on Dynamic Circuit Structures. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2001, pp:176-182 [Conf]
  16. Aaron P. Hurst, Philip Chong, Andreas Kuehlmann
    Physical placement driven by sequential timing analysis. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2004, pp:379-386 [Conf]
  17. Andreas Kuehlmann
    Dynamic transition relation simplification for bounded property checking. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2004, pp:50-57 [Conf]
  18. Andreas Kuehlmann, Reinaldo A. Bergamaschi
    Timing analysis in high-level synthesis. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1992, pp:349-354 [Conf]
  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). [Citation Graph (0, 0)][DBLP]
    ICCAD, 2001, pp:174- [Conf]
  20. Andreas Kuehlmann, Kenneth L. McMillan, Robert K. Brayton
    Probabilistic state space search. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1999, pp:574-579 [Conf]
  21. Cong Liu, Andreas Kuehlmann, Matthew W. Moskewicz
    CAMA: A Multi-Valued Satisfiability Solver. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2003, pp:326-333 [Conf]
  22. Kaushik Ravindran, Andreas Kuehlmann, Ellen Sentovich
    Multi-Domain Clock Skew Scheduling. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2003, pp:801-808 [Conf]
  23. Subarnarekha Sinha, Andreas Kuehlmann, Robert K. Brayton
    Sequential SPFDs. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2001, pp:84-90 [Conf]
  24. Donald Chai, Andreas Kuehlmann
    Circuit-Based Preprocessing of ILP and Its Applications in Leakage Minimization and Power Estimation. [Citation Graph (0, 0)][DBLP]
    ICCD, 2004, pp:387-392 [Conf]
  25. Nathan Kitchen, Andreas Kuehlmann
    Temporal Decomposition for Logic Optimization. [Citation Graph (0, 0)][DBLP]
    ICCD, 2005, pp:697-702 [Conf]
  26. Florian Krohm, Andreas Kuehlmann, Arjen Mets
    The use of random simulation in formal verification. [Citation Graph (0, 0)][DBLP]
    ICCD, 1996, pp:371-0 [Conf]
  27. Andreas Kuehlmann, Reinaldo A. Bergamaschi
    High-Level State Machine Specification and Synthesis. [Citation Graph (0, 0)][DBLP]
    ICCD, 1992, pp:536-539 [Conf]
  28. Andreas Kuehlmann, Lukas P. P. P. van Ginneken
    Grammar-Based Optimization of Synthesis Scenarios. [Citation Graph (0, 0)][DBLP]
    ICCD, 1994, pp:20-25 [Conf]
  29. Viresh Paruthi, Andreas Kuehlmann
    Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation. [Citation Graph (0, 0)][DBLP]
    ICCD, 2000, pp:459-464 [Conf]
  30. Guoqiang Wang, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli
    Structural Detection of Symmetries in Boolean Functions. [Citation Graph (0, 0)][DBLP]
    ICCD, 2003, pp:498-503 [Conf]
  31. René Krenz, Elena Dubrova, Andreas Kuehlmann
    Fast Algorithm for Computing Spectral Transforms of Boolean and Multiple-Valued Functions on Circuit Representation. [Citation Graph (0, 0)][DBLP]
    ISMVL, 2003, pp:334-0 [Conf]
  32. 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. [Citation Graph (0, 0)][DBLP]
    ISPD, 2005, pp:94-100 [Conf]
  33. Zile Wei, Donald Chai, A. Richard Newton, Andreas Kuehlmann
    Fast Boolean Matching with Don't Cares. [Citation Graph (0, 0)][DBLP]
    ISQED, 2006, pp:346-351 [Conf]
  34. René Krenz, Elena Dubrova, Andreas Kuehlmann
    Circuit-Based Evaluation of the Arithmetic Transform of Boolean Functions. [Citation Graph (0, 0)][DBLP]
    IWLS, 2002, pp:321-326 [Conf]
  35. HoonSang Jin, Andreas Kuehlmann, Fabio Somenzi
    Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:312-326 [Conf]
  36. Farhana Sheikh, Andreas Kuehlmann, Kurt Keutzer
    Minimum-power retiming for dual-supply CMOS circuits. [Citation Graph (0, 0)][DBLP]
    Timing Issues in the Specification and Synthesis of Digital Systems, 2002, pp:43-49 [Conf]
  37. Rajiv V. Joshi, Wei Hwang, Andreas Kuehlmann
    Design Of Provably Correct Storage Arrays. [Citation Graph (0, 0)][DBLP]
    VLSI Design, 2001, pp:196-0 [Conf]
  38. Andreas Kuehlmann
    Integrated Design Flows - A Battered EDA Slogan or True Challenge for Tool Development and Algorithmic Research. [Citation Graph (0, 0)][DBLP]
    VLSI Design, 2006, pp:41- [Conf]
  39. John Willis, Andreas Kuehlmann
    Design Automation TC Newsletter. [Citation Graph (0, 0)][DBLP]
    IEEE Design & Test of Computers, 2004, v:21, n:2, pp:166-0 [Journal]
  40. Sérgio Vale Aguiar Campos, Marcio Teixeira, Marius Minea, Andreas Kuehlmann, Edmund M. Clarke
    Model Checking Semi-Continuous Time Models Using BDDs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:23, n:2, pp:- [Journal]
  41. Donald Chai, Andreas Kuehlmann
    A fast pseudo-Boolean constraint solver. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 2005, v:24, n:3, pp:305-317 [Journal]
  42. Andreas Kuehlmann, Viresh Paruthi, Florian Krohm, Malay K. Ganai
    Robust Boolean reasoning for equivalence checking and functional property verification. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 2002, v:21, n:12, pp:1377-1394 [Journal]
  43. Satrajit Chatterjee, Alan Mishchenko, Robert K. Brayton, Andreas Kuehlmann
    On Resolution Proofs for Combinational Equivalence. [Citation Graph (0, 0)][DBLP]
    DAC, 2007, pp:600-605 [Conf]
  44. Reinaldo A. Bergamaschi, Andreas Kuehlmann
    A system for production use of high-level synthesis. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. VLSI Syst., 1993, v:1, n:3, pp:233-243 [Journal]

  45. A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints. [Citation Graph (, )][DBLP]


  46. Generalizing DPLL to Richer Logics. [Citation Graph (, )][DBLP]


  47. Verifying really complex systems: on earth and beyond. [Citation Graph (, )][DBLP]


  48. Next generation wireless-multimedia devices: who is up for the challenge? [Citation Graph (, )][DBLP]


  49. Guess, solder, measure, repeat: how do I get my mixed-signal chip right? [Citation Graph (, )][DBLP]


  50. EDA in flux: should I stay or should I go? [Citation Graph (, )][DBLP]


  51. Does IC design have a future in the clouds? [Citation Graph (, )][DBLP]


  52. Stimulus generation for constrained random simulation. [Citation Graph (, )][DBLP]


  53. SAT-based protein design. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002