litlas
Log inCreate account

David Harel

Active 1977–2026

314
Papers
27,704
Citations
70
h-index
174
i10-index

Citations

Citations per year for David Harel1974: 1 citations1977: 5 citations1978: 19 citations1979: 26 citations1980: 51 citations1981: 48 citations1982: 57 citations1983: 73 citations1984: 90 citations1985: 75 citations1986: 58 citations1987: 69 citations1988: 139 citations1989: 176 citations1990: 166 citations1991: 266 citations1992: 276 citations1993: 329 citations1994: 406 citations1995: 387 citations1996: 385 citations1997: 457 citations1998: 495 citations1999: 484 citations2000: 508 citations2001: 513 citations2002: 587 citations2003: 710 citations2004: 745 citations2005: 762 citations2006: 798 citations2007: 826 citations2008: 888 citations2009: 780 citations2010: 695 citations2011: 700 citations2012: 709 citations2013: 613 citations2014: 652 citations2015: 443 citations2016: 394 citations2017: 415 citations2018: 430 citations2019: 464 citations2020: 357 citations2021: 308 citations2022: 217 citations2023: 278 citations2024: 215 citations2025: 179 citations2026: 52 citations1975–1976: no citations, so these years are not shown

Citation sources

Countries

World map of the countries and regions citing this authorUnited States: 3,255 citing papers, 20.7% of this breakdownGermany: 1,939 citing papers, 12.3% of this breakdownFrance: 1,224 citing papers, 7.8% of this breakdownUnited Kingdom: 1,190 citing papers, 7.6% of this breakdownItaly: 851 citing papers, 5.4% of this breakdownCanada: 730 citing papers, 4.6% of this breakdownIsrael: 699 citing papers, 4.5% of this breakdownNetherlands: 567 citing papers, 3.6% of this breakdownChina: 463 citing papers, 3% of this breakdownAustralia: 399 citing papers, 2.5% of this breakdownSpain: 364 citing papers, 2.3% of this breakdownSweden: 284 citing papers, 1.8% of this breakdown
0%20.7%Other 23.9%

Institutions

Fields

  • Computer Science83.7%
  • Engineering3.5%
  • Biochemistry, Genetics and Molecular Biology3.2%
  • Business, Management and Accounting3.1%
  • Decision Sciences1.2%
  • Physics and Astronomy1.1%
  • Other4.2%

Topics

  • Formal Methods in Verification10.7%
  • Advanced Software Engineering Methodologies6.8%
  • Model-Driven Software Engineering Techniques6.4%
  • Logic, programming, and type systems5.1%
  • Logic, Reasoning, and Knowledge4.9%
  • Service-Oriented Architecture and Web Services3.4%
  • Other62.7%

Coauthors

All papers

Open in search
  1. Statecharts: A Visual Formalism for Complex Systems

    Authors: David Harel - Science of Computer Programming, Sci. Comput. Program. 1987 cited by 6,722

  2. First-Order Dynamic Logic

    Authors: David Harel - Lecture notes in computer science 1979 cited by 648

  3. Meaningful Modeling: What's the Semantics of "Semantics"?

    Authors: David Harel, Bernhard Rumpe - Computer 2004 cited by 515

  4. On the Development of Reactive Systems

    Authors: David Harel, Amir Pnueli - Logics and Models of Concurrent Systems 1984 cited by 836

  5. Trustworthy Autonomous System Development

    Authors: Joseph Sifakis, David Harel - ACM Transactions on Embedded Computing Systems, ACM Trans. Embed. Comput. Syst. 2022 cited by 37

  6. LSCs: Breathing Life into Message Sequence Charts

    Authors: Werner Damm, David Harel - Formal Methods for Open Object-Based Distributed Systems, FMOODS 1999 cited by 822

  7. Behavioral programming

    Authors: David Harel, Assaf Marron, Gera Weiss - Communications of the ACM, Commun. ACM 2012 cited by 137

  8. A measure of smell enables the creation of olfactory metamers

    Authors: Aharon Ravia, Kobi Snitz, Danielle Honigstein, Maya Finkel, Rotem Zirler, Ofer Perl, Lavi Secundo, Christophe Laudamiel, David Harel, Noam Sobel - Nature 2020 cited by 80

  9. Proceedings of the fifteenth annual ACM symposium on Theory of computing

    Authors: David S. Johnson, Ronald Fagin, Michael L. Fredman, David Harel, Richard M. Karp, Nancy Lynch, Christos H. Papadimitriou, Ronald L. Rivest, Walter L. Ruzzo, Joel Seiferas - 1983 cited by 70

  10. Accelerating LLM Inference with Lossless Speculative Decoding Algorithms for Heterogeneous Vocabularies

    Authors: Nadav Timor, Jonathan Mamou, Daniel Korat, Moshe Berchansky, Oren Pereg, Gaurav Jain, Roy Schwartz, Moshe Wasserblat, David Harel - ICML 2025 cited by 19

  11. On Visual Formalisms

    Authors: David Harel - Communications of the ACM, Commun. ACM 1988 cited by 1,269

  12. Drawing Graphs Nicely Using Simulated Annealing

    Authors: Ron Davidson, David Harel - ACM Transactions on Graphics, ACM Trans. Graph. 1996 cited by 489

  13. A metric for odorant comparison

    Authors: Rafi Haddad, Rehan Khan, Yûji Takahashi, Kensaku Mori, David Harel, Noam Sobel - Nature Methods 2008 cited by 222

  14. The STATEMATE Semantics of Statecharts

    Authors: David Harel, Amnon Naamad - ACM Transactions on Software Engineering and Methodology, ACM Trans. Softw. Eng. Methodol. 1996 cited by 1,042

  15. Structure and Complexity of Relational Queries

    Authors: Ashok K. Chandra, David Harel - Annual Symposium on Foundations of Computer Science (sfcs 1980), FOCS 1980 cited by 537

  16. Effective transformations on infinite trees, with applications to high undecidability, dominoes, and fairness

    Authors: David Harel - Journal of the ACM, J. ACM 1986 cited by 129

  17. Graph Drawing by High-Dimensional Embedding

    Authors: David Harel, Yehuda Koren - Journal of Graph Algorithms and Applications, GD 2002 cited by 107

  18. Distributed Speculative Inference (DSI): Speculation Parallelism for Provably Faster Lossless Language Model Inference

    Authors: Nadav Timor, Jonathan Mamou, Daniel Korat, Moshe Berchansky, Oren Pereg, Moshe Wasserblat, Tomer Galanti, Michal Gordon, David Harel - ICLR 2025 cited by 10

  19. STATEMATE: A Working Environment for the Development of Complex Reactive Systems

    Authors: David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, Mark B. Trakhtenbrot - IEEE Transactions on Software Engineering, IEEE Trans. Software Eng. 1990 cited by 1,122

  20. Horn Clauses Queries and Generalizations

    Authors: Ashok K. Chandra, David Harel - The Journal of Logic Programming, J. Log. Program. 1985 cited by 309

  21. Beyond Pass or Fail: A Multi-dimensional Benchmark for Mobile UI Navigation

    Authors: Dezhi Ran, Mengzhou Wu, Hao Yu, Yuetong Li, Jun Ren, Yuan Cao, Xia Zeng, Haochuan Lu, Zexin Xu, Mengqian Xu, Ting Su, Liangchao Yao, Ting Xiong, Wei Yang, Yuetang Deng, Assaf Marron, David Harel, Tao Xie - arXiv (Cornell University), CoRR 2025 cited by 5

  22. Message Sequence Charts

    Authors: David Harel, P. S. Thiagarajan - Kluwer Academic Publishers eBooks, UML for Real 2003 cited by 163

  23. Explaining a complex living system: dynamics, multi-scaling and emergence

    Authors: Irun R. Cohen, David Harel - Journal of The Royal Society Interface 2006 cited by 145

  24. Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements

    Authors: David Harel, Hillel Kugler, Amir Pnueli - Lecture notes in computer science, Formal Methods in Software and Systems Modeling 2005 cited by 128