| |
| 1994 | ||
|---|---|---|
| 3 | Cheryl Harkness, Elizabeth Wolf: Verifying the Summit Bus Converter Protocols with Symbolic Model Checking. Formal Methods in System Design 4(2): 83-97 (1994) | |
| 1993 | ||
| 2 | EE | Jerry R. Burch, David L. Dill, Elizabeth Wolf, Giovanni De Micheli: Modeling hierarchical combinational circuits. ICCAD 1993: 612-617 |
| 1990 | ||
| 1 | Amy Pearl, Martha E. Pollack, Eve A. Riskin, Becky Thomas, Elizabeth Wolf, Alice Wu: Becoming A Computer Scientist. Commun. ACM 33(11): 47-57 (1990) | |
| 1 | Jerry R. Burch | [2] |
| 2 | David L. Dill | [2] |
| 3 | Cheryl Harkness | [3] |
| 4 | Giovanni De Micheli | [2] |
| 5 | Amy Pearl | [1] |
| 6 | Martha E. Pollack | [1] |
| 7 | Eve A. Riskin | [1] |
| 8 | Becky Thomas | [1] |
| 9 | Alice Wu | [1] |