David E. Long

5.3k total citations · 1 hit paper
45 papers, 2.6k citations indexed

About

David E. Long is a scholar working on Electrical and Electronic Engineering, Computational Theory and Mathematics and Hardware and Architecture. According to data from OpenAlex, David E. Long has authored 45 papers receiving a total of 2.6k indexed citations (citations by other indexed papers that have themselves been cited), including 29 papers in Electrical and Electronic Engineering, 20 papers in Computational Theory and Mathematics and 15 papers in Hardware and Architecture. Recurrent topics in David E. Long's work include Formal Methods in Verification (19 papers), VLSI and Analog Circuit Testing (10 papers) and Electromagnetic Simulation and Numerical Methods (10 papers). David E. Long is often cited by papers focused on Formal Methods in Verification (19 papers), VLSI and Analog Circuit Testing (10 papers) and Electromagnetic Simulation and Numerical Methods (10 papers). David E. Long collaborates with scholars based in United States, Israel and Germany. David E. Long's co-authors include Orna Grümberg, Edmund M. Clarke, Sharad Kapur, E. M. Clarke, Jerry R. Burch, Kenneth L. McMillan, David L. Dill, M. Abramovici, Mahesh A. Iyer and Linda Ness and has published in prestigious journals such as SHILAP Revista de lepidopterología, Proceedings of the IEEE and Computers & Chemical Engineering.

In The Last Decade

David E. Long

43 papers receiving 2.3k citations

Hit Papers

Model checking and abstraction 1994 2026 2004 2015 1994 100 200 300 400 500
What are hit papers?

Hit papers significantly outperform the citation benchmark for their cohort. A paper qualifies if it has ≥500 total citations, achieves ≥1.5× the top-1% citation threshold for papers in the same subfield and year (this is the minimum needed to enter the top 1%, not the average within it), or reaches the top citation threshold in at least one of its specific research topics.

  1. Model checking and abstraction
    1994 597 citations Edmund M. Clarke, Orna Grümberg et al. profile →

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
David E. Long United States 21 1.8k 1.0k 791 744 692 45 2.6k
Karem A. Sakallah United States 32 1.9k 1.1× 776 0.8× 1.1k 1.4× 1.5k 2.0× 1.5k 2.1× 148 3.6k
Mitchell A. Thornton United States 17 735 0.4× 95 0.1× 714 0.9× 725 1.0× 416 0.6× 184 1.5k
Yuri Gurevich United States 31 2.3k 1.3× 388 0.4× 2.2k 2.8× 130 0.2× 167 0.2× 222 3.7k
Kai Engelhardt Australia 11 337 0.2× 184 0.2× 1.1k 1.3× 112 0.2× 365 0.5× 22 1.4k
Donald Loveland United States 18 1.5k 0.9× 395 0.4× 1.8k 2.2× 116 0.2× 232 0.3× 51 2.7k
David J. Kuck United States 25 713 0.4× 253 0.3× 464 0.6× 525 0.7× 2.3k 3.3× 69 3.4k
Eelco Visser Netherlands 30 374 0.2× 1.2k 1.2× 2.0k 2.5× 92 0.1× 383 0.6× 175 2.9k
Alexander Romanovsky United Kingdom 20 265 0.2× 378 0.4× 798 1.0× 114 0.2× 268 0.4× 264 2.0k
Chris Jesshope United Kingdom 15 370 0.2× 81 0.1× 373 0.5× 251 0.3× 714 1.0× 100 1.5k
Chris Lattner United States 14 193 0.1× 506 0.5× 1.0k 1.3× 426 0.6× 1.6k 2.4× 20 2.6k

Countries citing papers authored by David E. Long

Since Specialization
Citations

This map shows the geographic impact of David E. Long's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by David E. Long with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites David E. Long more than expected).

Fields of papers citing papers by David E. Long

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by David E. Long. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by David E. Long. The network helps show where David E. Long may publish in the future.

Co-authorship network of co-authors of David E. Long

This figure shows the co-authorship network connecting the top 25 collaborators of David E. Long. A scholar is included among the top collaborators of David E. Long based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with David E. Long. David E. Long is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Dunn, John M., Sharad Kapur, & David E. Long. (2021). EMX: Overcoming Silicon Chip EM Simulation Challenges for Passive Circuit Analysis and Model Development. 2 indexed citations
2.
Clarke, Edmund M., et al.. (2018). Parallel Symbolic Computation on Shared Memory Multiprocessor. Research Showcase @ Carnegie Mellon University (Carnegie Mellon University).
3.
Long, David E., et al.. (2017). Implementing Shared Memory Parallelism in MCBEND. SHILAP Revista de lepidopterología. 153. 7042–7042.
4.
Clarke, E. M., et al.. (2003). PARTHENON: a parallel theorem prover for nonHorn clauses. Figshare. 80–89. 1 indexed citations
5.
Clarke, E. M., David E. Long, & Kenneth L. McMillan. (2003). Compositional model checking. 353–362. 153 indexed citations
6.
Chakraborty, Kanad, et al.. (2003). A signal integrity-driven buffer insertion technique for post-routing noise and delay optimization. 144. 23–26. 1 indexed citations
7.
Godefroid, Patrice & David E. Long. (1999). Symbolic Protocol Verification with Queue BDDs. Formal Methods in System Design. 14(3). 257–271. 6 indexed citations
8.
Long, David E.. (1998). The design of a cache-friendly BDD library. 639–645. 9 indexed citations
9.
Dunlop, A.E., Alper Demir, P. Feldmann, et al.. (1998). Tools and methodology for RF IC design. 414–420. 16 indexed citations
10.
Browne, Anca, E. M. Clarke, Sumit Kumar Jha, David E. Long, & W. Marrero. (1997). An improved algorithm for the evaluation of fixpoint expressions. Theoretical Computer Science. 178(1-2). 237–255. 32 indexed citations
11.
Iyer, Mahesh A., David E. Long, & M. Abramovici. (1996). Surprises in sequential redundancy identification. 88–94. 7 indexed citations
12.
Kapur, Sharad, David E. Long, & Jaijeet Roychowdhury. (1996). Efficient time-domain simulation of frequency-dependent elements. 569–573. 11 indexed citations
13.
Burch, Jerry R., E. M. Clarke, David E. Long, Kenneth L. McMillan, & David L. Dill. (1994). Symbolic model checking for sequential circuit verification. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 13(4). 401–424. 316 indexed citations
14.
Burch, Jerry R., E. M. Clarke, David E. Long, Kenneth L. McMillan, & David L. Dill. (1994). Symbolic Model Checking for Sequential Circuit Verification. Research Showcase @ Carnegie Mellon University (Carnegie Mellon University). 94. 27061. 7 indexed citations
15.
Burch, Jerry R. & David E. Long. (1992). Efficient Boolean function matching. International Conference on Computer Aided Design. 408–411. 3 indexed citations
16.
Clarke, E. M., Jerry R. Burch, Orna Grümberg, David E. Long, & Kenneth L. McMillan. (1992). Automatic verification of sequential circuit designs. Philosophical Transactions of the Royal Society of London Series A Physical and Engineering Sciences. 339(1652). 105–120. 12 indexed citations
17.
Clarke, Edmund M., Orna Grümberg, & David E. Long. (1992). Model checking and abstraction. 343–354. 173 indexed citations
18.
Burch, Jerry R., Edmund M. Clarke, & David E. Long. (1991). Symbolic Model Checking with Partitioned Transistion Relations.. IEEE Transactions on Very Large Scale Integration (VLSI) Systems. 49–58. 130 indexed citations
19.
Burch, Jerry R., E. M. Clarke, & David E. Long. (1991). Representing circuits more efficiently in symbolic model checking. 403–407. 108 indexed citations
20.
Clarke, E. M., David E. Long, & Kenneth L. McMillan. (1991). A language for compositional specification and verification of finite state hardware controllers. Proceedings of the IEEE. 79(9). 1283–1292. 33 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Karem A. Sakallah Breakdown of academic impact, for papers by Mitchell A. Thornton Breakdown of academic impact, for papers by Yuri Gurevich Breakdown of academic impact, for papers by Kai Engelhardt Breakdown of academic impact, for papers by Donald Loveland Breakdown of academic impact, for papers by David J. Kuck Breakdown of academic impact, for papers by Eelco Visser Breakdown of academic impact, for papers by Alexander Romanovsky Breakdown of academic impact, for papers by Chris Jesshope Breakdown of academic impact, for papers by Chris Lattner
Rankless by CCL
2026