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) |