Ajay J. Daga
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
1990–2002
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2002 | DAC | Automated timing model generation. | Ajay J. Daga, Loa Mize, Subramanyam Sripada, Chris Wolff, Qiuyang Wu |
| 1997 | DAC | Interface Timing Verification Drives System Design. | Ajay J. Daga, Peter Suaris |
| 1995 | ICCD | A symbolic-simulation approach to the timing verification of interacting FSMs. | Ajay J. Daga, William P. Birmingham |
| 1994 | DAC | The Minimization and Decomposition of Interface State Machines. | Ajay J. Daga, William P. Birmingham |
| 1990 | DAC | Failure Recovery in the MICON System. | Ajay J. Daga, William P. Birmingham |