| |
| 2008 | ||
|---|---|---|
| 2 | EE | Kuntal Nanshi, Fabio Somenzi: Improved Visibility in One-to-Many Trace Concretization. DATE 2008: 819-824 |
| 2006 | ||
| 1 | EE | Kuntal Nanshi, Fabio Somenzi: Guiding simulation with increasingly refined abstract traces. DAC 2006: 737-742 |
| 1 | Fabio Somenzi | [1] [2] |