Author: David Harel

David Harel

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.

http://www.wisdom.weizmann.ac.il/~harel/

Publications

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

Co-authors

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

Productive Colleagues

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

Publications

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

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 (2008): Can Programming Be Liberated, Period?. In IEEE Computer, 41 (1) pp. 28-37. http://doi.ieeecomputersociety.org/10.1109/MC.2008.10

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

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

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

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, 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, 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

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

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

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