| 2002 |
|---|
| 4 | EE | Amy Pearl,
Martha E. Pollack,
Eve A. Riskin,
Becky Thomas,
Elizabeth Wolf,
Alice Wu:
Becoming a computer scientist.
SIGCSE Bulletin 34(2): 135-143 (2002) |
| 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) |
