Author: David Harel

My research interests are in several areas of computer science. In the past these included computability (especially levels of undecidability), logics of programs (especially dynamic logic), database theory (especially query languages and their power), and automata theory. In recent years, my activity in these areas has diminished, being replaced by software and systems engineering, object-oriented analysis and design, visual languages, layout of diagrams, modeling and analysis of biological systems, and the synthesis and communication of smell.


Publication period start: 1980
Publication period end: 2010
Number of co-authors: 18


Number of publications with favourite co-authors
Judith Gal-Ezer
Irun R. Cohen
Shahar Maoz

Productive Colleagues

Most productive colleagues in number of publications
Irun R. Cohen
Shahar Maoz
Yehuda Koren


Maoz, Shahar, Harel, David (2010): On Tracing Reactive Systems. In Software and Systems Modeling, 0 (0) pp. .

Harel, David (2009): Statecharts in the making: a personal account. In Communications of the ACM, 52 (3) pp. 67-75.

Harel, David (2008): Can Programming Be Liberated, Period?. In IEEE Computer, 41 (1) pp. 28-37.

Efroni, Sol, Harel, David, Cohen, Irun R. (2005): Reactive Animation: Realistic Modeling of Complex Dynamic Systems. In IEEE Computer, 38 (1) pp. 38-47.

Harel, David, Rumpe, Bernhard (2004): Meaningful Modeling: What\'s the Semantics of \"Semantics\"?. In IEEE Computer, 37 (10) pp. 64-72.

Harel, David, Yashchin, Gregory (2002): An algorithm for blob hierarchy layout. In The Visual Computer, 18 (3) pp. 164-185.

Harel, David (2001): From Play-In Scenarios to Code: An Achievable Dream. In IEEE Computer, 34 (1) pp. 53-60.

Gal-Ezer, Judith, Harel, David (1998): What (Else) Should CS Educators Know?. In Communications of the ACM, 41 (9) pp. 77-84.

Harel, David, Gery, Eran (1997): Executable Object Modeling with Statecharts. In IEEE Computer, 30 (7) pp. 31-42.

Gal-Ezer, Judith, Beeri, Catriel, Harel, David, Yehudai, Amiram (1995): A High School Program in Computer Science. In IEEE Computer, 28 (10) pp. 73-80.

Harel, David, Sardas, Meir (1995): Randomized Graph Drawing with Heavy-Duty Preprocessing. In J. Vis. Lang. Comput., 6 (3) pp. 233-253.

Harel, David (1992): Biting the Silver Bullet - Toward a Brighter Future for System Development. In IEEE Computer, 25 (1) pp. 8-20.

Harel, David (1988): On Visual Formalisms. In Communications of the ACM, 31 (5) pp. 514-530.

Harel, David (1987): Statecharts: A Visual Formalism for Complex Systems. In Sci. Comput. Program., 8 (3) pp. 231-274.

Harel, David (1980): On Folk Theorems. In Communications of the ACM, 23 (7) pp. 379-389.

Gordon, Michal, Harel, David (2010): Semantic Navigation Strategies for Scenario-Based Programming. In: Hundhausen, Christopher D., Pietriga, Emmanuel, Diaz, Paloma, Rosson, Mary Beth (eds.) IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010 21-25 September 2010, 2010, Leganés-Madrid, Spain. pp. 219-226.

Harel, David (1997): Will I Be Pretty, Will I Be Rich? Some Thoughts on Theory vs. Practice in Systems Engineer. In: 3rd IEEE International Symposium on Requirements Engineering RE97 January 5-8, 1997, Annapolis, MD, USA. pp. 184-.

Harel, David, Segall, Itai (2008): Visualizing inter-dependencies between scenarios. In: Proceedings of the ACM Symposium on Software Visualization , 2008, . pp. 145-153.

Harel, David, Segall, Itai, Kugler, Hillel, Setty, Yaki (2008): Crafting game-models using reactive system design. In: Proceedings of the 2008 Conference on Future Play , 2008, . pp. 121-128.

Koren, Yehuda, Carmel, Liran, Harel, David (2002): ACE: A Fast Multiscale Eigenvectors Computation for Drawing Huge Graphs. In: InfoVis 2002 - 2002 IEEE Symposium on Information Visualization 27 October - 1 November, 2002, Boston, MA, USA. pp. 137-144.

Harel, David, Yashchin, Gregory (2000): An Algorithm for Blob Hierarchy Layout. In: Advanced Visual Interfaces 2000 , 2000, . pp. 29-40.

Harel, David, Koren, Yehuda (2000): A Fast Multi-Scale Method for Drawing Large Graphs. In: Advanced Visual Interfaces 2000 , 2000, . pp. 282-285.

Maoz, Shahar, Kleinbort, Asaf, Harel, David (2007): Towards Trace Visualization and Exploration for Reactive Systems. In: VL-HCC 2007 - IEEE Symposium on Visual Languages and Human-Centric Computing 23-27 September, 2007, Coeur dAlene, Idaho, USA. pp. 153-156.

Harel, David (1997): On the Aesthetics of Diagrams. In: VL 1997 , 1997, . pp. 128-130.

Kam, Na\'aman, Cohen, Irun R., Harel, David (2001): The Immune System as a Reactive System: Modeling T Cell Activation With Statecharts. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 15-22.

Harel, David, Sardas, Meir (1994): Randomized Graph Drawing with Heavy-Duty Preprocessing. In: Advanced Visual Interfaces 1994 , 1994, . pp. 19-33.