Ashish Tiwari
International Centre for Integrated Mountain Development(NP)Government of Uttar Pradesh(IN)
Publications by Year
Research Areas
Formal Methods in Verification, Financial Markets and Investment Strategies, Logic, programming, and type systems, Software Testing and Debugging Techniques, Software Engineering Research
Most-Cited Works
- → Oracle-guided component-based program synthesis(2010)472 cited
- → A Review on a Deep Learning Perspective in Brain Cancer Classification(2019)443 cited
- → A greedy genetic algorithm for the quadratic assignment problem(2000)368 cited
- → Does Stock Return Momentum Explain the “Smart Money” Effect?(2004)315 cited
- → Output Range Analysis for Deep Feedforward Neural Networks(2018)290 cited
- → Synthesis of loop-free programs(2011)241 cited
- → Quote setting and price formation in an order driven market