| |
| 2001 | ||
|---|---|---|
| 4 | EE | Jesse Whittemore, Joonyoung Kim, Karem A. Sakallah: SATIRE: A New Incremental Satisfiability Engine. DAC 2001: 542-545 |
| 2000 | ||
| 3 | EE | Joonyoung Kim, Jesse Whittemore, Karem A. Sakallah, João P. Marques Silva: On Applying Incremental Satisfiability to Delay Fault Testing. DATE 2000: 380-384 |
| 2 | EE | Joonyoung Kim, Jesse Whittemore, Karem A. Sakallah: On Solving Stack-Based Incremental Satisfiability Problems. ICCD 2000: 379-382 |
| 1998 | ||
| 1 | EE | V. Chandramouli, Jesse Whittemore, Karem A. Sakallah: AFTA: A Formal Delay Model for Functional Timing Analysis. DATE 1998: 350-355 |
| 1 | V. Chandramouli | [1] |
| 2 | Joonyoung Kim | [2] [3] [4] |
| 3 | Karem A. Sakallah | [1] [2] [3] [4] |
| 4 | João P. Marques Silva (João Marques-Silva) | [3] |