| 2007 | ||
|---|---|---|
| 2 | Jeff Lewis: Cryptol: specification, implementation and verification of high-grade cryptographic applications. FMSE 2007: 41 | |
| 1999 | ||
| 1 | Kurt Keutzer, Kurt Wolf, David Pietromonaco, Jay Maxey, Jeff Lewis, Martin Lefebvre, Jeff Burns: Panel: Cell Libraries - Build vs. Buy; Static vs. Dynamic. DAC 1999: 341-342 | |
| 1 | Jeff Burns | [1] |
| 2 | Kurt Keutzer | [1] |
| 3 | Martin Lefebvre | [1] |
| 4 | Jay Maxey | [1] |
| 5 | David Pietromonaco | [1] |
| 6 | Kurt Wolf | [1] |