Amit Goel - RankMe

50 papers A* 7A 9B 7C 1Journal 13Unranked 12

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	AdaptiveSliders: User-aligned Semantic Slider-based Editing of Text-to-Image Model Output. CHI Rahul Jain, Amit Goel, Koichiro Niinuma, Aakar Gupta
2025	J	`jnl`	Efficient Charging and Data Collection in UAV-Aided Backscatter Sensor Networks. IEEE Trans. Green Commun. Netw. Amit Goel, Nancy Varshney, Swades De
2025	B	`conf`	Modeling the AWS Authorization Engine. FMCAD Lee A. Barnett, Loris D'Antoni, Amit Goel, Rami Gökhan Kici, Neha Rungta, Mary Southern, Chungha Sung
2025	J	`jnl`	Resource-Efficient Actuation in UAV-Aided Sensor-Actuator Networks. IEEE Commun. Lett. Amit Goel, Swades De, Carla-Fabiana Chiasserini, Claudio Ettore Casetti
2024	J	`jnl`	Automatically Reducing Privilege for Access Control Policies. Proc. ACM Program. Lang. Loris D'Antoni, Shuo Ding, Amit Goel, Mathangi Ramesh, Neha Rungta, Chungha Sung
2024	B	`conf`	Projective Model Counting for IP Addresses in Access Control Policies. FMCAD Loris D'Antoni, Andrew Gacek, Amit Goel, Dejan Jovanovic, Rami Gökhan Kici, Daniel Peebles, Neha Rungta, Yasmine Sharoda, Chungha Sung
2024	B	`conf`	Solving String Constraints with Concatenation Using SAT. FMCAD Kevin Lotz, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter, Soonho Kong, Dirk Nowotka
2023	—	`conf`	Backscatter Communication Based Sensor Data Collection Using LASER Powered UAV. ICC Amit Goel, Swades De
2023	—	`conf`	Solving String Constraints Using SAT. CAV (2) Kevin Lotz, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter, Soonho Kong, Rupak Majumdar, Dirk Nowotka
2021	J	`jnl`	Diversity aided millimeter-wave/free space optical cooperative relaying systems. Int. J. Commun. Syst. Amit Goel, Abhijeet Upadhya, Vivek Kumar Dwivedi
2018	J	`jnl`	ANN embedded data envelopment analysis approach for measuring the efficiency of state boards in India. Int. J. Syst. Assur. Eng. Manag. Natthan Singh, Millie Pant, Amit Goel
2018	J	`jnl`	FAR-Cubicle - A new reachability algorithm for Cubicle. CoRR Sylvain Conchon, Amit Goel, Sava Krstic, Rupak Majumdar, Mattias Roux
2017	B	`conf`	FAR-Cubicle - A new reachability algorithm for Cubicle. FMCAD Sylvain Conchon, Amit Goel, Sava Krstic, Rupak Majumdar, Mattias Roux
2015	—	`conf`	A research framework for exascale simulations of distributed virtual world environments on high performance computing (HPC) clusters. SpringSim (HPS) Amit Goel, William A. Rivera, J. Peter Kincaid, Waldemar Karwowski, Michele M. Montgomery, Neal Finkelstein
2015	—	`conf`	Calculating grid partitioning costs of distributed virtual world simulation systems. SpringSim (ANSS) William A. Rivera, Amit Goel, J. Peter Kincaid, Waldemar Karwowski
2015	J	`jnl`	Differential Modulation of Performance in Insight and Divergent Thinking Tasks with tDCS. J. Probl. Solving Vinod Goel, Iveta Eimontaite, Amit Goel, Igor Schindler
2015	—	`conf`	Towards visulations of astrophysical accretion disk on HPC clusters with AccretionSim. SummerSim Amit Goel, Oddny Brun, Michele M. Montgomery, J. Peter Kincaid
2014	C	`conf`	OUPS: A Combined Approach Using SMOTE and Propensity Score Matching. ICMLA William A. Rivera, Amit Goel, J. Peter Kincaid
2013	—	`ed.`	10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012 SMT@IJCAR Pascal Fontaine, Amit Goel
2013	A*	`conf`	Finite Model Finding in SMT. CAV Andrew Reynolds, Cesare Tinelli, Amit Goel, Sava Krstic
2013	B	`conf`	Invariants for finite instances and beyond. FMCAD Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zaïdi
2013	A	`conf`	Quantifier Instantiation Techniques for Finite Model Finding in SMT. CADE Andrew Reynolds, Cesare Tinelli, Amit Goel, Sava Krstic, Morgan Deters, Clark W. Barrett
2012	A*	`conf`	Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems - Tool Paper. CAV Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zaïdi
2012	J	`jnl`	Ground interpolation for the theory of equality Log. Methods Comput. Sci. Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli
2012	B	`conf`	Protocol Proof Checking Simplified with SMT. NCA Mark R. Tuttle, Amit Goel
2012	—	`conf`	SMT-Based System Verification with DVF. SMT@IJCAR Amit Goel, Sava Krstic, Rebekah Leslie, Mark R. Tuttle
2011	J	`jnl`	A Framework for Prefetching Relevant Web Pages using Predictive Prefetching Engine (PPE) CoRR Jyoti, A. K. Sharma, Amit Goel
2010	—	`conf`	Formal Models of Virtual Enterprise Architecture: Motivations and Approaches. PACIS Amit Goel, Heinz Schmidt, David R. Gilbert
2010	J	`jnl`	The Philosophy of Software Architecture. Int. J. Web Portals Amit Goel
2009	A	`conf`	Ground Interpolation for Combined Theories. CADE Amit Goel, Sava Krstic, Cesare Tinelli
2009	A	`conf`	Ground Interpolation for the Theory of Equality. TACAS Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli
2009	—	`conf`	Towards formalizing Virtual Enterprise Architecture. EDOCW Amit Goel, Heinz Schmidt, David R. Gilbert
2008	—	`conf`	A Methodology for Characterization of Large Macro Cells and IP Blocks Considering Process Variations. ISQED Amit Goel, Sarma B. K. Vrudhula, Feroze Taraporevala, Praveen Ghanta
2008	—	`conf`	A Novel Approach for Determining Next Page Access. ICETET Payal Gulati, A. K. Sharma, Amit Goel, Jyoti Pandey
2008	J	`jnl`	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. Sarvesh Bhardwaj, Sarma B. K. Vrudhula, Amit Goel
2008	A	`conf`	Current source based standard cell model for accurate signal integrity and timing analysis. DATE Amit Goel, Sarma B. K. Vrudhula
2008	A*	`conf`	Statistical waveform and current source based standard cell models for accurate timing analysis. DAC Amit Goel, Sarma B. K. Vrudhula
2007	—	`conf`	Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL. FroCoS Sava Krstic, Amit Goel
2007	A	`conf`	Combined Satisfiability Modulo Parametric Theories. TACAS Sava Krstic, Amit Goel, Jim Grundy, Cesare Tinelli
2007	—	`conf`	Computation of Joint Timing Yield of Sequential Networks Considering Process Variations. PATMOS Amit Goel, Sarvesh Bhardwaj, Praveen Ghanta, Sarma B. K. Vrudhula
2004	A	`conf`	Revisiting Positive Equality. TACAS Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur
2004	A*	`conf`	Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors. CAV Amit Goel, Randal E. Bryant
2003	A	`conf`	Set Manipulation with Boolean Functional Vectors for Symbolic Reachability Analysis. DATE Amit Goel, Randal E. Bryant
2003	A*	`conf`	Symbolic representation with ordered function templates. DAC Amit Goel, Gagan Hasteer, Randal E. Bryant
2002	A	`conf`	GSTE through a case study. ICCAD Jin Yang, Amit Goel
2001	J	`jnl`	VizCraft: a problem-solving environment for aircraft configuration design. Comput. Sci. Eng. Amit Goel, Chuck A. Baker, Clifford A. Shaffer, Bernard Grossman, William H. Mason, Layne T. Watson, Raphael T. Haftka
2000	B	`conf`	A Theory of Consistency for Modular Synchronous Systems. FMCAD Randal E. Bryant, Pankaj Chauhan, Edmund M. Clarke, Amit Goel
2000	A*	`conf`	Formal verification of an IBM CoreConnect processor local bus arbiter core. DAC Amit Goel, William R. Lee
1999	A	`conf`	VizCraft: A Multidimensional Visualization Tool for Aircraft Configuration Design. IEEE Visualization Amit Goel, Chuck Baker, Clifford A. Shaffer, Bernard Grossman, Raphael T. Haftka, William H. Mason, Layne T. Watson
1999	J	`jnl`	WBCSim: A Prototype Problem Solving Environment for Wood-Based Composites Simulations. Eng. Comput. Amit Goel, Constantinos Phanouriou, Frederick A. Kamke, Calvin J. Ribbens, Clifford A. Shaffer, Layne T. Watson