| |
| 2007 | ||
|---|---|---|
| 5 | EE | Jaeha Kim, Kevin D. Jones, Mark A. Horowitz: Fast, Non-Monte-Carlo Estimation of Transient Performance Variation Due to Device Mismatch. DAC 2007: 440-443 |
| 4 | EE | Jaeha Kim, Kevin D. Jones, Mark A. Horowitz: Variable domain transformation for linear PAC analysis of mixed-signal systems. ICCAD 2007: 887-894 |
| 1992 | ||
| 3 | Kevin D. Jones: A Semantics for a Larch/Modula-3 Interface Language. Larch 1992: 142-158 | |
| 1987 | ||
| 2 | Kevin D. Jones: Support Environments for VDM. VDM Europe 1987: 110-117 | |
| 1 | Kevin D. Jones: A Formal Semantics for a DataFlow Machine - Using VDM. VDM Europe 1987: 331-355 | |
| 1 | Mark A. Horowitz | [4] [5] |
| 2 | Jaeha Kim | [4] [5] |