The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

David E. Long: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002