David E. Long

	2004
35		Sharad Kapur, David E. Long: Large-scale full-wave simulation. DAC 2004: 806-809
	2001
34		Piet Wambacq, Gerd Vandersteen, Joel R. Phillips, Jaijeet S. Roychowdhury, Wolfgang Eberle, Baolin Yang, David E. Long, Alper Demir: CAD for RF circuits. DATE 2001: 520-529
33		Alper Demir, David E. Long, Jaijeet S. Roychowdhury: Computing Phase Noise Eigenfunctions Directly from Harmonic Balance/Shooting Matrices. VLSI Design 2001: 283-
	2000
32		Sharad Kapur, David E. Long: Large-scale capacitance calculation. DAC 2000: 744-749
31		Alper Demir, David E. Long, Jaijeet S. Roychowdhury: Computing Phase Noise Eigenfunctions Directly from Steady-State Jacobian Matrices. ICCAD 2000: 283-288
30		David E. Long, Mahesh A. Iyer, Miron Abramovici: FILL and FUNI: algorithms to identify illegal states and sequentially untestable faults. ACM Trans. Design Autom. Electr. Syst. 5(3): 631-657 (2000)
	1999
29		Peter Feldmann, Sharad Kapur, David E. Long: Efficient Techniques for Modeling Chip-Level Interconnect, Substrate and Package Parasitics. DATE 1999: 418-417
28		Patrice Godefroid, David E. Long: Symbolic Protocol Verification with Queue BDDs. Formal Methods in System Design 14(3): 257-271 (1999)
	1998
27		Jinsong Zhao, Wayne Wei-Ming Dai, Sharad Kapur, David E. Long: Efficient Three-Dimensional Extraction Based on Static and Full-Wave Layered Green's Functions. DAC 1998: 224-229
26		Al Dunlop, Alper Demir, Peter Feldmann, Sharad Kapur, David E. Long, Robert C. Melville, Jaijeet S. Roychowdhury: Tools and Methodology for RF IC Design. DAC 1998: 414-420
25		Sharad Kapur, David E. Long: High-order Nyström schemes for efficient 3-D capacitance extraction. ICCAD 1998: 178-185
24		David E. Long: The design of a cache-friendly BDD library. ICCAD 1998: 639-645
	1997
23		Sharad Kapur, David E. Long: IES3: a fast integral equation solver for efficient 3-dimensional extraction. ICCAD 1997: 448-455
22		Anca Browne, Edmund M. Clarke, Somesh Jha, David E. Long, Wilfredo R. Marrero: An Improved Algorithm for the Evaluation of Fixpoint Expressions. Theor. Comput. Sci. 178(1-2): 237-255 (1997)
	1996
21		Mahesh A. Iyer, David E. Long, Miron Abramovici: Identifying Sequential Redundancies Without Search. DAC 1996: 457-462
20		Sharad Kapur, David E. Long, Jaijeet S. Roychowdhury: Efficient time-domain simulation of frequency-dependent elements. ICCAD 1996: 569-573
19		Patrice Godefroid, David E. Long: Symbolic Protocol Verification With Queue BDDs. LICS 1996: 198-206
18		Edmund M. Clarke, Orna Grumberg, David E. Long: Model checking. NATO ASI DPD 1996: 305-349
17		Krishna B. Rajan, David E. Long, Miron Abramovici: Increasing testability by clock transformation (getting rid of those darn states). VTS 1996: 224-230
	1995
16		David E. Long, Mahesh A. Iyer, Miron Abramovici: Identifying sequentially untestable faults using illegal states. VTS 1995: 4-11
15		Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness: Verification of the Futurebus+ Cache Coherence Protocol. Formal Methods in System Design 6(2): 217-232 (1995)
	1994
14		David E. Long, Anca Browne, Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero: An Improved Algorithm for the Evaluation of Fixpoint Expressions. CAV 1994: 338-350
13		Orna Grumberg, David E. Long: Model Checking and Modular Verification. ACM Trans. Program. Lang. Syst. 16(3): 843-871 (1994)
12		Edmund M. Clarke, Orna Grumberg, David E. Long: Model Checking and Abstraction. ACM Trans. Program. Lang. Syst. 16(5): 1512-1542 (1994)
11		Jerry R. Burch, Edmund M. Clarke, David E. Long, Kenneth L. McMillan, David L. Dill: Symbolic model checking for sequential circuit verification. IEEE Trans. on CAD of Integrated Circuits and Systems 13(4): 401-424 (1994)
	1993
10		Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness: Verification of the Futurebus+ Cache Coherence Protocol. CHDL 1993: 15-30
9		Edmund M. Clarke, Orna Grumberg, David E. Long: Verification Tools for Finite-State Concurrent Systems. REX School/Symposium 1993: 124-175
	1992
8		Jerry R. Burch, David E. Long: Efficient Boolean function matching. ICCAD 1992: 408-411
7		Edmund M. Clarke, Orna Grumberg, David E. Long: Model Checking and Abstraction. POPL 1992: 342-354
6		Soumitra Bose, Edmund M. Clarke, David E. Long, Spiro Michaylov: PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses. J. Autom. Reasoning 8(2): 153-181 (1992)
	1991
5		Orna Grumberg, David E. Long: Model Checking and Modular Verification. CONCUR 1991: 250-265
4		Jerry R. Burch, Edmund M. Clarke, David E. Long: Representing Circuits More Efficiently in Symbolic Model Checking. DAC 1991: 403-407
3		Jerry R. Burch, Edmund M. Clarke, David E. Long: Symbolic Model Checking with Partitioned Transistion Relations. VLSI 1991: 49-58
	1989
2		Edmund M. Clarke, David E. Long, Kenneth L. McMillan: Compositional Model Checking LICS 1989: 353-362
1		Soumitra Bose, Edmund M. Clarke, David E. Long, Spiro Michaylov: PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses LICS 1989: 80-89

Coauthor Index

1	Miron Abramovici	[16] [17] [21] [30]
2	Soumitra Bose	[1] [6]
3	Anca Browne (I. A. Draghicescu)	[14] [22]
4	Jerry R. Burch	[3] [4] [8] [11]
5	Edmund M. Clarke	[1] [2] [3] [4] [6] [7] [9] [10] [11] [12] [14] [15] [18] [22]
6	Wayne Wei-Ming Dai	[27]
7	Alper Demir	[26] [31] [33] [34]
8	David L. Dill	[11]
9	Al Dunlop	[26]
10	Wolfgang Eberle	[34]
11	Peter Feldmann	[26] [29]
12	Patrice Godefroid	[19] [28]
13	Orna Grumberg	[5] [7] [9] [10] [12] [13] [15] [18]
14	Hiromi Hiraishi	[10] [15]
15	Mahesh A. Iyer	[16] [21] [30]
16	Somesh Jha	[10] [14] [15] [22]
17	Sharad Kapur	[20] [23] [25] [26] [27] [29] [32] [35]
18	Wilfredo R. Marrero	[14] [22]
19	Kenneth L. McMillan	[2] [10] [11] [15]
20	Robert C. Melville	[26]
21	Spiro Michaylov	[1] [6]
22	Linda A. Ness	[10] [15]
23	Joel R. Phillips	[34]
24	Krishna B. Rajan	[17]
25	Jaijeet S. Roychowdhury	[20] [26] [31] [33] [34]
26	Gerd Vandersteen	[34]
27	Piet Wambacq	[34]
28	Baolin Yang	[34]
29	Jinsong Zhao	[27]

Colors in the list of coauthors