Storing a Dynamic Sparse Table - Alfred V. Aho; David Lee 001 (FOCS, 1986)

Fast multiplication of a recursive block Toeplitz matrix by a vector and its application. - David Lee 001 (J. Complex., 1986)

Approximation of linear functionals on a banach space with a Gaussian measure. - David Lee 001; Grzegorz W. Wasilkowski (J. Complex., 1986)

A note on the trade-off between sampling and quantization in signal processing. - David Lee 001; Theodosios Pavlidis; Grzegorz W. Wasilkowski (J. Complex., 1987)

Algorithms for shape from shading and occluding boundaries. - David Lee 001 (CVPR, 1988)

Edge detection through residual analysis. - David Lee 001; Theo Pavlidis; Kai Huang (CVPR, 1988)

Computational Aspects Of Determining Optical Flow. - David Lee 001; Anargyros Papageorgiou; Grzegorz W. Wasilkowski (ICCV, 1988)

One-Dimensional Regularization with Discontinuities. - David Lee 001; Theodosios Pavlidis (IEEE Trans. Pattern Anal. Mach. Intell., 1988)

Edge detection, classification, and measurement. - David Lee 001 (CVPR, 1989)

Discontinuity detection from band-limited signals. - David Lee 001 (J. Complex., 1990)

Coping with Discontinuities in Computer Vision: Their Detection, Classification, and Measurement. - David Lee 001 (IEEE Trans. Pattern Anal. Mach. Intell., 1990)

Efficient Gateway Synthesis from Formal Specifications. - David M. Kristol; David Lee 001; Arun N. Netravali; Krishan K. Sabnani (SIGCOMM, 1991)

Testing Finite State Machines (Extended Abstract) - Mihalis Yannakakis; David Lee 001 (STOC, 1991)

Detection, Classification, and Measurement of Discontinuities. - David Lee 001 (SIAM J. Sci. Comput., 1991)

An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours. - Alfred V. Aho; Anton T. Dahbura; David Lee 001; M. Ümit Uyar (IEEE Trans. Commun., 1991)

Online Minimization of Transition Systems (Extended Abstract) - David Lee 001; Mihalis Yannakakis (STOC, 1992)

Reverse-engineering of communication protocols. - David Lee 001; Krishan K. Sabnani (ICNP, 1993)

Modulo-N incarnation numbers for cache-based transport protocols. - A. Udaya Shankar; David Lee 001 (ICNP, 1993)

Conformance Testing of Protocols Specified as Communicating FSMs. - David Lee 001; Krishan K. Sabnani; David M. Kristol; Sanjoy Paul; M. Ümit Uyar (INFOCOM, 1993)

Discontinuity Detection and Thresholding-A Stochastic Approach. - David Lee 001; Grzegorz W. Wasilkowski (J. Complex., 1993)

A new zero-crossing-based discontinuity detector. - David Lee 001; Grzegorz W. Wasilkowski; Rajiv Mehrotra (IEEE Trans. Image Process., 1993)

A polynomial algorithm for gateway generation from formal specifications. - David M. Kristol; David Lee 001; Arun N. Netravali; Krishan K. Sabnani (IEEE/ACM Trans. Netw., 1993)

Testing Finite-State Machines: State Identification and Verification. - David Lee 001; Mihalis Yannakakis (IEEE Trans. Computers, 1994)

Testing Finite State Machines: Fault Detection. - Mihalis Yannakakis; David Lee 001 (J. Comput. Syst. Sci., 1995)

Testing nonlinear operators. - David Lee 001; Henryk Wozniakowski (Numer. Algorithms, 1995)

Protocol pruning. - David Lee 001; Arun N. Netravali; Krishan K. Sabnani (Proc. IEEE, 1995)

Minimum-latency transport protocols with modulo-N incarnation numbers. - A. Udaya Shankar; David Lee 001 (IEEE/ACM Trans. Netw., 1995)

Protocol Specification Using Parameterized Communicating Extended Finite Stte Machines - A Case Study of The ATM ABR Rate Control Scheme. - David Lee 001; K. K. Ramakrishnan; W. Melody Moh; A. Udaya Shankar (ICNP, 1996)

Optimization problems from feature testing of communication protocols. - David Lee 001; Mihalis Yannakakis (ICNP, 1996)

Characteristic polynomial method for verification and test of combinational circuits. - Vishwani D. Agrawal; David Lee 001 (VLSI Design, 1996)

Principles and methods of testing finite state machines-a survey. - David Lee 001; Mihalis Yannakakis (Proc. IEEE, 1996)

Conformance testing of protocols specified as communicating finite state machines-a guided random walk based approach. - David Lee 001; Krishan K. Sabnani; David M. Kristol; Sanjoy Paul (IEEE Trans. Commun., 1996)

Passive testing and applications to network management. - David Lee 001; Arun N. Netravali; Krishan K. Sabnani; Binay Sugla; Ajita John (ICNP, 1997)

Performance and Correctness of the ATM ABR Rate Control Scheme. - David Lee 001; K. K. Ramakrishnan; W. Melody Moh; A. Udaya Shankar (INFOCOM, 1997)

An Efficient Algorithm for Minimizing Real-Time Transition Systems. - Mihalis Yannakakis; David Lee 001 (Formal Methods Syst. Des., 1997)

Testing for Finite State Systems. - Mihalis Yannakakis; David Lee 001 (CSL, 1998)

Protocol Feature Interactions. - Thomas F. La Porta; David Lee 001; Yow-Jian Lin; Mihalis Yannakakis (FORTE, 1998)

A Formal Specification of the ATM ABR Rate Control Scheme. - David Lee 001; K. K. Ramakrishnan; W. Melody Moh (Comput. Networks, 1998)

Numerical computation of characteristic polynomials of Boolean functions and its applications. - Vishwani D. Agrawal; David Lee 001; Henryk Wozniakowski (Numer. Algorithms, 1998)

Hit-or-Jump: An algorithm for embedded testing with applications to IN services. - Ana R. Cavalli; David Lee 001; Christian Rinderknecht; Fatiha Zaïdi (FORTE, 1999)

An Automatic and Optimized Test Generation Technique Applying to TCP/IP Protocol. - Cédric Besse; Ana R. Cavalli; David Lee 001 (ASE, 1999)

Testing IP Routing Protocols - From Probabilistic Algorithms to a Software Tool. - Ruibing Hao; David Lee 001; Rakesh K. Sinha; Dario Vlah (FORTE, 2000)

Hierarchical networks and the LSA N-squared problem in OSPF routing. - Alfred V. Aho; David Lee 001 (GLOBECOM, 2000)

Interoperability testing of VoIP systems. - Nancy D. Griffeth; Ruibing Hao; David Lee 001; Rakesh K. Sinha (GLOBECOM, 2000)

SOCRATES on IP router fault detection. - Ruibing Hao; David Lee 001; Rakesh K. Sinha (GLOBECOM, 2000)

Correctness and performance of the ATM ABR rate control scheme. - David Lee 001; K. K. Ramakrishnan; W. Melody Moh (Comput. Networks, 2001)

A Probabilistic Analysis of Linear Operator Testing. - David Lee 001; Henryk Wozniakowski (J. Complex., 2001)

Approximate evaluations of characteristic polynomials of Boolean functions. - David Lee 001; Henryk Wozniakowski (Theor. Comput. Sci., 2001)

Closed Partition Lattice and Machine Decomposition. - David Lee 001; Mihalis Yannakakis (IEEE Trans. Computers, 2002)

Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach. - Baptiste Alcalde; Ana R. Cavalli; Dongluo Chen; Davy Khuu; David Lee 001 (FORTE, 2004)

Fault management for networks with link state routing protocols. - Ruibing Hao; David Lee 001; Juntao Ma; Jiahai Yang (NOMS (1), 2004)

Protocol System Integration, Interface and Interoperability. - David Lee 001; Christine Liu; Mihalis Yannakakis (OPODIS, 2004)

Integrated system interoperability testing with applications to VoIP. - Ruibing Hao; David Lee 001; Rakesh K. Sinha; Nancy D. Griffeth (IEEE/ACM Trans. Netw., 2004)

Defending against Instant Messaging Worms. - Zhijun Liu; Guoqiang Shu; Na Li; David Lee 001 (GLOBECOM, 2006)

Network Protocol System Fingerprinting - A Formal Approach. - Guoqiang Shu; David Lee 001 (INFOCOM, 2006)

A note on broadcast encryption key management with applications to large scale emergency alert systems. - Guoqiang Shu; David Lee 001; Mihalis Yannakakis (IPDPS, 2006)

Message Confidentiality Testing of Security Protocols - Passive Monitoring and Active Checking. - Guoqiang Shu; David Lee 001 (TestCom, 2006)

Testing Security Properties of Protocol Implementations - a Machine Learning Based Approach. - Guoqiang Shu; David Lee 001 (ICDCS, 2007)

Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning. - Guoqiang Shu; Yating Hsu; David Lee 001 (FORTE, 2008)

A model-based approach to security flaw detection of network protocol implementations. - Yating Hsu; Guoqiang Shu; David Lee 001 (ICNP, 2008)

VCSTC: Virtual Cyber Security Testing Capability - An Application Oriented Paradigm for Network Infrastructure Protection. - Guoqiang Shu; Dongluo Chen; Zhijun Liu; Na Li; Lifeng Sang; David Lee 001 (TestCom/FATES, 2008)

Nemor: A congestion-aware protocol for anonymous peer-based content distribution. - Fang Yu; Vijay Gopalakrishnan; David Lee 001; K. K. Ramakrishnan (Peer-to-Peer Computing, 2011)

A Formal Methodology for Network Protocol Fingerprinting. - Guoqiang Shu; David Lee 001 (IEEE Trans. Parallel Distributed Syst., 2011)