Pankaj Chauhan

12 papers A* 2A 3B 3Misc 1Journal 2Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Enhanced diagnosis of broken rotor bar faults using discrete wavelet transform and convolutional neural network.
Eng. Appl. Artif. Intell.
Pankaj Chauhan, Kunal Dewangan, Ramnivas Kumar, Sachin Kumar Singh
2019 J jnl
Bagged support vector machines for emotion recognition from speech.
Knowl. Based Syst.
Anjali Bhavan, Pankaj Chauhan, Hitkul, Rajiv Ratn Shah
2019 A conf
High Coverage Concolic Equivalence Checking.
DATE
Pritam Roy, Sagar Chaki, Pankaj Chauhan
2016 B conf
Efficient uninterpreted function abstraction and refinement for word-level model checking.
FMCAD
Yen-Sheng Ho, Pankaj Chauhan, Pritam Roy, Alan Mishchenko, Robert K. Brayton
2013 A conf
A semi-canonical form for sequential AIGs.
DATE
Alan Mishchenko, Niklas Eén, Robert K. Brayton, Michael L. Case, Pankaj Chauhan, Nikhil Sharma
2009 A* conf
Non-cycle-accurate sequential equivalence checking.
DAC
Pankaj Chauhan, Deepak Goyal, Gagan Hasteer, Anmol Mathur, Nikhil Sharma
2004 A* conf
A SAT-based algorithm for reparameterization in symbolic simulation.
DAC
Pankaj Chauhan, Edmund M. Clarke, Daniel Kroening
2002 B conf
Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis.
FMCAD
Pankaj Chauhan, Edmund M. Clarke, James H. Kukula, Samir Sapra, Helmut Veith, Dong Wang
2001 A conf
Non-linear Quantification Scheduling in Image Computation.
ICCAD
Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Thomas R. Shiple, Helmut Veith, Dong Wang
2001 — conf
Using Combinatorial Optimization Methods for Quantification Scheduling.
CHARME
Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Helmut Veith, Dong Wang
2000 B conf
A Theory of Consistency for Modular Synchronous Systems.
FMCAD
Randal E. Bryant, Pankaj Chauhan, Edmund M. Clarke, Amit Goel
1999 Misc conf
Exploiting Isomorphism for Compaction and Faster Simulation of Binary Decision Diagrams.
VLSI Design
Pankaj Chauhan, Pallab Dasgupta, P. P. Chakrabarti