David Lee

Testing nonlinear operators

Henryk Wozniakowski, David Lee, H. Wozniakowski, 1995, Numerical Algorithms.

Numerical computation of characteristic polynomials of Boolean functions and its applications

Henryk Wozniakowski, Vishwani D. Agrawal, David Lee, 1998, Numerical Algorithms.

Characteristic polynomial method for verification and test of combinational circuits

Vishwani D. Agrawal, David Lee, V. Agrawal, 1996, Proceedings of 9th International Conference on VLSI Design.

Testing linear operators

Henryk Woźniakowski, H. Wozniakowski, David Lee, 1995 .

A Probabilistic Analysis of Linear Operator Testing

Henryk Wozniakowski, David Lee, H. Wozniakowski, 2001, Journal of Complexity.