David E. Long - RankMe

44 papers A* 11A 8B 1Misc 3Journal 11Unranked 10

Year	Rank	Type	Title / Venue / Authors
2010	—	`conf`	Modeling of integrated RF passive devices. CICC Sharad Kapur, David E. Long
2007	—	`conf`	Synthesis of Optimal On-Chip Baluns. CICC Sharad Kapur, David E. Long, Robert C. Frye, Yu-Chia Chen, Ming-Hsiang Cho, Huai-wen Chang, Jun-Hong Ou, Bigchoug Hung
2004	A*	`conf`	Large-scale full-wave simulation. DAC Sharad Kapur, David E. Long
2002	—	`conf`	A signal integrity-driven buffer insertion technique for post-routing noise and delay optimization. CICC Kanad Chakraborty, David E. Long, John P. Fishburn, Kishore Singhal, Lun Ye, Christopher Ortiz
2002	J	`jnl`	An injection-locking scheme for precision quadrature generation. IEEE J. Solid State Circuits Peter R. Kinget, Robert C. Melville, David E. Long, Venugopal Gopinathan
2001	A	`conf`	CAD for RF circuits. DATE Piet Wambacq, Gerd Vandersteen, Joel R. Phillips, Jaijeet S. Roychowdhury, Wolfgang Eberle, Baolin Yang, David E. Long, Alper Demir
2001	Misc	`conf`	Computing Phase Noise Eigenfunctions Directly from Harmonic Balance/Shooting Matrices. VLSI Design Alper Demir, David E. Long, Jaijeet S. Roychowdhury
2000	A	`conf`	Computing Phase Noise Eigenfunctions Directly from Steady-State Jacobian Matrices. ICCAD Alper Demir, David E. Long, Jaijeet S. Roychowdhury
2000	J	`jnl`	FILL and FUNI: algorithms to identify illegal states and sequentially untestable faults. ACM Trans. Design Autom. Electr. Syst. David E. Long, Mahesh A. Iyer, Miron Abramovici
2000	A*	`conf`	Large-scale capacitance calculation. DAC Sharad Kapur, David E. Long
1999	A	`conf`	Efficient Techniques for Modeling Chip-Level Interconnect, Substrate and Package Parasitics. DATE Peter Feldmann, Sharad Kapur, David E. Long
1999	J	`jnl`	Symbolic Protocol Verification with Queue BDDs. Formal Methods Syst. Des. Patrice Godefroid, David E. Long
1998	J	`jnl`	Cyclostationary noise analysis of large RF circuits with multitone excitations. IEEE J. Solid State Circuits Jaijeet Roychowdhury, David E. Long, Peter Feldmann
1998	A*	`conf`	Efficient Three-Dimensional Extraction Based on Static and Full-Wave Layered Green's Functions. DAC Jinsong Zhao, Wayne Wei-Ming Dai, Sharad Kapur, David E. Long
1998	—	`conf`	Efficient full-wave simulation in layered, lossy media. CICC Sharad Kapur, David E. Long, Jinsong Zhao
1998	A	`conf`	High-order Nyström schemes for efficient 3-D capacitance extraction. ICCAD Sharad Kapur, David E. Long
1998	A	`conf`	The design of a cache-friendly BDD library. ICCAD David E. Long
1998	A*	`conf`	Tools and Methodology for RF IC Design. DAC Al Dunlop, Alper Demir, Peter Feldmann, Sharad Kapur, David E. Long, Robert C. Melville, Jaijeet S. Roychowdhury
1997	J	`jnl`	An Improved Algorithm for the Evaluation of Fixpoint Expressions. Theor. Comput. Sci. Anca Browne, Edmund M. Clarke, Somesh Jha, David E. Long, Wilfredo R. Marrero
1997	A	`conf`	IES3: a fast integral equation solver for efficient 3-dimensional extraction. ICCAD Sharad Kapur, David E. Long
1996	A	`conf`	Efficient time-domain simulation of frequency-dependent elements. ICCAD Sharad Kapur, David E. Long, Jaijeet S. Roychowdhury
1996	A*	`conf`	Identifying Sequential Redundancies Without Search. DAC Mahesh A. Iyer, David E. Long, Miron Abramovici
1996	Misc	`conf`	Increasing testability by clock transformation (getting rid of those darn states). VTS Krishna B. Rajan, David E. Long, Miron Abramovici
1996	—	`conf`	Model checking. NATO ASI DPD Edmund M. Clarke, Orna Grumberg, David E. Long
1996	—	`conf`	Surprises in Sequential Redundancy Identification. ED&TC Mahesh A. Iyer, David E. Long, Miron Abramovici
1996	A*	`conf`	Symbolic Protocol Verification With Queue BDDs. LICS Patrice Godefroid, David E. Long
1995	—	`conf`	Automatic verification of industrial designs. WIFT Vicky Hartonas-Garmhausen, Thomas R. Kurfess, Edmund M. Clarke, David E. Long
1995	Misc	`conf`	Identifying sequentially untestable faults using illegal states. VTS David E. Long, Mahesh A. Iyer, Miron Abramovici
1995	J	`jnl`	Verification of the Futurebus+ Cache Coherence Protocol. Formal Methods Syst. Des. Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness
1994	A*	`conf`	An Improved Algorithm for the Evaluation of Fixpoint Expressions. CAV David E. Long, Anca Browne, Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero
1994	J	`jnl`	Model Checking and Abstraction. ACM Trans. Program. Lang. Syst. Edmund M. Clarke, Orna Grumberg, David E. Long
1994	J	`jnl`	Model Checking and Modular Verification. ACM Trans. Program. Lang. Syst. Orna Grumberg, David E. Long
1994	J	`jnl`	Symbolic model checking for sequential circuit verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Jerry R. Burch, Edmund M. Clarke, David E. Long, Kenneth L. McMillan, David L. Dill
1993	—	`conf`	Verification Tools for Finite-State Concurrent Systems. REX School/Symposium Edmund M. Clarke, Orna Grumberg, David E. Long
1993	—	`conf`	Verification of the Futurebus+ Cache Coherence Protocol. CHDL Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness
1992	A	`conf`	Efficient Boolean function matching. ICCAD Jerry R. Burch, David E. Long
1992	A*	`conf`	Model Checking and Abstraction. POPL Edmund M. Clarke, Orna Grumberg, David E. Long
1992	J	`jnl`	PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses. J. Autom. Reason. Soumitra Bose, Edmund M. Clarke, David E. Long, Spiro Michaylov
1991	J	`jnl`	A language for compositional specification and verification of finite state hardware controllers. Proc. IEEE Edmund M. Clarke, David E. Long, Kenneth L. McMillan
1991	B	`conf`	Model Checking and Modular Verification. CONCUR Orna Grumberg, David E. Long
1991	A*	`conf`	Representing Circuits More Efficiently in Symbolic Model Checking. DAC Jerry R. Burch, Edmund M. Clarke, David E. Long
1991	—	`conf`	Symbolic Model Checking with Partitioned Transistion Relations. VLSI Jerry R. Burch, Edmund M. Clarke, David E. Long
1989	A*	`conf`	Compositional Model Checking LICS Edmund M. Clarke, David E. Long, Kenneth L. McMillan
1989	A*	`conf`	PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses LICS Soumitra Bose, Edmund M. Clarke, David E. Long, Spiro Michaylov