Ashish Tiwari - Concepedia

Author

Ashish Tiwari

Also Known As

A. K. TIWARI, A. Tiwari, ASHISH TIWARI, Anand M. Vijh, Ashish Tiwari, Ashish. Tiwari, Dr. Ashish Tiwari, Prof. Ashish Tiwari, Tiwari, Ashish

329

Publications

7.9K

Citations

H-Index

179

Concepts

All Affiliations

SRI International Menlo School Microsoft (United States)University of California, Berkeley University of Iowa

About

Ashish Tiwari is an author at SRI International specializing in engineering, computer science, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	31	47	3.4K
2	Business	10	10	770
3	Language Studies	8	8	336
4	Management	6	6	470
5	Education	2	2	158

Ashish Tiwari

Publications

4.7K

Citations

H-Index

Page 1

	Year	Citations
Oracle-guided component-based program synthesis Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Program CheckingEngineeringOracle-guided LearningVerificationLoop-free Programs	2010	471
A greedy genetic algorithm for the quadratic assignment problem Ravindra K. Ahuja, James B. Orlin, Ashish Tiwari Computers & Operations Research Mathematical ProgrammingEngineeringCombinatorial ProblemGenetic AlgorithmComputer Science	2000	368
Does Stock Return Momentum Explain the “Smart Money” Effect? Travis Sapp, Ashish Tiwari The Journal of Finance EconomicsFinancial EconomicsStock PricesAsset PricingFund Management	2004	314
Synthesis of loop-free programs Sumit Gulwani, Susmit Jha, Ashish Tiwari, ACM SIGPLAN Notices Library ComponentsEngineeringCompiler TechnologyLoop-free ProgramsComputer Architecture	2011	241
Quote setting and price formation in an order driven market Puneet Handa, Robert A. Schwartz, Ashish Tiwari Journal of Financial Markets EconomicsFinancial EconomicsDynamic PricingPricing PolicyMarket Mechanism	2002	214
Synthesis of loop-free programs Sumit Gulwani, Susmit Jha, Ashish Tiwari, Library ComponentsEngineeringCompiler TechnologyLoop-free ProgramsComputer Architecture	2011	195
Lifting abstract interpreters to quantified logical domains Sumit Gulwani, Bill McCloskey, Ashish Tiwari EngineeringLogical DomainsComputational ComplexityInterpreter (Computing)Quantified Abstract Domain	2008	146
Reverse Engineering Digital Circuits Using Structural and Functional Analyses Pramod Subramanyan, Nestan Tsiskaridze, Wenchao Li, IEEE Transactions on Emerging Topics in Computing Hardware Trojans/malwareHardware TrojanEngineeringHardware Verification LanguageInformation Security	2014	136
Abstractions for hybrid systems Ashish Tiwari Formal Methods in System Design EngineeringAutomated ReasoningAutomationFormal MethodsAbstraction (Computer Science)	2007	113
Performance optimisation of deep learning models using majority voting algorithm for brain tumour classification Gopal S. Tandel, Ashish Tiwari, O. G. Kakde Computers in Biology and Medicine Neuro-oncologyConvolutional Neural NetworkEngineeringMachine LearningBrain Tumour	2021	104

Page 1