| 1997 | FCCM | Fault simulation on reconfigurable hardware. | Miron Abramovici, Prem R. Menon |
| 1994 | ICCAD | Multi-level logic optimization by implication analysis. | Wolfgang Kunz, Prem R. Menon |
| 1992 | VTS | Redundancy removal and simplification of combinational circuits. | Prem R. Menon, Hitesh Ahuja |
| 1989 | ICCD | System-level design verification in the AT&T Computer Division: tools. | Miron Abramovici, James J. Kulikowski, David T. Miller, Prem R. Menon |
| 1989 | ICCD | Identification of undetectable faults in combinational circuits. | Mohan Harihara, Prem R. Menon |
| 1988 | ICCAD | Critical path tracing in sequential circuits. | Prem R. Menon, Ytzhak H. Levendel, Miron Abramovici |
| 1983 | DAC | Critical path tracing - an alternative to fault simulation. | Miron Abramovici, Prem R. Menon, David T. Miller |
| 1982 | DAC | A logic simulation machine. | Miron Abramovici, Ytzhak H. Levendel, Prem R. Menon |
| 1982 | ISCA | A logic simulation machine. | Miron Abramovici, Ytzhak H. Levendel, Prem R. Menon |
| 1976 | DAC | Functional simulation in the lamp system. | Stephen G. Chappell, Prem R. Menon, John F. Pellegrin, A. M. Schowe |
| 1968 | FOCS | Structural Simplification and Decomposition of Asynchronous Sequential Circuits | Chung-Jen Tan, Prem R. Menon, Arthur D. Friedman |
| 1967 | FOCS | Synthesis of Asynchronous Sequential Circuits with Minimum Number of Delay Elements | Douglas B. Armstrong, Arthur D. Friedman, Prem R. Menon |