default search action
David E. Long
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2010
- [c33]Sharad Kapur, David E. Long:
Modeling of integrated RF passive devices. CICC 2010: 1-8
2000 – 2009
- 2007
- [c32]Sharad Kapur, David E. Long, Robert C. Frye, Yu-Chia Chen, Ming-Hsiang Cho, Huai-Wen Chang, Jun-Hong Ou, Bigchoug Hung:
Synthesis of Optimal On-Chip Baluns. CICC 2007: 507-510 - 2004
- [c31]Sharad Kapur, David E. Long:
Large-scale full-wave simulation. DAC 2004: 806-809 - 2002
- [j11]Peter R. Kinget
, Robert C. Melville, David E. Long, Venugopal Gopinathan:
An injection-locking scheme for precision quadrature generation. IEEE J. Solid State Circuits 37(7): 845-851 (2002) - [c30]Kanad Chakraborty, David E. Long, John P. Fishburn, Kishore Singhal, Lun Ye, Christopher Ortiz:
A signal integrity-driven buffer insertion technique for post-routing noise and delay optimization. CICC 2002: 23-26 - 2001
- [c29]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 - [c28]Alper Demir, David E. Long, Jaijeet S. Roychowdhury:
Computing Phase Noise Eigenfunctions Directly from Harmonic Balance/Shooting Matrices. VLSI Design 2001: 283- - 2000
- [j10]David E. Long, Mahesh A. Iyer
FILL and FUNI: algorithms to identify illegal states and sequentially untestable faults. ACM Trans. Design Autom. Electr. Syst. 5(3): 631-657 (2000) - [c27]Sharad Kapur, David E. Long:
Large-scale capacitance calculation. DAC 2000: 744-749 - [c26]Alper Demir
Computing Phase Noise Eigenfunctions Directly from Steady-State Jacobian Matrices. ICCAD 2000: 283-288
1990 – 1999
- 1999
- [j9]Patrice Godefroid, David E. Long:
Symbolic Protocol Verification with Queue BDDs. Formal Methods Syst. Des. 14(3): 257-271 (1999) - [c25]Peter Feldmann, Sharad Kapur, David E. Long:
Efficient Techniques for Modeling Chip-Level Interconnect, Substrate and Package Parasitics. DATE 1999: 418-417 - 1998
- [j8]Jaijeet Roychowdhury, David E. Long, Peter Feldmann:
Cyclostationary noise analysis of large RF circuits with multitone excitations. IEEE J. Solid State Circuits 33(3): 324-336 (1998) - [c24]Sharad Kapur, David E. Long, Jinsong Zhao:
Efficient full-wave simulation in layered, lossy media. CICC 1998: 211-214 - [c23]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 - [c22]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 - [c21]Sharad Kapur, David E. Long:
High-order Nyström schemes for efficient 3-D capacitance extraction. ICCAD 1998: 178-185 - [c20]David E. Long:
The design of a cache-friendly BDD library. ICCAD 1998: 639-645 - 1997
- [j7]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) - [c19]Sharad Kapur, David E. Long:
IES3: a fast integral equation solver for efficient 3-dimensional extraction. ICCAD 1997: 448-455 - 1996
- [c18]Mahesh A. Iyer
Identifying Sequential Redundancies Without Search. DAC 1996: 457-462 - [c17]Mahesh A. Iyer
Surprises in Sequential Redundancy Identification. ED&TC 1996: 88-95 - [c16]Sharad Kapur, David E. Long, Jaijeet S. Roychowdhury:
Efficient time-domain simulation of frequency-dependent elements. ICCAD 1996: 569-573 - [c15]Patrice Godefroid, David E. Long:
Symbolic Protocol Verification With Queue BDDs. LICS 1996: 198-206 - [c14]Edmund M. Clarke, Orna Grumberg, David E. Long:
Model checking. NATO ASI DPD 1996: 305-349 - [c13]Krishna B. Rajan, David E. Long, Miron Abramovici:
Increasing testability by clock transformation (getting rid of those darn states). VTS 1996: 224-230 - 1995
- [j6]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 Syst. Des. 6(2): 217-232 (1995) - [c12]David E. Long, Mahesh A. Iyer, Miron Abramovici:
Identifying sequentially untestable faults using illegal states. VTS 1995: 4-11 - [c11]Vicky Hartonas-Garmhausen, Thomas R. Kurfess, Edmund M. Clarke, David E. Long:
Automatic verification of industrial designs. WIFT 1995: 88-96 - 1994
- [j5]Jerry R. Burch, Edmund M. Clarke, David E. Long, Kenneth L. McMillan, David L. Dill:
Symbolic model checking for sequential circuit verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 13(4): 401-424 (1994) - [j4]Orna Grumberg, David E. Long:
Model Checking and Modular Verification. ACM Trans. Program. Lang. Syst. 16(3): 843-871 (1994) - [j3]Edmund M. Clarke, Orna Grumberg, David E. Long:
Model Checking and Abstraction. ACM Trans. Program. Lang. Syst. 16(5): 1512-1542 (1994) - [c10]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 - 1993
- [c9]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 - [c8]Edmund M. Clarke, Orna Grumberg, David E. Long:
Verification Tools for Finite-State Concurrent Systems. REX School/Symposium 1993: 124-175 - 1992
- [j2]Soumitra Bose, Edmund M. Clarke, David E. Long, Spiro Michaylov:
PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses. J. Autom. Reason. 8(2): 153-181 (1992) - [c7]Jerry R. Burch, David E. Long:
Efficient Boolean function matching. ICCAD 1992: 408-411 - [c6]Edmund M. Clarke, Orna Grumberg, David E. Long:
Model Checking and Abstraction. POPL 1992: 342-354 - 1991
- [j1]Edmund M. Clarke, David E. Long, Kenneth L. McMillan:
A language for compositional specification and verification of finite state hardware controllers. Proc. IEEE 79(9): 1283-1292 (1991) - [c5]Orna Grumberg, David E. Long:
Model Checking and Modular Verification. CONCUR 1991: 250-265 - [c4]Jerry R. Burch, Edmund M. Clarke, David E. Long:
Representing Circuits More Efficiently in Symbolic Model Checking. DAC 1991: 403-407 - [c3]Jerry R. Burch, Edmund M. Clarke, David E. Long:
Symbolic Model Checking with Partitioned Transistion Relations. VLSI 1991: 49-58
1980 – 1989
- 1989
- [c2]Soumitra Bose, Edmund M. Clarke, David E. Long, Spiro Michaylov:
PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses. LICS 1989: 80-89 - [c1]Edmund M. Clarke, David E. Long, Kenneth L. McMillan:
Compositional Model Checking. LICS 1989: 353-362
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: