Dinos Moundanos
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
1995–2000
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2000 | DAC | Analysis of composition complexity and how to obtain smaller canonical graphs. | Jawahar Jain, K. Mohanram, Dinos Moundanos, Ingo Wegener, Yuan Lu |
| 1998 | VTS | Using Verification Technology for Validation Coverage Analysis and Test Generation. | Dinos Moundanos, Jacob A. Abraham |
| 1996 | ICCD | Distributed Binary Decision Diagrams for Verification of Large Circuit. | Prakash Arunachalam, Craig M. Chase, Dinos Moundanos |
| 1996 | ITC | A Unified Framework for Design Validation and Manufacturing Test. | Dinos Moundanos, Jacob A. Abraham, Yatin Vasant Hoskote |
| 1995 | ICCD | Automatic extraction of the control flow machine and application to evaluating coverage of verification vectors. | Yatin Vasant Hoskote, Dinos Moundanos, Jacob A. Abraham |
| 1995 | VLSID | Efficient variable ordering and partial representation algorithm. | Jawahar Jain, Dinos Moundanos, James R. Bitner, Jacob A. Abraham, Donald S. Fussell, Don E. Ross |