default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAmit Goel
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c32]Kevin Lotz
, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter, Soonho Kong, Rupak Majumdar, Dirk Nowotka:
Solving String Constraints Using SAT. CAV (2) 2023: 187-208- [c31]Amit Goel, Swades De:
Backscatter Communication Based Sensor Data Collection Using LASER Powered UAV. ICC 2023: 2896-2901 - 2021
- [j8]Amit Goel, Abhijeet Upadhya, Vivek Kumar Dwivedi:
Diversity aided millimeter-wave/free space optical cooperative relaying systems. Int. J. Commun. Syst. 34(4) (2021)
2010 – 2019
- 2018
- [j7]Natthan Singh, Millie Pant, Amit Goel:
ANN embedded data envelopment analysis approach for measuring the efficiency of state boards in India. Int. J. Syst. Assur. Eng. Manag. 9(5): 1092-1106 (2018) - [i2]Sylvain Conchon, Amit Goel, Sava Krstic, Rupak Majumdar, Mattias Roux:
FAR-Cubicle - A new reachability algorithm for Cubicle. CoRR abs/1811.08131 (2018) - 2017
- [c30]Sylvain Conchon, Amit Goel, Sava Krstic, Rupak Majumdar, Mattias Roux:
FAR-Cubicle - A new reachability algorithm for Cubicle. FMCAD 2017: 172-175 - 2015
- [j6]Vinod Goel, Iveta Eimontaite, Amit Goel, Igor Schindler:
Differential Modulation of Performance in Insight and Divergent Thinking Tasks with tDCS. J. Probl. Solving 8(1) (2015) - [c29]Amit Goel, William A. Rivera, J. Peter Kincaid, Waldemar Karwowski, Michele M. Montgomery, Neal Finkelstein:
A research framework for exascale simulations of distributed virtual world environments on high performance computing (HPC) clusters. SpringSim (HPS) 2015: 25-32 - [c28]William A. Rivera, Amit Goel, J. Peter Kincaid, Waldemar Karwowski:
Calculating grid partitioning costs of distributed virtual world simulation systems. SpringSim (ANSS) 2015: 25-32 - [c27]Amit Goel, Oddny Brun, Michele M. Montgomery, J. Peter Kincaid:
Towards visulations of astrophysical accretion disk on HPC clusters with AccretionSim. SummerSim 2015: 62:1-62:8 - 2014
- [c26]William A. Rivera, Amit Goel, J. Peter Kincaid:
OUPS: A Combined Approach Using SMOTE and Propensity Score Matching. ICMLA 2014: 424-427 - 2013
- [c25]Andrew Reynolds, Cesare Tinelli, Amit Goel, Sava Krstic, Morgan Deters, Clark W. Barrett:
Quantifier Instantiation Techniques for Finite Model Finding in SMT. CADE 2013: 377-391 - [c24]Andrew Reynolds, Cesare Tinelli, Amit Goel, Sava Krstic:
Finite Model Finding in SMT. CAV 2013: 640-655 - [c23]Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zaïdi:
Invariants for finite instances and beyond. FMCAD 2013: 61-68 - [e1]Pascal Fontaine, Amit Goel:
10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012. EPiC Series in Computing 20, EasyChair 2013 [contents] - 2012
- [j5]Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli:
Ground interpolation for the theory of equality. Log. Methods Comput. Sci. 8(1) (2012) - [c22]Amit Goel, Sava Krstic, Rebekah Leslie, Mark R. Tuttle:
SMT-Based System Verification with DVF. SMT@IJCAR 2012: 32-43 - [c21]Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zaïdi:
Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems - Tool Paper. CAV 2012: 718-724 - [c20]Mark R. Tuttle, Amit Goel:
Protocol Proof Checking Simplified with SMT. NCA 2012: 195-202 - 2011
- [i1]Jyoti, A. K. Sharma, Amit Goel:
A Framework for Prefetching Relevant Web Pages using Predictive Prefetching Engine (PPE). CoRR abs/1109.6206 (2011) - 2010
- [j4]Amit Goel:
The Philosophy of Software Architecture. Int. J. Web Portals 2(4): 28-39 (2010) - [c19]Amit Goel, Heinz Schmidt, David R. Gilbert:
Formal Models of Virtual Enterprise Architecture: Motivations and Approaches. PACIS 2010: 117
2000 – 2009
- 2009
- [c18]Amit Goel, Sava Krstic, Cesare Tinelli:
Ground Interpolation for Combined Theories. CADE 2009: 183-198 - [c17]Amit Goel, Heinz Schmidt, David R. Gilbert:
Towards formalizing Virtual Enterprise Architecture. EDOCW 2009: 238-242 - [c16]Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli:
Ground Interpolation for the Theory of Equality. TACAS 2009: 413-427 - 2008
- [j3]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. Comput. Aided Des. Integr. Circuits Syst. 27(10): 1812-1825 (2008) - [c15]Amit Goel, Sarma B. K. Vrudhula:
Statistical waveform and current source based standard cell models for accurate timing analysis. DAC 2008: 227-230 - [c14]Amit Goel, Sarma B. K. Vrudhula:
Current source based standard cell model for accurate signal integrity and timing analysis. DATE 2008: 574-579 - [c13]Payal Gulati, A. K. Sharma, Amit Goel, Jyoti Pandey:
A Novel Approach for Determining Next Page Access. ICETET 2008: 1109-1113 - [c12]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 - 2007
- [c11]Sava Krstic, Amit Goel:
Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL. FroCoS 2007: 1-27 - [c10]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 - [c9]Sava Krstic, Amit Goel, Jim Grundy, Cesare Tinelli:
Combined Satisfiability Modulo Parametric Theories. TACAS 2007: 602-617 - 2004
- [c8]Amit Goel, Randal E. Bryant:
Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors. CAV 2004: 255-267 - [c7]Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur:
Revisiting Positive Equality. TACAS 2004: 1-15 - 2003
- [c6]Amit Goel, Gagan Hasteer, Randal E. Bryant:
Symbolic representation with ordered function templates. DAC 2003: 431-435 - [c5]Amit Goel, Randal E. Bryant:
Set Manipulation with Boolean Functional Vectors for Symbolic Reachability Analysis. DATE 2003: 10816-10821 - 2002
- [c4]Jin Yang, Amit Goel:
GSTE through a case study. ICCAD 2002: 534-541 - 2001
- [j2]Amit Goel, Chuck A. Baker, Clifford A. Shaffer, Bernard Grossman, William H. Mason, Layne T. Watson, Raphael T. Haftka:
VizCraft: a problem-solving environment for aircraft configuration design. Comput. Sci. Eng. 3(1): 56-66 (2001) - 2000
- [c3]Amit Goel, William R. Lee:
Formal verification of an IBM CoreConnect processor local bus arbiter core. DAC 2000: 196-200 - [c2]Randal E. Bryant, Pankaj Chauhan, Edmund M. Clarke, Amit Goel:
A Theory of Consistency for Modular Synchronous Systems. FMCAD 2000: 486-504
1990 – 1999
- 1999
- [j1]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. 15(2): 198-210 (1999) - [c1]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
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
