| |
| 2007 | ||
|---|---|---|
| 3 | EE | Nathan Kitchen, Andreas Kuehlmann: Stimulus generation for constrained random simulation. ICCAD 2007: 258-265 |
| 2006 | ||
| 2 | EE | Qi Zhu, Nathan Kitchen, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli: SAT sweeping with local observability don't-cares. DAC 2006: 229-234 |
| 2005 | ||
| 1 | EE | Nathan Kitchen, Andreas Kuehlmann: Temporal Decomposition for Logic Optimization. ICCD 2005: 697-702 |
| 1 | Andreas Kuehlmann | [1] [2] [3] |
| 2 | Alberto L. Sangiovanni-Vincentelli | [2] |
| 3 | Qi Zhu | [2] |