The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Amit Goel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Amit Goel, Randal E. Bryant
    Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:255-267 [Conf]
  2. Amit Goel, Gagan Hasteer, Randal E. Bryant
    Symbolic representation with ordered function templates. [Citation Graph (0, 0)][DBLP]
    DAC, 2003, pp:431-435 [Conf]
  3. Amit Goel, William R. Lee
    Formal verification of an IBM CoreConnect processor local bus arbiter core. [Citation Graph (0, 0)][DBLP]
    DAC, 2000, pp:196-200 [Conf]
  4. Amit Goel, Randal E. Bryant
    Set Manipulation with Boolean Functional Vectors for Symbolic Reachability Analysis. [Citation Graph (0, 0)][DBLP]
    DATE, 2003, pp:10816-10821 [Conf]
  5. Randal E. Bryant, Pankaj Chauhan, Edmund M. Clarke, Amit Goel
    A Theory of Consistency for Modular Synchronous Systems. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2000, pp:486-504 [Conf]
  6. Jin Yang, Amit Goel
    GSTE through a case study. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2002, pp:534-541 [Conf]
  7. Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur
    Revisiting Positive Equality. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:1-15 [Conf]
  8. Amit Goel, Chuck Baker, Clifford A. Shaffer, Bernard Grossman, Raphael T. Haftka, William H. Mason, Layne T. Watson
    VizCraft: A Multidimensional Visualization Tool for Aircraft Configuration Design. [Citation Graph (0, 0)][DBLP]
    IEEE Visualization, 1999, pp:425-428 [Conf]
  9. Amit Goel, Constantinos Phanouriou, Frederick A. Kamke, Calvin J. Ribbens, Clifford A. Shaffer, Layne T. Watson
    WBCSim: A Prototype Problem Solving Environment for Wood-Based Composites Simulations. [Citation Graph (0, 0)][DBLP]
    Eng. Comput. (Lond.), 1999, v:15, n:2, pp:198-210 [Journal]
  10. Sava Krstic, Amit Goel
    Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL. [Citation Graph (0, 0)][DBLP]
    FroCos, 2007, pp:1-27 [Conf]
  11. Amit Goel, Sarvesh Bhardwaj, Praveen Ghanta, Sarma B. K. Vrudhula
    Computation of Joint Timing Yield of Sequential Networks Considering Process Variations. [Citation Graph (0, 0)][DBLP]
    PATMOS, 2007, pp:125-137 [Conf]
  12. Sava Krstic, Amit Goel, Jim Grundy, Cesare Tinelli
    Combined Satisfiability Modulo Parametric Theories. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:602-617 [Conf]

  13. Ground Interpolation for Combined Theories. [Citation Graph (, )][DBLP]


  14. Statistical waveform and current source based standard cell models for accurate timing analysis. [Citation Graph (, )][DBLP]


  15. Current source based standard cell model for accurate signal integrity and timing analysis. [Citation Graph (, )][DBLP]


  16. A Methodology for Characterization of Large Macro Cells and IP Blocks Considering Process Variations. [Citation Graph (, )][DBLP]


  17. Ground Interpolation for the Theory of Equality. [Citation Graph (, )][DBLP]


Search in 0.591secs, Finished in 0.592secs
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