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.
Publications
Co-authors
Productive Colleagues
- Itai Segall
- Shahar Maoz
- Yehuda Koren
- 2
- 4
- 15
Publications
Maoz, Shahar, Harel, David (2010): On Tracing Reactive Systems. In Software and Systems Modeling, 0 (0) pp. . https://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. https://dl.acm.org/doi/10.1145/1467247.1467274
Harel, David (2008): Can Programming Be Liberated, Period?. In IEEE Computer, 41 (1) pp. 28-37. https://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. https://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. https://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. https://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. https://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.
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-. https://csdl.computer.org/comp/proceedings/re/1997/7740/00/77400184abs.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. https://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740015abs.htm
Harel, David (1997): On the Aesthetics of Diagrams. In: VL 1997 , 1997, . pp. 128-130.
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. https://doi.ieeecomputersociety.org/10.1109/VLHCC.2007.27
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, Sardas, Meir (1994): Randomized Graph Drawing with Heavy-Duty Preprocessing. In: Advanced Visual Interfaces 1994 , 1994, . pp. 19-33. https://doi.acm.org/10.1145/192309.192319
Harel, David, Yashchin, Gregory (2000): An Algorithm for Blob Hierarchy Layout. In: Advanced Visual Interfaces 2000 , 2000, . pp. 29-40.
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. https://csdl.computer.org/comp/proceedings/infovis/2002/1751/00/17510137abs.htm
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. https://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. https://doi.acm.org/10.1145/1409720.1409744
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. https://dx.doi.org/10.1109/VLHCC.2010.38