| 2009 | DAC | Non-cycle-accurate sequential equivalence checking. | Pankaj Chauhan, Deepak Goyal, Gagan Hasteer, Anmol Mathur, Nikhil Sharma |
| 2003 | DAC | Symbolic representation with ordered function templates. | Amit Goel, Gagan Hasteer, Randal E. Bryant |
| 1998 | DAC | An Implicit Algorithm for Finding Steady States and its Application to FSM Verification. | Gagan Hasteer, Anmol Mathur, Prithviraj Banerjee |
| 1998 | ICCAD | Efficient equivalence checking of multi-phase designs using retiming. | Gagan Hasteer, Anmol Mathur, Prithviraj Banerjee |
| 1997 | DAC | An Efficient Assertion Checker for Combinational Properties. | Gagan Hasteer, Anmol Mathur, Prithviraj Banerjee |
| 1997 | ICPP | Load Balancing and Workload Minimization Of Overlapping Parallel Tasks. | Venkatram Krishnaswamy, Gagan Hasteer, Prithviraj Banerjee |
| 1997 | ICS | Performance Evaluation of Message-Driven Parallel VLSI CAD Applications on General Purpose Multiprocessors. | John G. Holm, John A. Chandy, Steven Parkes, Sumit Roy, Venkatram Krishnaswamy, Gagan Hasteer, Prithviraj Banerjee |
| 1997 | VLSID | Simulated Annealing Based Parallel State Assignment of Finite State Machines. | Gagan Hasteer, Prithviraj Banerjee |
| 1996 | ICPP | A Parallel Algorithm for State Assignment of Finite State Machines. | Gagan Hasteer, Prithviraj Banerjee |