Compositional Model Checking - Edmund M. Clarke; David E. Long; Kenneth L. McMillan (LICS, 1989)

Representing Circuits More Efficiently in Symbolic Model Checking. - Jerry R. Burch; Edmund M. Clarke; David E. Long (DAC, 1991)

Symbolic Model Checking with Partitioned Transistion Relations. - Jerry R. Burch; Edmund M. Clarke; David E. Long (VLSI, 1991)

A language for compositional specification and verification of finite state hardware controllers. - Edmund M. Clarke; David E. Long; Kenneth L. McMillan (Proc. IEEE, 1991)

Efficient Boolean function matching. - Jerry R. Burch; David E. Long (ICCAD, 1992)

PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses. - Soumitra Bose; Edmund M. Clarke; David E. Long; Spiro Michaylov (J. Autom. Reason., 1992)

Verification Tools for Finite-State Concurrent Systems. - Edmund M. Clarke; Orna Grumberg; David E. Long (REX School/Symposium, 1993)

Symbolic model checking for sequential circuit verification. - Jerry R. Burch; Edmund M. Clarke; David E. Long; Kenneth L. McMillan; David L. Dill (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1994)

Model Checking and Abstraction. - Edmund M. Clarke; Orna Grumberg; David E. Long (ACM Trans. Program. Lang. Syst., 1994)

Model Checking and Modular Verification. - Orna Grumberg; David E. Long (ACM Trans. Program. Lang. Syst., 1994)

Identifying sequentially untestable faults using illegal states. - David E. Long; Mahesh A. Iyer; Miron Abramovici (VTS, 1995)

Automatic verification of industrial designs. - Vicky Hartonas-Garmhausen; Thomas R. Kurfess; Edmund M. Clarke; David E. Long (WIFT, 1995)

Verification of the Futurebus+ Cache Coherence Protocol. - Edmund M. Clarke; Orna Grumberg; Hiromi Hiraishi; Somesh Jha; David E. Long; Kenneth L. McMillan; Linda A. Ness (Formal Methods Syst. Des., 1995)

Identifying Sequential Redundancies Without Search. - Mahesh A. Iyer; David E. Long; Miron Abramovici (DAC, 1996)

Surprises in Sequential Redundancy Identification. - Mahesh A. Iyer; David E. Long; Miron Abramovici (ED&TC, 1996)

Efficient time-domain simulation of frequency-dependent elements. - Sharad Kapur; David E. Long; Jaijeet S. Roychowdhury (ICCAD, 1996)

Model checking. - Edmund M. Clarke; Orna Grumberg; David E. Long (NATO ASI DPD, 1996)

Increasing testability by clock transformation (getting rid of those darn states). - Krishna B. Rajan; David E. Long; Miron Abramovici (VTS, 1996)

IES3: a fast integral equation solver for efficient 3-dimensional extraction. - Sharad Kapur; David E. Long (ICCAD, 1997)

An Improved Algorithm for the Evaluation of Fixpoint Expressions. - Anca Browne; Edmund M. Clarke; Somesh Jha; David E. Long; Wilfredo R. Marrero (Theor. Comput. Sci., 1997)

Efficient full-wave simulation in layered, lossy media. - Sharad Kapur; David E. Long; Jinsong Zhao (CICC, 1998)

Tools and Methodology for RF IC Design. - Al Dunlop; Alper Demir 001; Peter Feldmann; Sharad Kapur; David E. Long; Robert C. Melville; Jaijeet S. Roychowdhury (DAC, 1998)

Efficient Three-Dimensional Extraction Based on Static and Full-Wave Layered Green's Functions. - Jinsong Zhao; Wayne Wei-Ming Dai; Sharad Kapur; David E. Long (DAC, 1998)

High-order Nyström schemes for efficient 3-D capacitance extraction. - Sharad Kapur; David E. Long (ICCAD, 1998)

The design of a cache-friendly BDD library. - David E. Long (ICCAD, 1998)

Cyclostationary noise analysis of large RF circuits with multitone excitations. - Jaijeet Roychowdhury; David E. Long; Peter Feldmann (IEEE J. Solid State Circuits, 1998)

Efficient Techniques for Modeling Chip-Level Interconnect, Substrate and Package Parasitics. - Peter Feldmann; Sharad Kapur; David E. Long (DATE, 1999)

Symbolic Protocol Verification with Queue BDDs. - Patrice Godefroid; David E. Long (Formal Methods Syst. Des., 1999)

Large-scale capacitance calculation. - Sharad Kapur; David E. Long (DAC, 2000)

Computing Phase Noise Eigenfunctions Directly from Steady-State Jacobian Matrices. - Alper Demir 001; David E. Long; Jaijeet S. Roychowdhury (ICCAD, 2000)

FILL and FUNI: algorithms to identify illegal states and sequentially untestable faults. - David E. Long; Mahesh A. Iyer; Miron Abramovici (ACM Trans. Design Autom. Electr. Syst., 2000)

CAD for RF circuits. - Piet Wambacq; Gerd Vandersteen; Joel R. Phillips; Jaijeet S. Roychowdhury; Wolfgang Eberle; Baolin Yang; David E. Long; Alper Demir 001 (DATE, 2001)

Computing Phase Noise Eigenfunctions Directly from Harmonic Balance/Shooting Matrices. - Alper Demir 001; David E. Long; Jaijeet S. Roychowdhury (VLSI Design, 2001)

A signal integrity-driven buffer insertion technique for post-routing noise and delay optimization. - Kanad Chakraborty; David E. Long; John P. Fishburn; Kishore Singhal; Lun Ye; Christopher Ortiz (CICC, 2002)

An injection-locking scheme for precision quadrature generation. - Peter R. Kinget; Robert C. Melville; David E. Long; Venugopal Gopinathan (IEEE J. Solid State Circuits, 2002)

Large-scale full-wave simulation. - Sharad Kapur; David E. Long (DAC, 2004)

Synthesis of Optimal On-Chip Baluns. - Sharad Kapur; David E. Long; Robert C. Frye; Yu-Chia Chen; Ming-Hsiang Cho; Huai-Wen Chang; Jun-Hong Ou; Bigchoug Hung (CICC, 2007)

Modeling of integrated RF passive devices. - Sharad Kapur; David E. Long (CICC, 2010)