Modeling hierarchical combinational circuits. - Jerry R. Burch; David L. Dill; Elizabeth Wolf; Giovanni De Micheli (ICCAD, 1993)

Verifying the Summit Bus Converter Protocols with Symbolic Model Checking. - Cheryl Harkness; Elizabeth Wolf (Formal Methods Syst. Des., 1994)

Hierarchical models of synchronous circuits for formal verification and substitution. - Elizabeth Wolf (1995)

Becoming a computer scientist. - Amy Pearl; Martha E. Pollack; Eve A. Riskin; Becky Thomas; Elizabeth Wolf; Alice Wu (ACM SIGCSE Bull., 2002)