David E. Long

2004
35	EE	Sharad Kapur, David E. Long: Large-scale full-wave simulation. DAC 2004: 806-809
2001
34	EE	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	EE	Alper Demir, David E. Long, Jaijeet S. Roychowdhury: Computing Phase Noise Eigenfunctions Directly from Harmonic Balance/Shooting Matrices. VLSI Design 2001: 283-
2000
32	EE	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	EE	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	EE	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	EE	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	EE	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	EE	Sharad Kapur, David E. Long: High-order Nyström schemes for efficient 3-D capacitance extraction. ICCAD 1998: 178-185
24	EE	David E. Long: The design of a cache-friendly BDD library. ICCAD 1998: 639-645
1997
23	EE	Sharad Kapur, David E. Long: IES3: a fast integral equation solver for efficient 3-dimensional extraction. ICCAD 1997: 448-455
22	EE	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	EE	Mahesh A. Iyer, David E. Long, Miron Abramovici: Identifying Sequential Redundancies Without Search. DAC 1996: 457-462
20	EE	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	EE	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	EE	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	EE	Orna Grumberg, David E. Long: Model Checking and Modular Verification. ACM Trans. Program. Lang. Syst. 16(3): 843-871 (1994)
12	EE	Edmund M. Clarke, Orna Grumberg, David E. Long: Model Checking and Abstraction. ACM Trans. Program. Lang. Syst. 16(5): 1512-1542 (1994)
11	EE	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	EE	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	EE	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