litlas
ログインアカウント作成

David Harel

1977–2026 年に発表

314
論文数
27,704
被引用数
70
h 指数
174
i10 指数

被引用数

David Harel の年別被引用数1974 年: 被引用 1 件1977 年: 被引用 5 件1978 年: 被引用 19 件1979 年: 被引用 26 件1980 年: 被引用 51 件1981 年: 被引用 48 件1982 年: 被引用 57 件1983 年: 被引用 73 件1984 年: 被引用 90 件1985 年: 被引用 75 件1986 年: 被引用 58 件1987 年: 被引用 69 件1988 年: 被引用 139 件1989 年: 被引用 176 件1990 年: 被引用 166 件1991 年: 被引用 266 件1992 年: 被引用 276 件1993 年: 被引用 329 件1994 年: 被引用 406 件1995 年: 被引用 387 件1996 年: 被引用 385 件1997 年: 被引用 457 件1998 年: 被引用 495 件1999 年: 被引用 484 件2000 年: 被引用 508 件2001 年: 被引用 513 件2002 年: 被引用 587 件2003 年: 被引用 710 件2004 年: 被引用 745 件2005 年: 被引用 762 件2006 年: 被引用 798 件2007 年: 被引用 826 件2008 年: 被引用 888 件2009 年: 被引用 780 件2010 年: 被引用 695 件2011 年: 被引用 700 件2012 年: 被引用 709 件2013 年: 被引用 613 件2014 年: 被引用 652 件2015 年: 被引用 443 件2016 年: 被引用 394 件2017 年: 被引用 415 件2018 年: 被引用 430 件2019 年: 被引用 464 件2020 年: 被引用 357 件2021 年: 被引用 308 件2022 年: 被引用 217 件2023 年: 被引用 278 件2024 年: 被引用 215 件2025 年: 被引用 179 件2026 年: 被引用 52 件1975〜1976 年は被引用が無いため表示していません

引用元

国・地域

この著者を引用した国・地域の世界地図アメリカ合衆国: 引用元論文 3,255 件、この内訳の 20.7%ドイツ: 引用元論文 1,939 件、この内訳の 12.3%フランス: 引用元論文 1,224 件、この内訳の 7.8%イギリス: 引用元論文 1,190 件、この内訳の 7.6%イタリア: 引用元論文 851 件、この内訳の 5.4%カナダ: 引用元論文 730 件、この内訳の 4.6%イスラエル: 引用元論文 699 件、この内訳の 4.5%オランダ: 引用元論文 567 件、この内訳の 3.6%中国: 引用元論文 463 件、この内訳の 3%オーストラリア: 引用元論文 399 件、この内訳の 2.5%スペイン: 引用元論文 364 件、この内訳の 2.3%スウェーデン: 引用元論文 284 件、この内訳の 1.8%
0%20.7%その他 23.9%

機関

分野

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

トピック

  • 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%
  • その他62.7%

共著者

全論文

検索で開く
  1. Statecharts: A Visual Formalism for Complex Systems

    著者: David Harel - Science of Computer Programming, Sci. Comput. Program. 1987 被引用: 6,722

  2. First-Order Dynamic Logic

    著者: David Harel - Lecture notes in computer science 1979 被引用: 648

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

    著者: David Harel, Bernhard Rumpe - Computer 2004 被引用: 515

  4. On the Development of Reactive Systems

    著者: David Harel, Amir Pnueli - Logics and Models of Concurrent Systems 1984 被引用: 836

  5. Trustworthy Autonomous System Development

    著者: Joseph Sifakis, David Harel - ACM Transactions on Embedded Computing Systems, ACM Trans. Embed. Comput. Syst. 2022 被引用: 37

  6. LSCs: Breathing Life into Message Sequence Charts

    著者: Werner Damm, David Harel - Formal Methods for Open Object-Based Distributed Systems, FMOODS 1999 被引用: 822

  7. Behavioral programming

    著者: David Harel, Assaf Marron, Gera Weiss - Communications of the ACM, Commun. ACM 2012 被引用: 137

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

    著者: Aharon Ravia, Kobi Snitz, Danielle Honigstein, Maya Finkel, Rotem Zirler, Ofer Perl, Lavi Secundo, Christophe Laudamiel, David Harel, Noam Sobel - Nature 2020 被引用: 80

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

    著者: 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 被引用: 70

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

    著者: Nadav Timor, Jonathan Mamou, Daniel Korat, Moshe Berchansky, Oren Pereg, Gaurav Jain, Roy Schwartz, Moshe Wasserblat, David Harel - ICML 2025 被引用: 19

  11. On Visual Formalisms

    著者: David Harel - Communications of the ACM, Commun. ACM 1988 被引用: 1,269

  12. Drawing Graphs Nicely Using Simulated Annealing

    著者: Ron Davidson, David Harel - ACM Transactions on Graphics, ACM Trans. Graph. 1996 被引用: 489

  13. A metric for odorant comparison

    著者: Rafi Haddad, Rehan Khan, Yûji Takahashi, Kensaku Mori, David Harel, Noam Sobel - Nature Methods 2008 被引用: 222

  14. The STATEMATE Semantics of Statecharts

    著者: David Harel, Amnon Naamad - ACM Transactions on Software Engineering and Methodology, ACM Trans. Softw. Eng. Methodol. 1996 被引用: 1,042

  15. Structure and Complexity of Relational Queries

    著者: Ashok K. Chandra, David Harel - Annual Symposium on Foundations of Computer Science (sfcs 1980), FOCS 1980 被引用: 537

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

    著者: David Harel - Journal of the ACM, J. ACM 1986 被引用: 129

  17. Graph Drawing by High-Dimensional Embedding

    著者: David Harel, Yehuda Koren - Journal of Graph Algorithms and Applications, GD 2002 被引用: 107

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

    著者: Nadav Timor, Jonathan Mamou, Daniel Korat, Moshe Berchansky, Oren Pereg, Moshe Wasserblat, Tomer Galanti, Michal Gordon, David Harel - ICLR 2025 被引用: 10

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

    著者: 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 被引用: 1,122

  20. Horn Clauses Queries and Generalizations

    著者: Ashok K. Chandra, David Harel - The Journal of Logic Programming, J. Log. Program. 1985 被引用: 309

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

    著者: 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 被引用: 5

  22. Message Sequence Charts

    著者: David Harel, P. S. Thiagarajan - Kluwer Academic Publishers eBooks, UML for Real 2003 被引用: 163

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

    著者: Irun R. Cohen, David Harel - Journal of The Royal Society Interface 2006 被引用: 145

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

    著者: David Harel, Hillel Kugler, Amir Pnueli - Lecture notes in computer science, Formal Methods in Software and Systems Modeling 2005 被引用: 128