| 2025 | Tencon | Scalable Face Recognition with Multiple Deep Learning Model Integration. | Pawan K. Ajmera, Ramakant Soni, Anmol Mathur, Jayesh Harlalka, Vipin Saraogi |
| 2022 | PIMRC | Deep-Learning Based Beam Selection Technique for 6G Millimeter Wave Communication. | Satya Kumar Vankayala, Swaraj Kumar, Thirumulanathan D, Anmol Mathur, Seungil Yoon, Issaac Kommineni |
| 2009 | DAC | Non-cycle-accurate sequential equivalence checking. | Pankaj Chauhan, Deepak Goyal, Gagan Hasteer, Anmol Mathur, Nikhil Sharma |
| 2009 | VLSID | Power Reduction Techniques and Flows at RTL and System Level. | Anmol Mathur, Qi Wang |
| 2007 | DAC | Design for Verification in System-level Models and RTL. | Anmol Mathur, Venkat Krishnaswamy |
| 2006 | VLSID | Sequential Equivalence Checking. | Anmol Mathur, Masahiro Fujita, M. Balakrishnan, Raj S. Mitra |
| 2005 | ICCAD | Embedded tutorial: formal equivalence checking between system-level models and RTL. | Alfred Klbl, Yuan Lu, Anmol Mathur |
| 2003 | VLSID | Graph Transformations for Improved Tree Height Reduction. | G. N. Mangalam, Sanjiv Narayan, Paul van Besouw, LaNae J. Avra, Anmol Mathur, Sanjeev Saluja |
| 2001 | DAC | Improved Merging of Datapath Operators using Information Content and Required Precision Analysis. | Anmol Mathur, Sanjeev Saluja |
| 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 | DATE | RATAN: A tool for rate analysis and rate constraint debugging for embedded systems. | Ali Dasdan, Anmol Mathur, Rajesh K. Gupta |
| 1996 | DATE | Timing Driven Placement Reconfiguration for Fault Tolerance and Yield Enhancement in FPGAs. | Anmol Mathur, C. L. Liu |
| 1995 | FPGA | Applications of Slack Neighborhood Graphs to Timing Driven Optimization Problems in FPGAs. | Anmol Mathur, Kuang-Chien Chen, C. L. Liu |
| 1995 | ICCAD | Re-engineering of timing constrained placements for regular architectures. | Anmol Mathur, Kuang-Chien Chen, C. L. Liu |
| 1994 | ICCAD | Compression-relaxation: a new approach to performance driven placement for regular architectures. | Anmol Mathur, C. L. Liu |