The SCEAS System
Navigation Menu

Search the dblp DataBase


Anubhav Gupta: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Edmund M. Clarke, Anubhav Gupta, James H. Kukula, Ofer Strichman
    SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:265-279 [Conf]
  2. Anubhav Gupta, Ofer Strichman
    Abstraction Refinement for Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:112-124 [Conf]
  3. Poul Frederick Williams, Armin Biere, Edmund M. Clarke, Anubhav Gupta
    Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:124-138 [Conf]
  4. Aarti Gupta, Anubhav Gupta, Zijiang Yang, Pranav Ashar
    Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation. [Citation Graph (0, 0)][DBLP]
    DAC, 2001, pp:536-541 [Conf]
  5. Aarti Gupta, Zijiang Yang, Pranav Ashar, Anubhav Gupta
    SAT-Based Image Computation with Application in Reachability Analysis. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2000, pp:354-371 [Conf]
  6. Ram Suryanarayan, Anubhav Gupta, Travis N. Blalock
    A slew rate enhancement technique for operational amplifiers based on a tunable active Gm-based capacitance multiplication circuit. [Citation Graph (0, 0)][DBLP]
    ACM Great Lakes Symposium on VLSI, 2003, pp:273-276 [Conf]
  7. Anubhav Gupta, Edmund M. Clarke
    Reconsidering CEGAR: Learning Good Abstractions without Refinement. [Citation Graph (0, 0)][DBLP]
    ICCD, 2005, pp:591-598 [Conf]
  8. Pratheep A. Nair, Anubhav Gupta, Madhav P. Desai
    An On-Chip Coupling Capacitance Measurement Technique. [Citation Graph (0, 0)][DBLP]
    VLSI Design, 2001, pp:495-499 [Conf]
  9. Edmund M. Clarke, Anubhav Gupta, Ofer Strichman
    SAT-based counterexample-guided abstraction refinement. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 2004, v:23, n:7, pp:1113-1123 [Journal]
  10. Anubhav Gupta, Kenneth L. McMillan, Zhaohui Fu
    Automated Assumption Generation for Compositional Verification. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:420-432 [Conf]

  11. First steps towards SAT-based formal analog verification. [Citation Graph (, )][DBLP]

  12. Model Checking: Back and Forth between Hardware and Software. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002