Pankaj Chauhan

According to our database1, Pankaj Chauhan authored at least 11 papers between 1999 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Bagged support vector machines for emotion recognition from speech.
Knowl. Based Syst., 2019

High Coverage Concolic Equivalence Checking.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2016
Efficient uninterpreted function abstraction and refinement for word-level model checking.
Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2013
A semi-canonical form for sequential AIGs.
Proceedings of the Design, Automation and Test in Europe, 2013

2009
Non-cycle-accurate sequential equivalence checking.
Proceedings of the 46th Design Automation Conference, 2009

2004
A SAT-based algorithm for reparameterization in symbolic simulation.
Proceedings of the 41th Design Automation Conference, 2004

2002
Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis.
Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002

2001
Non-linear Quantification Scheduling in Image Computation.
Proceedings of the 2001 IEEE/ACM International Conference on Computer-Aided Design, 2001

Using Combinatorial Optimization Methods for Quantification Scheduling.
Proceedings of the Correct Hardware Design and Verification Methods, 2001

2000
A Theory of Consistency for Modular Synchronous Systems.
Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000

1999
Exploiting Isomorphism for Compaction and Faster Simulation of Binary Decision Diagrams.
Proceedings of the 12th International Conference on VLSI Design (VLSI Design 1999), 1999


  Loading...