Gitanjali Swamy
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
1994–1998
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1998 | VLSID | Efficient Verification and Synthesis using Design Commonalities. | Gitanjali Swamy, Stephen A. Edwards, Robert K. Brayton |
| 1997 | VLSID | Formal Verification of Digital Systems. | Gitanjali Swamy |
| 1996 | CAV | VIS: A System for Verification and Synthesis. | Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa |
| 1996 | FMCAD | VIS. | Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa |
| 1995 | ICCD | Incremental methods for FSM traversal. | Gitanjali Swamy, Robert K. Brayton, Vigyan Singhal |
| 1994 | ICCAD | Incremental formal design verification. | Gitanjali Swamy, Robert K. Brayton |
| 1994 | ICCD | Minimizing Interacting Finite State Machines: A Compositional Approach to Language to Containment. | Adnan Aziz, Vigyan Singhal, Gitanjali Swamy, Robert K. Brayton |