Amit Goel

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

17EEAlexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli: Ground Interpolation for the Theory of Equality. TACAS 2009: 413-427
16EEAmit Goel, Sarma B. K. Vrudhula: Statistical waveform and current source based standard cell models for accurate timing analysis. DAC 2008: 227-230
15EEAmit Goel, Sarma B. K. Vrudhula: Current source based standard cell model for accurate signal integrity and timing analysis. DATE 2008: 574-579
14EEAmit Goel, Sarma B. K. Vrudhula, Feroze Taraporevala, Praveen Ghanta: A Methodology for Characterization of Large Macro Cells and IP Blocks Considering Process Variations. ISQED 2008: 200-206
13EESarvesh Bhardwaj, Sarma B. K. Vrudhula, Amit Goel: A Unified Approach for Full Chip Statistical Timing and Leakage Analysis of Nanoscale Circuits Considering Intradie Process Variations. IEEE Trans. on CAD of Integrated Circuits and Systems 27(10): 1812-1825 (2008)
12EESava Krstic, Amit Goel: Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL. FroCos 2007: 1-27
11EEAmit Goel, Sarvesh Bhardwaj, Praveen Ghanta, Sarma B. K. Vrudhula: Computation of Joint Timing Yield of Sequential Networks Considering Process Variations. PATMOS 2007: 125-137
10EESava Krstic, Amit Goel, Jim Grundy, Cesare Tinelli: Combined Satisfiability Modulo Parametric Theories. TACAS 2007: 602-617
9EEAmit Goel, Randal E. Bryant: Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors. CAV 2004: 255-267
8EEShuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur: Revisiting Positive Equality. TACAS 2004: 1-15
7EEAmit Goel, Gagan Hasteer, Randal E. Bryant: Symbolic representation with ordered function templates. DAC 2003: 431-435
6EEAmit Goel, Randal E. Bryant: Set Manipulation with Boolean Functional Vectors for Symbolic Reachability Analysis. DATE 2003: 10816-10821
5EEJin Yang, Amit Goel: GSTE through a case study. ICCAD 2002: 534-541
4EEAmit Goel, William R. Lee: Formal verification of an IBM CoreConnect processor local bus arbiter core. DAC 2000: 196-200
3EERandal E. Bryant, Pankaj Chauhan, Edmund M. Clarke, Amit Goel: A Theory of Consistency for Modular Synchronous Systems. FMCAD 2000: 486-504
2 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. IEEE Visualization 1999: 425-428
1EEAmit 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. Eng. Comput. (Lond.) 15(2): 198-210 (1999)

Coauthor Index

1Chuck Baker [2]
2Sarvesh Bhardwaj [11] [13]
3Randal E. Bryant [3] [6] [7] [8] [9]
4Pankaj Chauhan [3]
5Edmund M. Clarke [3]
6Alexander Fuchs [17]
7Praveen Ghanta [11] [14]
8Bernard Grossman [2]
9Jim Grundy [10] [17]
10Raphael T. Haftka [2]
11Gagan Hasteer [7]
12Frederick A. Kamke [1]
13Sava Krstic [10] [12] [17]
14Shuvendu K. Lahiri [8]
15William R. Lee [4]
16William H. Mason [2]
17Constantinos Phanouriou [1]
18Calvin J. Ribbens [1]
19Clifford A. Shaffer [1] [2]
20Muralidhar Talupur [8]
21Feroze Taraporevala [14]
22Cesare Tinelli [10] [17]
23Sarma B. K. Vrudhula [11] [13] [14] [15] [16]
24Layne T. Watson [1] [2]
25Jin Yang [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)