BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × Germany
9 × USA
Collaborated with:
S.Kapur E.M.Clarke P.Godefroid P.Feldmann M.A.Iyer M.Abramovici O.Grumberg J.R.Burch K.L.McMillan J.S.Roychowdhury A.Demir J.Zhao W.W.Dai S.Bose S.Michaylov A.Browne S.Jha W.R.Marrero A.Dunlop R.C.Melville P.Wambacq G.Vandersteen J.R.Phillips W.Eberle B.Yang
Talks about:
model (4) effici (3) check (3) circuit (2) symbol (2) scale (2) wave (2) larg (2) full (2) interconnect (1)

Person: David E. Long

DBLP DBLP: Long:David_E=

Contributed to:

DAC 20042004
DATE 20012001
DAC 20002000
DATE 19991999
DAC 19981998
DAC 19961996
LICS 19961996
CAV 19941994
POPL 19921992
DAC 19911991
LICS 19891989

Wrote 13 papers:

DAC-2004-KapurL #scalability #simulation
Large-scale full-wave simulation (SK, DEL), pp. 806–809.
CAD for RF circuits (PW, GV, JRP, JSR, WE, BY, DEL, AD), pp. 520–529.
DAC-2000-KapurL #scalability
Large-scale capacitance calculation (SK, DEL), pp. 744–749.
DATE-1999-FeldmanKL #modelling #performance
Efficient Techniques for Modeling Chip-Level Interconnect, Substrate and Package Parasitics (PF, SK, DEL), pp. 418–417.
DAC-1998-DunlopDFKLMR #design #tool support
Tools and Methodology for RF IC Design (AD, AD, PF, SK, DEL, RCM, JSR), pp. 414–420.
DAC-1998-ZhaoDKL #3d #performance
Efficient Three-Dimensional Extraction Based on Static and Full-Wave Layered Green’s Functions (JZ, WWMD, SK, DEL), pp. 224–229.
DAC-1996-IyerLA #identification
Identifying Sequential Redundancies Without Search (MAI, DEL, MA), pp. 457–462.
LICS-1996-GodefroidL #protocol #queue #verification
Symbolic Protocol Verification With Queue BDDs (PG, DEL), pp. 198–206.
CAV-1994-LongBCJM #algorithm #evaluation #fixpoint
An Improved Algorithm for the Evaluation of Fixpoint Expressions (DEL, AB, EMC, SJ, WRM), pp. 338–350.
POPL-1992-ClarkeGL #abstraction #model checking
Model Checking and Abstraction (EMC, OG, DEL), pp. 342–354.
DAC-1991-BurchCL #model checking #representation
Representing Circuits More Efficiently in Symbolic Model Checking (JRB, EMC, DEL), pp. 403–407.
LICS-1989-BoseCLM #horn clause #named #parallel #proving #theorem proving
PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses (SB, EMC, DEL, SM), pp. 80–89.
LICS-1989-ClarkeLM #composition #model checking
Compositional Model Checking (EMC, DEL, KLM), pp. 353–362.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.