VizCraft: A Multidimensional Visualization Tool for Aircraft Configuration Design. - Amit Goel; Chuck Baker; Clifford A. Shaffer; Bernard Grossman; Raphael T. Haftka; William H. Mason; Layne T. Watson (IEEE Visualization, 1999)

WBCSim: A Prototype Problem Solving Environment for Wood-Based Composites Simulations. - Amit Goel; Constantinos Phanouriou; Frederick A. Kamke; Calvin J. Ribbens; Clifford A. Shaffer; Layne T. Watson (Eng. Comput., 1999)

Formal verification of an IBM CoreConnect processor local bus arbiter core. - Amit Goel; William R. Lee (DAC, 2000)

A Theory of Consistency for Modular Synchronous Systems. - Randal E. Bryant; Pankaj Chauhan; Edmund M. Clarke; Amit Goel (FMCAD, 2000)

VizCraft: a problem-solving environment for aircraft configuration design. - Amit Goel; Chuck A. Baker; Clifford A. Shaffer; Bernard Grossman; William H. Mason; Layne T. Watson; Raphael T. Haftka (Comput. Sci. Eng., 2001)

GSTE through a case study. - Jin Yang 006; Amit Goel (ICCAD, 2002)

Symbolic representation with ordered function templates. - Amit Goel; Gagan Hasteer; Randal E. Bryant (DAC, 2003)

Set Manipulation with Boolean Functional Vectors for Symbolic Reachability Analysis. - Amit Goel; Randal E. Bryant (DATE, 2003)

Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors. - Amit Goel; Randal E. Bryant (CAV, 2004)

Revisiting Positive Equality. - Shuvendu K. Lahiri; Randal E. Bryant; Amit Goel; Muralidhar Talupur (TACAS, 2004)

Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL. - Sava Krstic; Amit Goel (FroCoS, 2007)

Computation of Joint Timing Yield of Sequential Networks Considering Process Variations. - Amit Goel; Sarvesh Bhardwaj; Praveen Ghanta; Sarma B. K. Vrudhula (PATMOS, 2007)

Combined Satisfiability Modulo Parametric Theories. - Sava Krstic; Amit Goel; Jim Grundy; Cesare Tinelli (TACAS, 2007)

Statistical waveform and current source based standard cell models for accurate timing analysis. - Amit Goel; Sarma B. K. Vrudhula (DAC, 2008)

Current source based standard cell model for accurate signal integrity and timing analysis. - Amit Goel; Sarma B. K. Vrudhula (DATE, 2008)

A Novel Approach for Determining Next Page Access. - Payal Gulati; A. K. Sharma; Amit Goel; Jyoti Pandey 001 (ICETET, 2008)

A Methodology for Characterization of Large Macro Cells and IP Blocks Considering Process Variations. - Amit Goel; Sarma B. K. Vrudhula; Feroze Taraporevala; Praveen Ghanta (ISQED, 2008)

A Unified Approach for Full Chip Statistical Timing and Leakage Analysis of Nanoscale Circuits Considering Intradie Process Variations. - Sarvesh Bhardwaj; Sarma B. K. Vrudhula; Amit Goel (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)

Ground Interpolation for Combined Theories. - Amit Goel; Sava Krstic; Cesare Tinelli (CADE, 2009)

Towards formalizing Virtual Enterprise Architecture. - Amit Goel; Heinz Schmidt; David R. Gilbert (EDOCW, 2009)

Formal Models of Virtual Enterprise Architecture: Motivations and Approaches. - Amit Goel; Heinz Schmidt; David R. Gilbert (PACIS, 2010)

The Philosophy of Software Architecture. - Amit Goel (Int. J. Web Portals, 2010)

A Framework for Prefetching Relevant Web Pages using Predictive Prefetching Engine (PPE) - Jyoti 001; A. K. Sharma; Amit Goel (CoRR, 2011)

SMT-Based System Verification with DVF. - Amit Goel; Sava Krstic; Rebekah Leslie; Mark R. Tuttle (SMT@IJCAR, 2012)

Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems - Tool Paper. - Sylvain Conchon; Amit Goel; Sava Krstic; Alain Mebsout; Fatiha Zaïdi (CAV, 2012)

Protocol Proof Checking Simplified with SMT. - Mark R. Tuttle; Amit Goel (NCA, 2012)

Ground interpolation for the theory of equality - Alexander Fuchs 003; Amit Goel; Jim Grundy; Sava Krstic; Cesare Tinelli (Log. Methods Comput. Sci., 2012)

Quantifier Instantiation Techniques for Finite Model Finding in SMT. - Andrew Reynolds 001; Cesare Tinelli; Amit Goel; Sava Krstic; Morgan Deters; Clark W. Barrett (CADE, 2013)

Finite Model Finding in SMT. - Andrew Reynolds 001; Cesare Tinelli; Amit Goel; Sava Krstic (CAV, 2013)

Invariants for finite instances and beyond. - Sylvain Conchon; Amit Goel; Sava Krstic; Alain Mebsout; Fatiha Zaïdi (FMCAD, 2013)

OUPS: A Combined Approach Using SMOTE and Propensity Score Matching. - William A. Rivera; Amit Goel; J. Peter Kincaid (ICMLA, 2014)

A research framework for exascale simulations of distributed virtual world environments on high performance computing (HPC) clusters. - Amit Goel; William A. Rivera; J. Peter Kincaid; Waldemar Karwowski; Michele M. Montgomery; Neal Finkelstein (SpringSim (HPS), 2015)

Calculating grid partitioning costs of distributed virtual world simulation systems. - William A. Rivera; Amit Goel; J. Peter Kincaid; Waldemar Karwowski (SpringSim (ANSS), 2015)

Towards visulations of astrophysical accretion disk on HPC clusters with AccretionSim. - Amit Goel; Oddny Brun; Michele M. Montgomery; J. Peter Kincaid (SummerSim, 2015)

Differential Modulation of Performance in Insight and Divergent Thinking Tasks with tDCS. - Vinod Goel; Iveta Eimontaite; Amit Goel; Igor Schindler (J. Probl. Solving, 2015)

FAR-Cubicle - A new reachability algorithm for Cubicle. - Sylvain Conchon; Amit Goel; Sava Krstic; Rupak Majumdar; Mattias Roux (FMCAD, 2017)

ANN embedded data envelopment analysis approach for measuring the efficiency of state boards in India. - Natthan Singh; Millie Pant; Amit Goel (Int. J. Syst. Assur. Eng. Manag., 2018)

Diversity aided millimeter-wave/free space optical cooperative relaying systems. - Amit Goel; Abhijeet Upadhya; Vivek Kumar Dwivedi (Int. J. Commun. Syst., 2021)

Solving String Constraints Using SAT. - Kevin Lotz; Amit Goel; Bruno Dutertre; Benjamin Kiesl-Reiter; Soonho Kong; Rupak Majumdar; Dirk Nowotka (CAV (2), 2023)

Backscatter Communication Based Sensor Data Collection Using LASER Powered UAV. - Amit Goel; Swades De (ICC, 2023)

Projective Model Counting for IP Addresses in Access Control Policies. - Loris D'Antoni; Andrew Gacek; Amit Goel; Dejan Jovanovic; Rami Gökhan Kici; Daniel Peebles; Neha Rungta; Yasmine Sharoda; Chungha Sung (FMCAD, 2024)

Solving String Constraints with Concatenation Using SAT. - Kevin Lotz; Amit Goel; Bruno Dutertre; Benjamin Kiesl-Reiter; Soonho Kong; Dirk Nowotka (FMCAD, 2024)

Automatically Reducing Privilege for Access Control Policies. - Loris D'Antoni; Shuo Ding; Amit Goel; Mathangi Ramesh; Neha Rungta; Chungha Sung (Proc. ACM Program. Lang., 2024)

AdaptiveSliders: User-aligned Semantic Slider-based Editing of Text-to-Image Model Output. - Rahul Jain 018; Amit Goel; Koichiro Niinuma; Aakar Gupta (CHI, 2025)

Efficient Charging and Data Collection in UAV-Aided Backscatter Sensor Networks. - Amit Goel; Nancy Varshney; Swades De (IEEE Trans. Green Commun. Netw., 2025)