David Harel

Personal Homepage
http://www.wisdom.weizmann.ac.il/~harel/
Employer
()
Email
dharel@weizmann.ac.il

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 Statistics

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

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

Maoz, Shahar, Harel, David (2010): On Tracing Reactive Systems. In Software and Systems Modeling, 0 (0) pp. . http://www.springerlink.com/content/x2p70t81302330r6/

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. http://dx.doi.org/10.1109/VLHCC.2010.38

Harel, David (2009): Statecharts in the making: a personal account. In Communications of the ACM, 52 (3) pp. 67-75. http://doi.acm.org/10.1145/1467247.1467274

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. http://doi.acm.org/10.1145/1496984.1497005

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

Harel, David (2008): Can Programming Be Liberated, Period?. In IEEE Computer, 41 (1) pp. 28-37. http://doi.ieeecomputersociety.org/10.1109/MC.2008.10

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. http://doi.ieeecomputersociety.org/10.1109/VLHCC.2007.27

Efroni, Sol, Harel, David, Cohen, Irun R. (2005): Reactive Animation: Realistic Modeling of Complex Dynamic Systems. In IEEE Computer, 38 (1) pp. 38-47. http://doi.ieeecomputersociety.org/10.1109/MC.2005.31

Harel, David, Rumpe, Bernhard (2004): Meaningful Modeling: What\'s the Semantics of \"Semantics\"?. In IEEE Computer, 37 (10) pp. 64-72. http://csdl.computer.org/comp/mags/co/2004/10/rx064abs.htm

Harel, David, Yashchin, Gregory (2002): An algorithm for blob hierarchy layout. In The Visual Computer, 18 (3) pp. 164-185. http://springerlink.metapress.com/openurl.asp?genre=article&issn=1432-2315&volume=18&issue=3&spage=164

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. http://csdl.computer.org/comp/proceedings/infovis/2002/1751/00/17510137abs.htm

Harel, David (2001): From Play-In Scenarios to Code: An Achievable Dream. In IEEE Computer, 34 (1) pp. 53-60. http://csdl.computer.org/comp/mags/co/2001/01/r1053abs.htm

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. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740015abs.htm

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

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

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

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-. http://csdl.computer.org/comp/proceedings/re/1997/7740/00/77400184abs.htm

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

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

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, Sardas, Meir (1994): Randomized Graph Drawing with Heavy-Duty Preprocessing. In: Advanced Visual Interfaces 1994 , 1994, . pp. 19-33. http://doi.acm.org/10.1145/192309.192319

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.