H-Index & Metrics Top Publications

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science H-index 65 Citations 40,533 238 World Ranking 1129 National Ranking 17

Research.com Recognitions

Awards & Achievements

2020 - Fellow of the Royal Society, United Kingdom

2019 - Member of the National Academy of Sciences

2014 - Fellow of the American Academy of Arts and Sciences

2014 - Member of the National Academy of Engineering For invention of statecharts and contributions to the logic of programming.

2007 - ACM Software System Award For Statemate, the first embodiment in a commercial computer-aided software engineering tool of a rigorous approach to model-driven development based on statecharts, and employing techniques for the executability of visual formalisms, and for code-generation.

2007 - Fellow of the American Association for the Advancement of Science (AAAS)

2006 - Member of Academia Europaea

1994 - ACM Fellow A brilliant expositor, he has exposed laymen to deep computer science concepts through his widely acclaimed book Algorithmics, the Spirit of Computing (1987) and through numerous lectures to a variety of audiences. His work on Israeli national councils and ministerial committees is profoundly influencing curricula at both the high-school and university level.

1992 - ACM Karl V. Karlstrom Outstanding Educator Award A brilliant expositor, he has exposed laymen to deep computer science concepts through his widely acclaimed book Algorithmics, the Spirit of Computing (1987) and through numerous lectures to a variety of audiences. His work on Israeli national councils and ministerial committees is profoundly influencing curricula at both the high-school and university level.

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Artificial intelligence
  • Algorithm

The scientist’s investigation covers issues in Programming language, Reactive system, Theoretical computer science, Unified Modeling Language and Artificial intelligence. The study incorporates disciplines such as Complex system, Software, Requirements engineering and Software engineering in addition to Reactive system. David Harel interconnects Modular decomposition, Concurrency, Cluster analysis and Relational database, Conjunctive query in the investigation of issues within Theoretical computer science.

His Unified Modeling Language research is multidisciplinary, incorporating elements of Semantics, Sequence, Message sequence chart and Modeling language. His study of Higraph is a part of Artificial intelligence. His Higraph research is multidisciplinary, relying on both SCXML, Knowledge representation and reasoning, Modular design and Esterel, Synchronous programming language.

His most cited work include:

  • Statecharts: A visual formalism for complex systems (6039 citations)
  • Dynamic Logic (1514 citations)
  • On visual formalisms (1160 citations)

What are the main themes of his work throughout his whole career to date?

His primary scientific interests are in Programming language, Theoretical computer science, Reactive system, Artificial intelligence and Software engineering. Unified Modeling Language, Programming paradigm, Dynamic logic, Sequence diagram and Executable are the core of his Programming language study. David Harel combines subjects such as Algorithm, Graph drawing and Concurrency with his study of Theoretical computer science.

His research links Finite-state machine with Concurrency. The various areas that David Harel examines in his Reactive system study include Visualization, Semantics, Human–computer interaction and Live sequence charts. He is studying Complex system, which is a component of Artificial intelligence.

He most often published in these fields:

  • Programming language (27.30%)
  • Theoretical computer science (17.87%)
  • Reactive system (14.89%)

What were the highlights of his more recent work (between 2010-2021)?

  • Programming language (27.30%)
  • Programming paradigm (6.20%)
  • Software engineering (13.40%)

In recent papers he was focusing on the following fields of study:

His primary areas of study are Programming language, Programming paradigm, Software engineering, Reactive system and Artificial intelligence. His study focuses on the intersection of Programming language and fields such as Theoretical computer science with connections in the field of Concurrent computing. His work deals with themes such as Object, Robot and Software, Software development, which intersect with Software engineering.

The Software development study combines topics in areas such as Layer and Component. His Reactive system research incorporates themes from Context, System model, Correctness, Semantics and Visualization. His work in Artificial intelligence covers topics such as Executable which are related to areas like Computational model.

Between 2010 and 2021, his most popular works were:

  • Behavioral programming (112 citations)
  • Biology as reactivity (48 citations)
  • Model-checking behavioral programs (32 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Artificial intelligence
  • Algorithm

David Harel spends much of his time researching Programming language, Programming paradigm, Reactive system, Behavioral programming and Distributed computing. His study in Programming language is interdisciplinary in nature, drawing from both Theoretical computer science and Code generation. David Harel has researched Programming paradigm in several fields, including AspectJ, Construct and Compiler.

His Reactive system research includes elements of Correctness, Immunology, Human–computer interaction, Semantics and Visualization. His studies in Distributed computing integrate themes in fields like Computational biology, Temporal modeling and Tumor growth. His Formal verification research is multidisciplinary, incorporating perspectives in Concurrency, Software engineering, Intelligent verification and Software verification.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Top Publications

Statecharts: A visual formalism for complex systems

David Harel.
Science of Computer Programming (1987)

10754 Citations

Dynamic Logic

David Harel;Dexter Kozen;Jerzy Tiuryn.
(2000)

2180 Citations

On visual formalisms

David Harel.
Communications of The ACM (1988)

1968 Citations

STATEMATE: a working environment for the development of complex reactive systems

D. Harel;H. Lachover;A. Naamad;A. Pnueli.
IEEE Transactions on Software Engineering (1990)

1918 Citations

The STATEMATE semantics of statecharts

David Harel;Amnon Naamad.
ACM Transactions on Software Engineering and Methodology (1996)

1769 Citations

On the development of reactive systems

D. Harel;A. Pnueli.
Logics and models of concurrent systems (1989)

1377 Citations

LSCs: Breathing Life into Message Sequence Charts

Werner Damm;David Harel.
formal methods (2001)

1265 Citations

Executable object modeling with statecharts

D. Harel;E. Gery.
international conference on software engineering (1996)

1073 Citations

Modeling Reactive Systems With Statecharts : The Statemate Approach

David Harel;Michal Politi.
(1998)

961 Citations

First-Order Dynamic Logic

David Harel.
(1979)

911 Citations

Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking h-index is inferred from publications deemed to belong to the considered discipline.

If you think any of the details on this page are incorrect, let us know.

Contact us

Top Scientists Citing David Harel

Moshe Y. Vardi

Moshe Y. Vardi

Rice University

Publications: 104

Bernhard Rumpe

Bernhard Rumpe

RWTH Aachen University

Publications: 81

Mats P. E. Heimdahl

Mats P. E. Heimdahl

University of Minnesota

Publications: 57

Rajeev Alur

Rajeev Alur

University of Pennsylvania

Publications: 55

Edward A. Lee

Edward A. Lee

University of California, Berkeley

Publications: 53

Hans Vangheluwe

Hans Vangheluwe

University of Antwerp

Publications: 49

Jeff Kramer

Jeff Kramer

Imperial College London

Publications: 44

Holger Giese

Holger Giese

University of Potsdam

Publications: 43

Amir Pnueli

Amir Pnueli

Weizmann Institute of Science

Publications: 42

Manfred Broy

Manfred Broy

Technical University of Munich

Publications: 40

Jan Van den Bussche

Jan Van den Bussche

Hasselt University

Publications: 40

Sebastian Uchitel

Sebastian Uchitel

Imperial College London

Publications: 40

André Platzer

André Platzer

Carnegie Mellon University

Publications: 38

Orna Kupferman

Orna Kupferman

Hebrew University of Jerusalem

Publications: 37

Andreas Herzig

Andreas Herzig

Toulouse Institute of Computer Science Research

Publications: 36

Something went wrong. Please try again later.