Yogesh Mahajan

Publication Activity (10 Years)

Years Active: 2009-2020
Publications (10 Years): 4

Top Topics

Quantified Boolean Formulae

Transactional Data

Reasoning Tasks

Top Venues

Publications

Yogesh Mahajan, Shashank Obla, Mini K. Namboothiripad, Mandar J. Datar, Niraj N. Sharma, Sachin B. Patkar
FPGA-Based Acceleration of LU decomposition for Analog and RF Circuit Simulation. VLSI Design (2020)
Barzan Mozafari, Jags Ramnarayan, Sudhir Menon, Yogesh Mahajan, Soubhik Chakraborty, Hemant Bhanawat, Kishor Bachhav
SnappyData: A Unified Cluster for Streaming, Transactions and Interactice Analytics. CIDR (2017)
Jags Ramnarayan, Barzan Mozafari, Sumedh Wale, Sudhir Menon, Neeraj Kumar, Hemant Bhanawat, Soubhik Chakraborty, Yogesh Mahajan, Rishitesh Mishra, Kishor Bachhav
SnappyData: A Hybrid Transactional Analytical Store Built On Spark. SIGMOD Conference (2016)
Chirag Agarwal, Paul Hylander, Yogesh Mahajan, Jonathan Michelson, Vigyan Singhal
Compositional Reasoning Gotchas in Practice. FMCAD (2015)
Tamir Heyman, Dan Smith, Yogesh Mahajan, Lance Leong, Husam Abu-Haimed
Dominant Controllability Check Using QBF-Solver and Netlist Optimizer. SAT (2014)
Yogesh Mahajan, Parvatham Venkatachalam
Neural Network Based Cellular Automata Model for Dynamic Spatial Modeling in GIS. ICCSA (1) (2009)