Subramanian K. Iyer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2001–2005
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | ATVA | A New Reachability Algorithm for Symmetric Multi-processor Architecture. | Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill |
| 2005 | DAC | Multi-threaded reachability. | Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill, E. Allen Emerson |
| 2005 | FM | On Partitioning and Symbolic Model Checking. | Subramanian K. Iyer, Debashis Sahoo, E. Allen Emerson, Jawahar Jain |
| 2004 | FMCAD | A Partitioning Methodology for BDD-Based Verification. | Debashis Sahoo, Subramanian K. Iyer, Jawahar Jain, Christian Stangier, Amit Narayan, David L. Dill, E. Allen Emerson |
| 2001 | RTAS | The MacBeth Specification, Modeling and Programming Language. | Carlos Puchol, Subramanian K. Iyer |