Amit Goel

	2012
23		Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli: Ground interpolation for the theory of equality Logical Methods in Computer Science 8(1): (2012)
	2011
22		Jyoti, A. K. Sharma, Amit Goel: A Framework for Prefetching Relevant Web Pages using Predictive Prefetching Engine (PPE) CoRR abs/1109.6206: (2011)
	2010
21		Amit Goel, Heinz Schmidt, David R. Gilbert: Formal Models of Virtual Enterprise Architecture: Motivations and Approaches. PACIS 2010: 117
20		Amit Goel: The Philosophy of Software Architecture. IJWP 2(4): 28-39 (2010)
	2009
19		Amit Goel, Sava Krstic, Cesare Tinelli: Ground Interpolation for Combined Theories. CADE 2009: 183-198
18		Amit Goel, Heinz Schmidt, David Gilbert: Towards formalizing Virtual Enterprise Architecture. EDOCW 2009: 238-242
17		Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli: Ground Interpolation for the Theory of Equality. TACAS 2009: 413-427
	2008
16		Amit Goel, Sarma B. K. Vrudhula: Statistical waveform and current source based standard cell models for accurate timing analysis. DAC 2008: 227-230
15		Amit Goel, Sarma B. K. Vrudhula: Current source based standard cell model for accurate signal integrity and timing analysis. DATE 2008: 574-579
14		Amit 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
13		Sarvesh 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)
	2007
12		Sava Krstic, Amit Goel: Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL. FroCos 2007: 1-27
11		Amit Goel, Sarvesh Bhardwaj, Praveen Ghanta, Sarma B. K. Vrudhula: Computation of Joint Timing Yield of Sequential Networks Considering Process Variations. PATMOS 2007: 125-137
10		Sava Krstic, Amit Goel, Jim Grundy, Cesare Tinelli: Combined Satisfiability Modulo Parametric Theories. TACAS 2007: 602-617
	2004
9		Amit Goel, Randal E. Bryant: Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors. CAV 2004: 255-267
8		Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur: Revisiting Positive Equality. TACAS 2004: 1-15
	2003
7		Amit Goel, Gagan Hasteer, Randal E. Bryant: Symbolic representation with ordered function templates. DAC 2003: 431-435
6		Amit Goel, Randal E. Bryant: Set Manipulation with Boolean Functional Vectors for Symbolic Reachability Analysis. DATE 2003: 10816-10821
	2002
5		Jin Yang, Amit Goel: GSTE through a case study. ICCAD 2002: 534-541
	2000
4		Amit Goel, William R. Lee: Formal verification of an IBM CoreConnect processor local bus arbiter core. DAC 2000: 196-200
3		Randal E. Bryant, Pankaj Chauhan, Edmund M. Clarke, Amit Goel: A Theory of Consistency for Modular Synchronous Systems. FMCAD 2000: 486-504
	1999
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
1		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. Eng. Comput. (Lond.) 15(2): 198-210 (1999)

Coauthor Index

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

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page