Pankaj Chauhan

Publication Activity (10 Years)

Years Active: 1999-2019
Publications (10 Years): 3

Top Topics

Geometric Properties

Emotion Recognition

Top Venues

Knowl. Based Syst.

Publications

Pritam Roy, Sagar Chaki, Pankaj Chauhan
High Coverage Concolic Equivalence Checking. DATE (2019)
Anjali Bhavan, Pankaj Chauhan, Hitkul, Rajiv Ratn Shah
Bagged support vector machines for emotion recognition from speech. Knowl. Based Syst. 184 (2019)
Yen-Sheng Ho, Pankaj Chauhan, Pritam Roy, Alan Mishchenko, Robert K. Brayton
Efficient uninterpreted function abstraction and refinement for word-level model checking. FMCAD (2016)
Alan Mishchenko, Niklas Eén, Robert K. Brayton, Michael L. Case, Pankaj Chauhan, Nikhil Sharma
A semi-canonical form for sequential AIGs. DATE (2013)
Pankaj Chauhan, Deepak Goyal, Gagan Hasteer, Anmol Mathur, Nikhil Sharma
Non-cycle-accurate sequential equivalence checking. DAC (2009)
Pankaj Chauhan, Edmund M. Clarke, Daniel Kroening
A SAT-based algorithm for reparameterization in symbolic simulation. DAC (2004)
Pankaj Chauhan, Edmund M. Clarke, James H. Kukula, Samir Sapra, Helmut Veith, Dong Wang
Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis. FMCAD (2002)
Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Thomas R. Shiple, Helmut Veith, Dong Wang
Non-linear Quantification Scheduling in Image Computation. ICCAD (2001)
Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Helmut Veith, Dong Wang
Using Combinatorial Optimization Methods for Quantification Scheduling. CHARME (2001)
Randal E. Bryant, Pankaj Chauhan, Edmund M. Clarke, Amit Goel
A Theory of Consistency for Modular Synchronous Systems. FMCAD (2000)
Pankaj Chauhan, Pallab Dasgupta, P. P. Chakrabarti
Exploiting Isomorphism for Compaction and Faster Simulation of Binary Decision Diagrams. VLSI Design (1999)