@inproceedings{CoplienGHM97,
  title = {Keynotes},
  author = {James Coplien and Joseph Gil and David Harel and Bertrand Meyer},
  year = {1997},
  doi = {10.1109/TOOLS.1997.10018},
  url = {http://doi.ieeecomputersociety.org/10.1109/TOOLS.1997.10018},
  researchr = {https://researchr.org/publication/CoplienGHM97},
  cites = {0},
  citedby = {0},
  pages = {2},
  booktitle = {TOOLS},
}

@inproceedings{Harel02,
  title = {Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?)},
  author = {David Harel},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2491/24910030.htm},
  researchr = {https://researchr.org/publication/Harel02},
  cites = {0},
  citedby = {0},
  pages = {30-31},
  booktitle = {emsoft},
}

@inproceedings{HarelK02:1,
  title = {Graph Drawing by High-Dimensional Embedding},
  author = {David Harel and Yehuda Koren},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2528/25280207.htm},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/HarelK02%3A1},
  cites = {0},
  citedby = {0},
  pages = {207-219},
  booktitle = {gd},
}

@inproceedings{CombesHK05,
  title = {Modeling and Verification of a Telecommunication Application Using Live Sequence Charts and the Play-Engine Tool},
  author = {Pierre Combes and David Harel and Hillel Kugler},
  year = {2005},
  doi = {10.1007/11562948_31},
  url = {http://dx.doi.org/10.1007/11562948_31},
  tags = {modeling},
  researchr = {https://researchr.org/publication/CombesHK05},
  cites = {0},
  citedby = {0},
  pages = {414-428},
  booktitle = {ATVA},
}

@article{UngerHS86,
  title = {DNAMAT: an efficient graphic matrix sequence homology algorithm and its application to structural analysis},
  author = {Ron Unger and David Harel and Joel L. Sussman},
  year = {1986},
  tags = {analysis},
  researchr = {https://researchr.org/publication/UngerHS86},
  cites = {0},
  citedby = {0},
  journal = {bioinformatics},
  volume = {2},
  number = {4},
  pages = {283-289},
}

@article{Harel80,
  title = {And/Or Programs: A New Approach to Structured Programming},
  author = {David Harel},
  year = {1980},
  doi = {10.1145/357084.357085},
  url = {http://doi.acm.org/10.1145/357084.357085},
  tags = {programming, systematic-approach},
  researchr = {https://researchr.org/publication/Harel80},
  cites = {0},
  citedby = {0},
  journal = {TOPLAS},
  volume = {2},
  number = {1},
  pages = {1-17},
}

@article{DrusinskyH89,
  title = {Using statecharts for hardware description and synthesis},
  author = {Doron Drusinsky and David Harel},
  year = {1989},
  doi = {10.1109/43.31537},
  url = {http://doi.ieeecomputersociety.org/10.1109/43.31537},
  researchr = {https://researchr.org/publication/DrusinskyH89},
  cites = {0},
  citedby = {0},
  journal = {tcad},
  volume = {8},
  number = {7},
  pages = {798-807},
}

@incollection{Harel95,
  title = {Towards a theory of Recursive Structures},
  author = {David Harel},
  year = {1995},
  researchr = {https://researchr.org/publication/Harel95},
  cites = {0},
  citedby = {0},
  pages = {374-391},
  booktitle = {Computer Science Today: Recent Trends and Developments},
  editor = {Jan van Leeuwen},
  volume = {1000},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-60105-8},
}

@article{HarelK84,
  title = {A Programming Language for the Inductive Sets, and Applications},
  author = {David Harel and Dexter Kozen},
  year = {1984},
  month = {October/November},
  tags = {programming languages, programming},
  researchr = {https://researchr.org/publication/HarelK84},
  cites = {0},
  citedby = {0},
  journal = {iandc},
  volume = {63},
  number = {1/2},
  pages = {118-139},
}

@inproceedings{Harel83,
  title = {Recurring Dominoes: Making the Highly Undecidable Highly Understandable (Preliminary Report)},
  author = {David Harel},
  year = {1983},
  researchr = {https://researchr.org/publication/Harel83},
  cites = {0},
  citedby = {0},
  pages = {177-194},
  booktitle = {fct},
}

@inproceedings{ChandraH80:1,
  title = {Structure and Complexity of Relational Queries},
  author = {Ashok K. Chandra and David Harel},
  year = {1980},
  researchr = {https://researchr.org/publication/ChandraH80%3A1},
  cites = {0},
  citedby = {0},
  pages = {333-347},
  booktitle = {focs},
}

@article{Harel01:0,
  title = {From Play-In Scenarios to Code: An Achievable Dream},
  author = {David Harel},
  year = {2001},
  url = {http://computer.org/computer/co2001/r1053abs.htm},
  researchr = {https://researchr.org/publication/Harel01%3A0},
  cites = {0},
  citedby = {0},
  journal = {Computer},
  volume = {34},
  number = {1},
  pages = {53-60},
}

@inproceedings{GlobermanH94,
  title = {Complexity Results for Multi-Pebble Automata and their Logics},
  author = {Noa Globerman and David Harel},
  year = {1994},
  tags = {logic},
  researchr = {https://researchr.org/publication/GlobermanH94},
  cites = {0},
  citedby = {0},
  pages = {73-82},
  booktitle = {icalp},
}

@inproceedings{DammH99,
  title = {LSCs: Breathing Life into Message Sequence Charts},
  author = {Werner Damm and David Harel},
  year = {1999},
  researchr = {https://researchr.org/publication/DammH99},
  cites = {0},
  citedby = {0},
  booktitle = {fmoods},
}

@inproceedings{HirstH93:0,
  title = {Completeness Results for Recursive Data Bases},
  author = {Tirza Hirst and David Harel},
  year = {1993},
  doi = {10.1145/153850.153905},
  url = {http://doi.acm.org/10.1145/153850.153905},
  tags = {completeness, data-flow},
  researchr = {https://researchr.org/publication/HirstH93%3A0},
  cites = {0},
  citedby = {0},
  pages = {244-252},
  booktitle = {PODS},
}

@article{HarelS95:0,
  title = {Randomized Graph Drawing with Heavy-Duty Preprocessing},
  author = {David Harel and Meir Sardas},
  year = {1995},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/HarelS95%3A0},
  cites = {0},
  citedby = {0},
  journal = {JCL (JVLC)},
  volume = {6},
  number = {3},
  pages = {233-253},
}

@article{HarelS85,
  title = {Propositional Dynamic Logic of Flowcharts},
  author = {David Harel and Rivi Sherman},
  year = {1985},
  month = {January/February/March},
  tags = {logic},
  researchr = {https://researchr.org/publication/HarelS85},
  cites = {0},
  citedby = {0},
  journal = {iandc},
  volume = {64},
  number = {1-3},
  pages = {119-135},
}

@article{HarelKV02,
  title = {On the Complexity of Verifying Concurrent Transition Systems},
  author = {David Harel and Orna Kupferman and Moshe Y. Vardi},
  year = {2002},
  url = {http://www.idealibrary.com/links/doi/10.1006/inco.2001.2920},
  researchr = {https://researchr.org/publication/HarelKV02},
  cites = {0},
  citedby = {0},
  journal = {iandc},
  volume = {173},
  number = {2},
  pages = {143-161},
}

@inproceedings{Harel93,
  title = {Computers are not Omnipotent (Abstract)},
  author = {David Harel},
  year = {1993},
  researchr = {https://researchr.org/publication/Harel93},
  cites = {0},
  citedby = {0},
  pages = {10},
  booktitle = {ESEC/FSE},
}

@inproceedings{HarelK00:0,
  title = {On the Behavioral Inheritance of State-Based Objects},
  author = {David Harel and Orna Kupferman},
  year = {2000},
  doi = {10.1109/TOOLS.2000.868961},
  url = {http://doi.ieeecomputersociety.org/10.1109/TOOLS.2000.868961},
  tags = {rule-based, meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/HarelK00%3A0},
  cites = {0},
  citedby = {0},
  pages = {83-94},
  booktitle = {TOOLS},
}

@article{HirstH96,
  title = {Completeness Results for Recursive Data Bases},
  author = {Tirza Hirst and David Harel},
  year = {1996},
  tags = {completeness, data-flow},
  researchr = {https://researchr.org/publication/HirstH96},
  cites = {0},
  citedby = {0},
  journal = {jcss},
  volume = {52},
  number = {3},
  pages = {522-536},
}

@inproceedings{SauroHKSUHMST06,
  title = {Challenges for modeling and simulation methods in systems biology},
  author = {Herbert M. Sauro and David Harel and Marta Z. Kwiatkowska and Clifford A. Shaffer and Adelinde M. Uhrmacher and Michael Hucka and Pedro Mendes and Lena Strömbäck and John J. Tyson},
  year = {2006},
  doi = {10.1145/1218112.1218425},
  url = {http://doi.acm.org/10.1145/1218112.1218425},
  tags = {modeling},
  researchr = {https://researchr.org/publication/SauroHKSUHMST06},
  cites = {0},
  citedby = {0},
  pages = {1720-1730},
  booktitle = {wsc},
}

@inproceedings{HarelS08:0,
  title = {Generic Reactive Animation: Realistic Modeling of Complex Natural Systems},
  author = {David Harel and Yaki Setty},
  year = {2008},
  doi = {10.1007/978-3-540-68413-8_1},
  url = {http://dx.doi.org/10.1007/978-3-540-68413-8_1},
  tags = {modeling},
  researchr = {https://researchr.org/publication/HarelS08%3A0},
  cites = {0},
  citedby = {0},
  pages = {1-16},
  booktitle = {fmsb},
}

@inproceedings{KuglerHPLB05,
  title = {Temporal Logic for Scenario-Based Specifications},
  author = {Hillel Kugler and David Harel and Amir Pnueli and Yuan Lu and Yves Bontemps},
  year = {2005},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3440&spage=445},
  tags = {rule-based, logic},
  researchr = {https://researchr.org/publication/KuglerHPLB05},
  cites = {0},
  citedby = {0},
  pages = {445-460},
  booktitle = {TACAS},
}

@article{HarelP84:0,
  title = {Undecidability of PDL with L={a^(2i)|i>=0}},
  author = {David Harel and Mike Paterson},
  year = {1984},
  researchr = {https://researchr.org/publication/HarelP84%3A0},
  cites = {0},
  citedby = {0},
  journal = {jcss},
  volume = {29},
  number = {3},
  pages = {359-365},
}

@inproceedings{HarelK01:0,
  title = {Clustering spatial data using random walks},
  author = {David Harel and Yehuda Koren},
  year = {2001},
  url = {http://portal.acm.org/citation.cfm?id=502512.502552},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/HarelK01%3A0},
  cites = {0},
  citedby = {0},
  pages = {281-286},
  booktitle = {kdd},
}

@inproceedings{BarakHM03,
  title = {InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming},
  author = {Dan Barak and David Harel and Rami Marelly},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3098&spage=66},
  tags = {rule-based, programming, design},
  researchr = {https://researchr.org/publication/BarakHM03},
  cites = {0},
  citedby = {0},
  pages = {66-86},
  booktitle = {ac},
}

@inproceedings{HadanyH99,
  title = {A Multi-Scale Algorithm for Drawing Graphs Nicely},
  author = {Ronny Hadany and David Harel},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1665/16650262.htm},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/HadanyH99},
  cites = {0},
  citedby = {0},
  pages = {262-277},
  booktitle = {criwg},
}

@article{Amir-KrollSCH08,
  title = {GemCell: A generic platform for modeling multi-cellular biological systems},
  author = {Hila Amir-Kroll and Avital Sadot and Irun R. Cohen and David Harel},
  year = {2008},
  doi = {10.1016/j.tcs.2007.11.014},
  url = {http://dx.doi.org/10.1016/j.tcs.2007.11.014},
  tags = {modeling},
  researchr = {https://researchr.org/publication/Amir-KrollSCH08},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {391},
  number = {3},
  pages = {276-290},
}

@article{EfroniHC05,
  title = {Reactive Animation: Realistic Modeling of Complex Dynamic Systems},
  author = {Sol Efroni and David Harel and Irun R. Cohen},
  year = {2005},
  doi = {10.1109/MC.2005.31},
  url = {http://doi.ieeecomputersociety.org/10.1109/MC.2005.31},
  tags = {modeling},
  researchr = {https://researchr.org/publication/EfroniHC05},
  cites = {0},
  citedby = {0},
  journal = {Computer},
  volume = {38},
  number = {1},
  pages = {38-47},
}

@article{ChandraH85,
  title = {Horn Clauses Queries and Generalizations},
  author = {Ashok K. Chandra and David Harel},
  year = {1985},
  researchr = {https://researchr.org/publication/ChandraH85},
  cites = {0},
  citedby = {0},
  journal = {jlp},
  volume = {2},
  number = {1},
  pages = {1-15},
}

@inproceedings{AtirHKM08,
  title = {Object Composition in Scenario-Based Programming},
  author = {Yoram Atir and David Harel and Asaf Kleinbort and Shahar Maoz},
  year = {2008},
  doi = {10.1007/978-3-540-78743-3_23},
  url = {http://dx.doi.org/10.1007/978-3-540-78743-3_23},
  tags = {object-oriented programming, rule-based, meta programming, composition, programming, subject-oriented programming, Meta-Environment, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/AtirHKM08},
  cites = {0},
  citedby = {0},
  pages = {301-316},
  booktitle = {FASE},
}

@article{HarelKP82,
  title = {Process Logic: Expressiveness, Decidability, Completeness},
  author = {David Harel and Dexter Kozen and Rohit Parikh},
  year = {1982},
  tags = {completeness, logic},
  researchr = {https://researchr.org/publication/HarelKP82},
  cites = {0},
  citedby = {0},
  journal = {jcss},
  volume = {25},
  number = {2},
  pages = {144-170},
}

@article{HirstH94,
  title = {On the Power of Bounded Concurrency II: Pushdown Automata},
  author = {Tirza Hirst and David Harel},
  year = {1994},
  doi = {10.1145/176584.176588},
  url = {http://doi.acm.org/10.1145/176584.176588},
  researchr = {https://researchr.org/publication/HirstH94},
  cites = {0},
  citedby = {0},
  journal = {JACM},
  volume = {41},
  number = {3},
  pages = {540-554},
}

@inproceedings{HirstH90,
  title = {On the Power of Bounded Concurrency II: The Pushdown Automata Level},
  author = {Tirza Hirst and David Harel},
  year = {1990},
  researchr = {https://researchr.org/publication/HirstH90},
  cites = {0},
  citedby = {0},
  pages = {1-17},
  booktitle = {caap},
}

@inproceedings{FeldmanH82,
  title = {A Probabilistic Dynamic Logic},
  author = {Yishai A. Feldman and David Harel},
  year = {1982},
  tags = {logic},
  researchr = {https://researchr.org/publication/FeldmanH82},
  cites = {0},
  citedby = {0},
  pages = {181-195},
  booktitle = {stoc},
}

@inproceedings{Harel06,
  title = {Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs},
  author = {David Harel},
  year = {2006},
  doi = {10.1007/11817963_3},
  url = {http://dx.doi.org/10.1007/11817963_3},
  tags = {rule-based, program verification},
  researchr = {https://researchr.org/publication/Harel06},
  cites = {0},
  citedby = {0},
  pages = {3-4},
  booktitle = {cav},
}

@inproceedings{HarelK00:1,
  title = {A Fast Multi-Scale Method for Drawing Large Graphs},
  author = {David Harel and Yehuda Koren},
  year = {2000},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/HarelK00%3A1},
  cites = {0},
  citedby = {0},
  pages = {282-285},
  booktitle = {avi},
}

@inproceedings{HarelP78,
  title = {Nondeterminism in Logics of Programs},
  author = {David Harel and Vaughan R. Pratt},
  year = {1978},
  tags = {logic programming, logic},
  researchr = {https://researchr.org/publication/HarelP78},
  cites = {0},
  citedby = {0},
  pages = {203-213},
  booktitle = {POPL},
}

@article{Harel88,
  title = {On Visual Formalisms},
  author = {David Harel},
  year = {1988},
  researchr = {https://researchr.org/publication/Harel88},
  cites = {0},
  citedby = {0},
  journal = {CACM},
  volume = {31},
  number = {5},
  pages = {514-530},
}

@inproceedings{HirstH93,
  title = {Taking it to the Limit: On Infinite Variants of NP-Complete Problems},
  author = {Tirza Hirst and David Harel},
  year = {1993},
  tags = {completeness},
  researchr = {https://researchr.org/publication/HirstH93},
  cites = {0},
  citedby = {0},
  pages = {292-304},
  booktitle = {cocoon},
}

@inproceedings{HarelR90,
  title = {Deciding Properties of Nonregular Programs (Preliminary Version)},
  author = {David Harel and Danny Raz},
  year = {1990},
  researchr = {https://researchr.org/publication/HarelR90},
  cites = {0},
  citedby = {0},
  pages = {652-661},
  booktitle = {focs},
}

@inproceedings{Harel03:0,
  title = {A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal},
  author = {David Harel},
  year = {2003},
  url = {http://link.springer.de/link/service/series/0558/bibs/2623/26230002.htm},
  tags = {modeling},
  researchr = {https://researchr.org/publication/Harel03%3A0},
  cites = {0},
  citedby = {0},
  pages = {2},
  booktitle = {hybrid},
}

@inproceedings{KamHKMPHS03,
  title = {Formal Modeling of C. elegans Development: A Scenario-Based Approach},
  author = {Na aman Kam and David Harel and Hillel Kugler and Rami Marelly and Amir Pnueli and E. Jane Albert Hubbard and Michael J. Stern},
  year = {2003},
  url = {http://link.springer.de/link/service/series/0558/bibs/2602/26020004.htm},
  tags = {rule-based, meta-model, modeling, model-driven development, C++, Meta-Environment, systematic-approach},
  researchr = {https://researchr.org/publication/KamHKMPHS03},
  cites = {0},
  citedby = {0},
  pages = {4-20},
  booktitle = {cmsb},
}

@inproceedings{HarelM02,
  title = {Playing with Time: On the Specification and Execution of Time-Enriched LSCs},
  author = {David Harel and Rami Marelly},
  year = {2002},
  url = {http://csdl.computer.org/comp/proceedings/mascots/2002/1840/00/18400193abs.htm},
  researchr = {https://researchr.org/publication/HarelM02},
  cites = {0},
  citedby = {0},
  pages = {193-202},
  booktitle = {mascots},
}

@article{Harel09,
  title = {Statecharts in the making: a personal account},
  author = {David Harel},
  year = {2009},
  doi = {10.1145/1467247.1467274},
  url = {http://doi.acm.org/10.1145/1467247.1467274},
  researchr = {https://researchr.org/publication/Harel09},
  cites = {0},
  citedby = {0},
  journal = {CACM},
  volume = {52},
  number = {3},
  pages = {67-75},
}

@inproceedings{KorenH03:0,
  title = {A two-way visualization method for clustered data},
  author = {Yehuda Koren and David Harel},
  year = {2003},
  doi = {10.1145/956750.956824},
  url = {http://doi.acm.org/10.1145/956750.956824},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/KorenH03%3A0},
  cites = {0},
  citedby = {0},
  pages = {589-594},
  booktitle = {kdd},
}

@inproceedings{AtirH07,
  title = {Using LSCs for scenario authoring in tactical simulators},
  author = {Yoram Atir and David Harel},
  year = {2007},
  doi = {10.1145/1357910.1357979},
  url = {http://doi.acm.org/10.1145/1357910.1357979},
  researchr = {https://researchr.org/publication/AtirH07},
  cites = {0},
  citedby = {0},
  pages = {437-442},
  booktitle = {SCSC},
}

@article{HarelG09,
  title = {On Teaching Visual Formalisms},
  author = {David Harel and Michal Gordon-Kiwkowitz},
  year = {2009},
  doi = {10.1109/MS.2009.76},
  url = {http://dx.doi.org/10.1109/MS.2009.76},
  tags = {teaching},
  researchr = {https://researchr.org/publication/HarelG09},
  cites = {0},
  citedby = {0},
  journal = {IEEE Software},
  volume = {26},
  number = {3},
  pages = {87-95},
}

@article{HarelSESC08,
  title = {Concurrency in Biological Modeling: Behavior, Execution and Visualization},
  author = {David Harel and Yaki Setty and Sol Efroni and Naamah Swerdlin and Irun R. Cohen},
  year = {2008},
  doi = {10.1016/j.entcs.2007.12.009},
  url = {http://dx.doi.org/10.1016/j.entcs.2007.12.009},
  tags = {modeling},
  researchr = {https://researchr.org/publication/HarelSESC08},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {194},
  number = {3},
  pages = {119-131},
}

@article{Harel80:2,
  title = {Proving the Correctness of Regular Deterministic Programs: A Unifying Survey Using Dynamic Logic},
  author = {David Harel},
  year = {1980},
  tags = {survey, logic programming, logic},
  researchr = {https://researchr.org/publication/Harel80%3A2},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {12},
  pages = {61-81},
}

@inproceedings{ShermanPH82,
  title = {Is the Interesting Part of Process Logic Uninteresting - A Translation from PL to PDL},
  author = {Rivi Sherman and Amir Pnueli and David Harel},
  year = {1982},
  tags = {translation, logic},
  researchr = {https://researchr.org/publication/ShermanPH82},
  cites = {0},
  citedby = {0},
  pages = {347-360},
  booktitle = {POPL},
}

@article{HarelS98,
  title = {An Algorithm for Straight-Line Drawing of Planar Graphs},
  author = {David Harel and Meir Sardas},
  year = {1998},
  tags = {planar graph, graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/HarelS98},
  cites = {0},
  citedby = {0},
  journal = {algorithmica},
  volume = {20},
  number = {2},
  pages = {119-135},
}

@article{HadanyH01,
  title = {A multi-scale algorithm for drawing graphs nicely},
  author = {Ronny Hadany and David Harel},
  year = {2001},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/HadanyH01},
  cites = {0},
  citedby = {0},
  journal = {DAM},
  volume = {113},
  number = {1},
  pages = {3-21},
}

@inproceedings{HarelRV90,
  title = {On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report)},
  author = {David Harel and Roni Rosner and Moshe Y. Vardi},
  year = {1990},
  researchr = {https://researchr.org/publication/HarelRV90},
  cites = {0},
  citedby = {0},
  pages = {478-488},
  booktitle = {lics},
}

@inproceedings{Harel78,
  title = {Arithmetical Completeness in Logics of Programs},
  author = {David Harel},
  year = {1978},
  tags = {completeness, logic programming, logic},
  researchr = {https://researchr.org/publication/Harel78},
  cites = {0},
  citedby = {0},
  pages = {268-288},
  booktitle = {icalp},
}

@article{Harel92,
  title = {Biting the Silver Bullet - Toward a Brighter Future for System Development},
  author = {David Harel},
  year = {1992},
  researchr = {https://researchr.org/publication/Harel92},
  cites = {0},
  citedby = {0},
  journal = {Computer},
  volume = {25},
  number = {1},
  pages = {8-20},
}

@inproceedings{MaozH06,
  title = {From multi-modal scenarios to code: compiling LSCs into aspectJ},
  author = {Shahar Maoz and David Harel},
  year = {2006},
  doi = {10.1145/1181775.1181802},
  url = {http://doi.acm.org/10.1145/1181775.1181802},
  tags = {AspectJ, compiler},
  researchr = {https://researchr.org/publication/MaozH06},
  cites = {0},
  citedby = {0},
  pages = {219-230},
  booktitle = {ESEC/FSE},
}

@inproceedings{Harel80:0,
  title = {on And/Or Schemes},
  author = {David Harel},
  year = {1980},
  researchr = {https://researchr.org/publication/Harel80%3A0},
  cites = {0},
  citedby = {0},
  pages = {246-260},
  booktitle = {mfcs},
}

@inproceedings{HarelKMP02,
  title = {Smart Play-out of Behavioral Requirements},
  author = {David Harel and Hillel Kugler and Rami Marelly and Amir Pnueli},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2517/25170378.htm},
  researchr = {https://researchr.org/publication/HarelKMP02},
  cites = {0},
  citedby = {0},
  pages = {378-398},
  booktitle = {FMCAD},
}

@article{BarakHM06,
  title = {InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming},
  author = {Dan Barak and David Harel and Rami Marelly},
  year = {2006},
  doi = {10.1109/TSE.2006.67},
  url = {http://doi.ieeecomputersociety.org/10.1109/TSE.2006.67},
  tags = {rule-based, programming, design},
  researchr = {https://researchr.org/publication/BarakHM06},
  cites = {0},
  citedby = {0},
  journal = {TSE},
  volume = {32},
  number = {7},
  pages = {467-485},
}

@article{HarelS96,
  title = {More on Nonregular PDL: Finite Models and Fibonacci-Like Programs},
  author = {David Harel and Eli Singerman},
  year = {1996},
  researchr = {https://researchr.org/publication/HarelS96},
  cites = {0},
  citedby = {0},
  journal = {iandc},
  volume = {128},
  number = {2},
  pages = {109-118},
}

@article{HarelK02:0,
  title = {On Object Systems and Behavioral Inheritance},
  author = {David Harel and Orna Kupferman},
  year = {2002},
  url = {http://www.computer.org:80/tse/ts2002/e0889abs.htm},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/HarelK02%3A0},
  cites = {0},
  citedby = {0},
  journal = {TSE},
  volume = {28},
  number = {9},
  pages = {889-903},
}

@article{HarelM03,
  title = {Specifying and executing behavioral requirements: the play-in/play-out approach},
  author = {David Harel and Rami Marelly},
  year = {2003},
  doi = {10.1007/s10270-002-0015-5},
  url = {http://dx.doi.org/10.1007/s10270-002-0015-5},
  tags = {systematic-approach},
  researchr = {https://researchr.org/publication/HarelM03},
  cites = {0},
  citedby = {0},
  journal = {SoSyM},
  volume = {2},
  number = {2},
  pages = {82-107},
}

@article{ChandraH82,
  title = {Structure and Complexity of Relational Queries},
  author = {Ashok K. Chandra and David Harel},
  year = {1982},
  researchr = {https://researchr.org/publication/ChandraH82},
  cites = {0},
  citedby = {0},
  journal = {jcss},
  volume = {25},
  number = {1},
  pages = {99-128},
}

@inproceedings{HarelKP05,
  title = {Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements},
  author = {David Harel and Hillel Kugler and Amir Pnueli},
  year = {2005},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3393&spage=309},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/HarelKP05},
  cites = {0},
  citedby = {0},
  pages = {309-324},
  booktitle = {BIRTHDAY},
}

@inproceedings{HarelK82,
  title = {A Programming Language for the Inductive Sets, and Applications},
  author = {David Harel and Dexter Kozen},
  year = {1982},
  tags = {programming languages, programming},
  researchr = {https://researchr.org/publication/HarelK82},
  cites = {0},
  citedby = {0},
  pages = {313-329},
  booktitle = {icalp},
}

@inproceedings{KorenCH02,
  title = {ACE: A Fast Multiscale Eigenvectors Computation for Drawing Huge Graphs},
  author = {Yehuda Koren and Liran Carmel and David Harel},
  year = {2002},
  url = {http://computer.org/proceedings/infovis/1751/17510137abs.htm},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/KorenCH02},
  cites = {0},
  citedby = {0},
  pages = {137-144},
  booktitle = {infovis},
}

@inproceedings{ChandraH82:0,
  title = {Horn Clauses and the Fixpoint Query Hierarchy},
  author = {Ashok K. Chandra and David Harel},
  year = {1982},
  doi = {10.1145/588111.588137},
  url = {http://doi.acm.org/10.1145/588111.588137},
  researchr = {https://researchr.org/publication/ChandraH82%3A0},
  cites = {0},
  citedby = {0},
  pages = {158-163},
  booktitle = {PODS},
}

@inproceedings{Harel98,
  title = {Towards a Theory of Recursive Structures},
  author = {David Harel},
  year = {1998},
  researchr = {https://researchr.org/publication/Harel98},
  cites = {0},
  citedby = {0},
  pages = {93-114},
  booktitle = {mcu},
}

@article{HarelR04,
  title = {Meaningful Modeling: What s the Semantics of  Semantics ?},
  author = {David Harel and Bernhard Rumpe},
  year = {2004},
  url = {http://csdl.computer.org/comp/mags/co/2004/10/rx064abs.htm},
  tags = {semantics, modeling},
  researchr = {https://researchr.org/publication/HarelR04},
  cites = {0},
  citedby = {0},
  journal = {Computer},
  volume = {37},
  number = {10},
  pages = {64-72},
}

@inproceedings{HarelK00,
  title = {Synthesizing State-Based Object Systems from LSC Specifications},
  author = {David Harel and Hillel Kugler},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/2088/20880001.htm},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/HarelK00},
  cites = {0},
  citedby = {0},
  pages = {1-33},
  booktitle = {wia},
}

@article{HarelM08,
  title = {Assert and negate revisited: Modal semantics for UML sequence diagrams},
  author = {David Harel and Shahar Maoz},
  year = {2008},
  doi = {10.1007/s10270-007-0054-z},
  url = {http://dx.doi.org/10.1007/s10270-007-0054-z},
  tags = {semantics, UML, sequence diagrams},
  researchr = {https://researchr.org/publication/HarelM08},
  cites = {0},
  citedby = {0},
  journal = {SoSyM},
  volume = {7},
  number = {2},
  pages = {237-252},
}

@inproceedings{Harel79:0,
  title = {Recursion in Logics of Programs},
  author = {David Harel},
  year = {1979},
  doi = {10.1145/567752.567760},
  url = {http://doi.acm.org/10.1145/567752.567760},
  tags = {completeness, logic programming, programming, context-aware, logic},
  researchr = {https://researchr.org/publication/Harel79%3A0},
  cites = {0},
  citedby = {0},
  pages = {81-92},
  booktitle = {POPL},
}

@inproceedings{BrinksmaHMSW06,
  title = {06351 Summary -- Methods for Modelling Software Systems (MMOSS)},
  author = {Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel Wieringa},
  year = {2006},
  url = {http://drops.dagstuhl.de/opus/volltexte/2007/957},
  researchr = {https://researchr.org/publication/BrinksmaHMSW06},
  cites = {0},
  citedby = {0},
  booktitle = {Dagstuhl},
}

@article{Etzion-PetruschkaHM94,
  title = {On the Solvability of Domino Snake Problems},
  author = {Yael Etzion-Petruschka and David Harel and Dale Myers},
  year = {1994},
  researchr = {https://researchr.org/publication/Etzion-PetruschkaHM94},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {131},
  number = {2},
  pages = {243-269},
}

@inproceedings{DrusinskyH88,
  title = {On the Power of Cooperative Concurrency},
  author = {Doron Drusinsky and David Harel},
  year = {1988},
  researchr = {https://researchr.org/publication/DrusinskyH88},
  cites = {0},
  citedby = {0},
  pages = {74-103},
  booktitle = {concur},
}

@article{SadotFBASHH08,
  title = {Toward Verified Biological Models},
  author = {Avital Sadot and Jasmin Fisher and Dan Barak and Yishai Admanit and Michael J. Stern and E. Jane Albert Hubbard and David Harel},
  year = {2008},
  doi = {10.1145/1371585.1371591},
  url = {http://doi.acm.org/10.1145/1371585.1371591},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/SadotFBASHH08},
  cites = {0},
  citedby = {0},
  journal = {tcbb},
  volume = {5},
  number = {2},
  pages = {223-234},
}

@inproceedings{GeryHP02,
  title = {Rhapsody: A Complete Life-Cycle Model-Based Development System},
  author = {Eran Gery and David Harel and Eldad Palachi},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2335/23350001.htm},
  tags = {rule-based, completeness, meta-model, model-driven development, Meta-Environment},
  researchr = {https://researchr.org/publication/GeryHP02},
  cites = {0},
  citedby = {0},
  pages = {1-10},
  booktitle = {IFM},
}

@article{HarelK02:2,
  title = {Synthesizing State-Based Object Systems from LSC Specifications},
  author = {David Harel and Hillel Kugler},
  year = {2002},
  url = {http://www.worldscinet.com/ijfcs/13/1301/S0129054102000935.html},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/HarelK02%3A2},
  cites = {0},
  citedby = {0},
  journal = {ijfcs},
  volume = {13},
  number = {1},
  pages = {5-51},
}

@inproceedings{KamCH01,
  title = {The Immune System as a Reactive System: Modeling T Cell Activation With Statecharts},
  author = {Na aman Kam and Irun R. Cohen and David Harel},
  year = {2001},
  url = {http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740015abs.htm},
  tags = {modeling},
  researchr = {https://researchr.org/publication/KamCH01},
  cites = {0},
  citedby = {0},
  pages = {15-22},
  booktitle = {vl},
}

@inproceedings{BrinksmaHMSW06a,
  title = {06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS)},
  author = {Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel Wieringa},
  year = {2006},
  url = {http://drops.dagstuhl.de/opus/volltexte/2007/958},
  researchr = {https://researchr.org/publication/BrinksmaHMSW06a},
  cites = {0},
  citedby = {0},
  booktitle = {Dagstuhl},
}

@inproceedings{HarelPS77,
  title = {A Complete Axiomatic System for Proving Deductions about Recursive Programs},
  author = {David Harel and Amir Pnueli and Jonathan Stavi},
  year = {1977},
  tags = {completeness},
  researchr = {https://researchr.org/publication/HarelPS77},
  cites = {0},
  citedby = {0},
  pages = {249-260},
  booktitle = {stoc},
}

@article{Harel86,
  title = {Effective transformations on infinite trees, with applications to high undecidability, dominoes, and fairness},
  author = {David Harel},
  year = {1986},
  doi = {10.1145/4904.4993},
  url = {http://doi.acm.org/10.1145/4904.4993},
  tags = {transformation},
  researchr = {https://researchr.org/publication/Harel86},
  cites = {0},
  citedby = {0},
  journal = {JACM},
  volume = {33},
  number = {1},
  pages = {224-248},
}

@inproceedings{HarelSKS08,
  title = {Crafting game-models using reactive system design},
  author = {David Harel and Itai Segall and Hillel Kugler and Yaki Setty},
  year = {2008},
  doi = {10.1145/1496984.1497005},
  url = {http://doi.acm.org/10.1145/1496984.1497005},
  tags = {design},
  researchr = {https://researchr.org/publication/HarelSKS08},
  cites = {0},
  citedby = {0},
  pages = {121-128},
  booktitle = {fplay},
}

@inproceedings{Harel98:1,
  title = {On the Aesthetics of Diagrams (Summary of Talk)},
  author = {David Harel},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1422/14220001.htm},
  researchr = {https://researchr.org/publication/Harel98%3A1},
  cites = {0},
  citedby = {0},
  pages = {1-5},
  booktitle = {mpc},
}

@inproceedings{Harel91,
  title = {Hamiltonian Paths in Infinite Graphs},
  author = {David Harel},
  year = {1991},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/Harel91},
  cites = {0},
  citedby = {0},
  pages = {220-229},
  booktitle = {stoc},
}

@article{Harel08,
  title = {Can Programming Be Liberated, Period?},
  author = {David Harel},
  year = {2008},
  doi = {10.1109/MC.2008.10},
  url = {http://doi.ieeecomputersociety.org/10.1109/MC.2008.10},
  tags = {programming},
  researchr = {https://researchr.org/publication/Harel08},
  cites = {0},
  citedby = {0},
  journal = {Computer},
  volume = {41},
  number = {1},
  pages = {28-37},
}

@inproceedings{Harel06:0,
  title = {Comprehensive and realistic modeling of biological systems},
  author = {David Harel},
  year = {2006},
  doi = {10.1145/1218112.1218408},
  url = {http://doi.acm.org/10.1145/1218112.1218408},
  tags = {modeling},
  researchr = {https://researchr.org/publication/Harel06%3A0},
  cites = {0},
  citedby = {0},
  pages = {1625-1627},
  booktitle = {wsc},
}

@inproceedings{Harel95:0,
  title = {Will I be Preety, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering},
  author = {David Harel},
  year = {1995},
  researchr = {https://researchr.org/publication/Harel95%3A0},
  cites = {0},
  citedby = {0},
  pages = {264-268},
  booktitle = {concur},
}

@inproceedings{Harel84,
  title = {A General Result on Infinite Trees and Its Applications (Preliminary Report)},
  author = {David Harel},
  year = {1984},
  researchr = {https://researchr.org/publication/Harel84},
  cites = {0},
  citedby = {0},
  pages = {418-427},
  booktitle = {stoc},
}

@article{HarelS82,
  title = {Looping vs. Repeating in Dynamic Logic},
  author = {David Harel and Rivi Sherman},
  year = {1982},
  month = {October/November/December},
  tags = {logic},
  researchr = {https://researchr.org/publication/HarelS82},
  cites = {0},
  citedby = {0},
  journal = {iandc},
  volume = {55},
  number = {1-3},
  pages = {175-192},
}

@inproceedings{Harel02:0,
  title = {Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?)},
  author = {David Harel},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2505/25050006.htm},
  researchr = {https://researchr.org/publication/Harel02%3A0},
  cites = {0},
  citedby = {0},
  pages = {6-7},
  booktitle = {gg},
}

@inproceedings{HarelS07,
  title = {Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs:::, :::},
  author = {David Harel and Itai Segall},
  year = {2007},
  doi = {10.1007/978-3-540-71209-1_37},
  url = {http://dx.doi.org/10.1007/978-3-540-71209-1_37},
  tags = {rule-based, traversal},
  researchr = {https://researchr.org/publication/HarelS07},
  cites = {0},
  citedby = {0},
  pages = {485-499},
  booktitle = {TACAS},
}

@inproceedings{DouglassHT96,
  title = {Statecharts in Use: Structured Analysis and Object-Orientation},
  author = {Bruce Powel Douglass and David Harel and Mark B. Trakhtenbrot},
  year = {1996},
  tags = {meta-model, analysis, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/DouglassHT96},
  cites = {0},
  citedby = {0},
  pages = {368-394},
  booktitle = {eef},
}

@article{ChandraH80,
  title = {Computable Queries for Relational Data Bases},
  author = {Ashok K. Chandra and David Harel},
  year = {1980},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/ChandraH80},
  cites = {0},
  citedby = {0},
  journal = {jcss},
  volume = {21},
  number = {2},
  pages = {156-178},
}

@article{HarelPS83,
  title = {Propositional Dynamic Logic of Nonregular Programs},
  author = {David Harel and Amir Pnueli and Jonathan Stavi},
  year = {1983},
  tags = {logic programming, logic},
  researchr = {https://researchr.org/publication/HarelPS83},
  cites = {0},
  citedby = {0},
  journal = {jcss},
  volume = {26},
  number = {2},
  pages = {222-243},
}

@article{harel1985development,
  title = {On the Development of Reactive Systems},
  author = {David Harel and Amir Pnueli},
  year = {1985},
  researchr = {https://researchr.org/publication/harel1985development},
  cites = {0},
  citedby = {0},
  journal = {Logics and models of concurrent systems},
}

@inproceedings{HarelEC02,
  title = {Reactive Animation},
  author = {David Harel and Sol Efroni and Irun R. Cohen},
  year = {2002},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2852&spage=136},
  researchr = {https://researchr.org/publication/HarelEC02},
  cites = {0},
  citedby = {0},
  pages = {136-153},
  booktitle = {FMCO},
}

@article{KorenH05,
  title = {One-dimensional layout optimization, with applications to graph drawing by axis separation},
  author = {Yehuda Koren and David Harel},
  year = {2005},
  doi = {10.1016/j.comgeo.2005.03.003},
  url = {http://dx.doi.org/10.1016/j.comgeo.2005.03.003},
  tags = {optimization, layout, graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/KorenH05},
  cites = {0},
  citedby = {0},
  journal = {comgeo},
  volume = {32},
  number = {2},
  pages = {115-138},
}

@inproceedings{ChandraH79,
  title = {Computable Queries for Relational Data Bases (Preliminary Report)},
  author = {Ashok K. Chandra and David Harel},
  year = {1979},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/ChandraH79},
  cites = {0},
  citedby = {0},
  pages = {309-318},
  booktitle = {stoc},
}

@inproceedings{GordonH09,
  title = {Generating Executable Scenarios from Natural Language},
  author = {Michal Gordon and David Harel},
  year = {2009},
  doi = {10.1007/978-3-642-00382-0_37},
  url = {http://dx.doi.org/10.1007/978-3-642-00382-0_37},
  researchr = {https://researchr.org/publication/GordonH09},
  cites = {0},
  citedby = {0},
  pages = {456-467},
  booktitle = {cicling},
}

@inproceedings{HarelKMP03,
  title = {Smart play-out},
  author = {David Harel and Hillel Kugler and Rami Marelly and Amir Pnueli},
  year = {2003},
  doi = {10.1145/949344.949353},
  url = {http://doi.acm.org/10.1145/949344.949353},
  researchr = {https://researchr.org/publication/HarelKMP03},
  cites = {0},
  citedby = {0},
  pages = {68-69},
  booktitle = {OOPSLA},
}

@inproceedings{HarelKP80,
  title = {Process Logic: Expressiveness, Decidability, Completeness},
  author = {David Harel and Dexter Kozen and Rohit Parikh},
  year = {1980},
  tags = {completeness, logic},
  researchr = {https://researchr.org/publication/HarelKP80},
  cites = {0},
  citedby = {0},
  pages = {129-142},
  booktitle = {focs},
}

@article{Gal-EzerBHY95,
  title = {A High School Program in Computer Science},
  author = {Judith Gal-Ezer and Catriel Beeri and David Harel and Amiram Yehudai},
  year = {1995},
  tags = {e-science},
  researchr = {https://researchr.org/publication/Gal-EzerBHY95},
  cites = {0},
  citedby = {0},
  journal = {Computer},
  volume = {28},
  number = {10},
  pages = {73-80},
}

@article{HarelR94,
  title = {Deciding Emptiness for Stack Automata on Infinite Trees},
  author = {David Harel and Danny Raz},
  year = {1994},
  month = {September},
  researchr = {https://researchr.org/publication/HarelR94},
  cites = {0},
  citedby = {0},
  journal = {iandc},
  volume = {113},
  number = {2},
  pages = {278-299},
}

@inproceedings{HarelKP04,
  title = {Smart Play-Out Extended: Time and Forbidden Elements},
  author = {David Harel and Hillel Kugler and Amir Pnueli},
  year = {2004},
  url = {http://csdl.computer.org/comp/proceedings/qsic/2004/2207/00/22070002abs.htm},
  researchr = {https://researchr.org/publication/HarelKP04},
  cites = {0},
  citedby = {0},
  pages = {2-10},
  booktitle = {qsic},
}

@inproceedings{HarelK01,
  title = {On Clustering Using Random Walks},
  author = {David Harel and Yehuda Koren},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2245/22450018.htm},
  researchr = {https://researchr.org/publication/HarelK01},
  cites = {0},
  citedby = {0},
  pages = {18-41},
  booktitle = {fsttcs},
}

@inproceedings{HarelS83,
  title = {Propositional Dynamic Logic of Flowcharts},
  author = {David Harel and Rivi Sherman},
  year = {1983},
  tags = {logic},
  researchr = {https://researchr.org/publication/HarelS83},
  cites = {0},
  citedby = {0},
  pages = {195-206},
  booktitle = {fct},
}

@inproceedings{HarelMP77,
  title = {Computability and Completeness in Logics of Programs (Preliminary Report)},
  author = {David Harel and Albert R. Meyer and Vaughan R. Pratt},
  year = {1977},
  tags = {completeness, logic programming, logic},
  researchr = {https://researchr.org/publication/HarelMP77},
  cites = {0},
  citedby = {0},
  pages = {261-268},
  booktitle = {stoc},
}

@article{HarelY02,
  title = {An algorithm for blob hierarchy layout},
  author = {David Harel and Gregory Yashchin},
  year = {2002},
  url = {http://link.springer.de/link/service/journals/00371/bibs/2018003/20180164.htm},
  tags = {layout},
  researchr = {https://researchr.org/publication/HarelY02},
  cites = {0},
  citedby = {0},
  journal = {vc},
  volume = {18},
  number = {3},
  pages = {164-185},
}

@inproceedings{HirstH96:0,
  title = {More About Recursive Structures: Descriptive Complexity and Zero-One Laws},
  author = {Tirza Hirst and David Harel},
  year = {1996},
  researchr = {https://researchr.org/publication/HirstH96%3A0},
  cites = {0},
  citedby = {0},
  pages = {334-347},
  booktitle = {lics},
}

@article{FeldmanH84,
  title = {A Probabilistic Dynamic Logic},
  author = {Yishai A. Feldman and David Harel},
  year = {1984},
  tags = {logic},
  researchr = {https://researchr.org/publication/FeldmanH84},
  cites = {0},
  citedby = {0},
  journal = {jcss},
  volume = {28},
  number = {2},
  pages = {193-215},
}

@inproceedings{ChandraH80:0,
  title = {Structure and Complexity of Relational Queries},
  author = {Ashok K. Chandra and David Harel},
  year = {1980},
  researchr = {https://researchr.org/publication/ChandraH80%3A0},
  cites = {0},
  citedby = {0},
  booktitle = {xp},
}

@inproceedings{KorenH02,
  title = {A Multi-scale Algorithm for the Linear Arrangement Problem},
  author = {Yehuda Koren and David Harel},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2573/25730296.htm},
  researchr = {https://researchr.org/publication/KorenH02},
  cites = {0},
  citedby = {0},
  pages = {296-309},
  booktitle = {criwg},
}

@article{Gal-EzerH98,
  title = {What (Else) Should CS Educators Know?},
  author = {Judith Gal-Ezer and David Harel},
  year = {1998},
  researchr = {https://researchr.org/publication/Gal-EzerH98},
  cites = {0},
  citedby = {0},
  journal = {CACM},
  volume = {41},
  number = {9},
  pages = {77-84},
}

@inproceedings{Harel94,
  title = {Will I be Pretty, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering (Summary)},
  author = {David Harel},
  year = {1994},
  doi = {10.1145/182591.182592},
  url = {http://doi.acm.org/10.1145/182591.182592},
  researchr = {https://researchr.org/publication/Harel94},
  cites = {0},
  citedby = {0},
  pages = {1-3},
  booktitle = {PODS},
}

@article{HarelK02,
  title = {A Fast Multi-Scale Method for Drawing Large Graphs},
  author = {David Harel and Yehuda Koren},
  year = {2002},
  url = {http://www.cs.brown.edu/publications/jgaa/accepted/2002/HarelKoren2002.6.3.pdf},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/HarelK02},
  cites = {0},
  citedby = {0},
  journal = {jgaa},
  volume = {6},
  number = {3},
  pages = {179-202},
}

@article{HarelLNPPSST90,
  title = {STATEMATE: A Working Environment for the Development of Complex Reactive Systems},
  author = {David Harel and Hagi Lachover and Amnon Naamad and Amir Pnueli and Michal Politi and Rivi Sherman and Aharon Shtull-Trauring and Mark B. Trakhtenbrot},
  year = {1990},
  url = {http://www.computer.org/tse/ts1990/e0403abs.htm},
  tags = {meta-model, model-driven development, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/HarelLNPPSST90},
  cites = {0},
  citedby = {0},
  journal = {TSE},
  volume = {16},
  number = {4},
  pages = {403-414},
}

@article{HarelP85,
  title = {More on Looping vs. Repeating in Dynamic Logic},
  author = {David Harel and David Peleg},
  year = {1985},
  tags = {logic},
  researchr = {https://researchr.org/publication/HarelP85},
  cites = {0},
  citedby = {0},
  journal = {ipl},
  volume = {20},
  number = {2},
  pages = {87-90},
}

@inproceedings{Harel97:0,
  title = {Some Thoughts on Statecharts, 13 Years Later},
  author = {David Harel},
  year = {1997},
  researchr = {https://researchr.org/publication/Harel97%3A0},
  cites = {0},
  citedby = {0},
  pages = {226-231},
  booktitle = {cav},
}

@article{Harel03,
  title = {A Grand Challenge for Computing: Towards Full Reactive Modeling of A Multi-Cellular Animal},
  author = {David Harel},
  year = {2003},
  tags = {modeling},
  researchr = {https://researchr.org/publication/Harel03},
  cites = {0},
  citedby = {0},
  journal = {eatcs},
  volume = {81},
  pages = {226-235},
}

@inproceedings{Harel04,
  title = {A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal},
  author = {David Harel},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2937&spage=323},
  tags = {modeling},
  researchr = {https://researchr.org/publication/Harel04},
  cites = {0},
  citedby = {0},
  pages = {323-324},
  booktitle = {vmcai},
}

@inproceedings{HarelPS81,
  title = {Propositional Dynamic Logic of Context-Free Programs},
  author = {David Harel and Amir Pnueli and Jonathan Stavi},
  year = {1981},
  tags = {logic programming, context-aware, logic},
  researchr = {https://researchr.org/publication/HarelPS81},
  cites = {0},
  citedby = {0},
  pages = {310-321},
  booktitle = {focs},
}

@inproceedings{Harel03:1,
  title = {On the Visualization and Aesthetics of Large Graphs: Short Abstract},
  author = {David Harel},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2890&spage=120},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/Harel03%3A1},
  cites = {0},
  citedby = {0},
  pages = {120},
  booktitle = {ershov},
}

@inproceedings{HarelMS08,
  title = {Some Results on the Expressive Power and Complexity of LSCs},
  author = {David Harel and Shahar Maoz and Itai Segall},
  year = {2008},
  doi = {10.1007/978-3-540-78127-1_19},
  url = {http://dx.doi.org/10.1007/978-3-540-78127-1_19},
  researchr = {https://researchr.org/publication/HarelMS08},
  cites = {0},
  citedby = {0},
  pages = {351-366},
  booktitle = {birthday},
}

@inproceedings{HarelPSS87,
  title = {On the Formal Semantics of Statecharts (Extended Abstract)},
  author = {David Harel and Amir Pnueli and Jeanette P. Schmidt and Rivi Sherman},
  year = {1987},
  tags = {semantics, formal semantics},
  researchr = {https://researchr.org/publication/HarelPSS87},
  cites = {0},
  citedby = {0},
  pages = {54-64},
  booktitle = {lics},
}

@article{HarelK92,
  title = {On Statecharts with Overlapping},
  author = {David Harel and Chaim-Arie Kahana},
  year = {1992},
  doi = {10.1145/136586.136589},
  url = {http://doi.acm.org/10.1145/136586.136589},
  researchr = {https://researchr.org/publication/HarelK92},
  cites = {0},
  citedby = {0},
  journal = {TOSEM},
  volume = {1},
  number = {4},
  pages = {399-421},
}

@article{HarelN96,
  title = {The STATEMATE Semantics of Statecharts},
  author = {David Harel and Amnon Naamad},
  year = {1996},
  doi = {10.1145/235321.235322},
  url = {http://doi.acm.org/10.1145/235321.235322},
  tags = {semantics},
  researchr = {https://researchr.org/publication/HarelN96},
  cites = {0},
  citedby = {0},
  journal = {TOSEM},
  volume = {5},
  number = {4},
  pages = {293-333},
}

@inproceedings{CarmelHK02,
  title = {Drawing Directed Graphs Using One-Dimensional Optimization},
  author = {Liran Carmel and David Harel and Yehuda Koren},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2528/25280193.htm},
  tags = {optimization, graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/CarmelHK02},
  cites = {0},
  citedby = {0},
  pages = {193-206},
  booktitle = {gd},
}

@article{DrusinskyH94,
  title = {On the Power of Bounded Concurrency I: Finite Automata},
  author = {Doron Drusinsky and David Harel},
  year = {1994},
  researchr = {https://researchr.org/publication/DrusinskyH94},
  cites = {0},
  citedby = {0},
  journal = {JACM},
  volume = {41},
  number = {3},
  pages = {517-539},
}

@inproceedings{Harel00:0,
  title = {From Play-In Scenarios to Code: An Achievable Dream},
  author = {David Harel},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1783/17830022.htm},
  researchr = {https://researchr.org/publication/Harel00%3A0},
  cites = {0},
  citedby = {0},
  pages = {22-34},
  booktitle = {FASE},
}

@inproceedings{HarelPS81:0,
  title = {Further Results on Propositional Dynamic Logic of Nonregular Programs},
  author = {David Harel and Amir Pnueli and Jonathan Stavi},
  year = {1981},
  tags = {logic programming, logic},
  researchr = {https://researchr.org/publication/HarelPS81%3A0},
  cites = {0},
  citedby = {0},
  pages = {124-136},
  booktitle = {lop},
}

@inproceedings{HarelK04:0,
  title = {The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version},
  author = {David Harel and Hillel Kugler},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3147&spage=325},
  tags = {semantics, UML},
  researchr = {https://researchr.org/publication/HarelK04%3A0},
  cites = {0},
  citedby = {0},
  pages = {325-354},
  booktitle = {dfg},
}

@inproceedings{Harel97:1,
  title = {On the Aesthetics of Diagrams},
  author = {David Harel},
  year = {1997},
  researchr = {https://researchr.org/publication/Harel97%3A1},
  cites = {0},
  citedby = {0},
  booktitle = {ngits},
}

@inproceedings{Harel00,
  title = {From Play-In Scenarios To Code: An Achievable Dream},
  author = {David Harel},
  year = {2000},
  url = {http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-33/Harel9.ps},
  researchr = {https://researchr.org/publication/Harel00},
  cites = {0},
  citedby = {0},
  pages = {9},
  booktitle = {dlog},
}

@article{HarelP85:0,
  title = {Process Logic with Regular Formulas},
  author = {David Harel and David Peleg},
  year = {1985},
  tags = {logic},
  researchr = {https://researchr.org/publication/HarelP85%3A0},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {38},
  pages = {307-322},
}

@inproceedings{Harel96:0,
  title = {Statecharts: Past, Present and Future (abstract)},
  author = {David Harel},
  year = {1996},
  researchr = {https://researchr.org/publication/Harel96%3A0},
  cites = {0},
  citedby = {0},
  pages = {285},
  booktitle = {sofsem},
}

@inproceedings{MaozKH07,
  title = {Towards Trace Visualization and Exploration for Reactive Systems},
  author = {Shahar Maoz and Asaf Kleinbort and David Harel},
  year = {2007},
  doi = {10.1109/VLHCC.2007.27},
  url = {http://doi.ieeecomputersociety.org/10.1109/VLHCC.2007.27},
  researchr = {https://researchr.org/publication/MaozKH07},
  cites = {0},
  citedby = {0},
  pages = {153-156},
  booktitle = {vl},
}

@article{DavidsonH96,
  title = {Drawing Graphs Nicely Using Simulated Annealing},
  author = {Ron Davidson and David Harel},
  year = {1996},
  doi = {10.1145/234535.234538},
  url = {http://doi.acm.org/10.1145/234535.234538},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/DavidsonH96},
  cites = {0},
  citedby = {0},
  journal = {tog},
  volume = {15},
  number = {4},
  pages = {301-331},
}

@article{HarelP84,
  title = {On Static Logics, Dynamic Logics, and Complexity Classes},
  author = {David Harel and David Peleg},
  year = {1984},
  month = {January/February/March},
  tags = {logic},
  researchr = {https://researchr.org/publication/HarelP84},
  cites = {0},
  citedby = {0},
  journal = {iandc},
  volume = {60},
  number = {1-3},
  pages = {86-102},
}

@article{ShermanPH84,
  title = {Is the Interesting Part of Process Logic Uninteresting? A Translation from PL to PDL},
  author = {Rivi Sherman and Amir Pnueli and David Harel},
  year = {1984},
  tags = {translation, logic},
  researchr = {https://researchr.org/publication/ShermanPH84},
  cites = {0},
  citedby = {0},
  journal = {SICOMP},
  volume = {13},
  number = {4},
  pages = {825-839},
}

@inproceedings{Harel98:0,
  title = {Towards a Theory of Recursive Structures},
  author = {David Harel},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1450/14500036.htm},
  researchr = {https://researchr.org/publication/Harel98%3A0},
  cites = {0},
  citedby = {0},
  pages = {36-53},
  booktitle = {mfcs},
}

@inproceedings{KorenH03,
  title = {Axis-by-Axis Stress Minimization},
  author = {Yehuda Koren and David Harel},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2912&spage=450},
  researchr = {https://researchr.org/publication/KorenH03},
  cites = {0},
  citedby = {0},
  pages = {450-459},
  booktitle = {gd},
}

@inproceedings{HarelS95,
  title = {More on Nonregular PDL: Expressive Power, Finite Models, Fibonacci Programs},
  author = {David Harel and Eli Singerman},
  year = {1995},
  researchr = {https://researchr.org/publication/HarelS95},
  cites = {0},
  citedby = {0},
  pages = {140-149},
  booktitle = {istcs},
}

@inproceedings{Harel01,
  title = {On the Behavior of Complex Object-Oriented Systems},
  author = {David Harel},
  year = {2001},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/Harel01},
  cites = {0},
  citedby = {0},
  pages = {11-15},
  booktitle = {omer},
}

@inproceedings{Harel94:0,
  title = {Towards a Theory of Recursive Structures},
  author = {David Harel},
  year = {1994},
  researchr = {https://researchr.org/publication/Harel94%3A0},
  cites = {0},
  citedby = {0},
  pages = {633-645},
  booktitle = {STACS},
}

@inproceedings{HarelG96,
  title = {Executable Object Modeling with Statecharts},
  author = {David Harel and Eran Gery},
  year = {1996},
  url = {http://portal.acm.org/citation.cfm?id=227726.227770},
  tags = {meta-model, modeling, object-role modeling, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/HarelG96},
  cites = {0},
  citedby = {0},
  pages = {246-257},
  booktitle = {ICSE},
}

@inproceedings{HarelY00,
  title = {An Algorithm for Blob Hierarchy Layout},
  author = {David Harel and Gregory Yashchin},
  year = {2000},
  tags = {layout},
  researchr = {https://researchr.org/publication/HarelY00},
  cites = {0},
  citedby = {0},
  pages = {29-40},
  booktitle = {avi},
}

@book{Harel79,
  title = {First-Order Dynamic Logic},
  author = {David Harel},
  year = {1979},
  tags = {logic},
  researchr = {https://researchr.org/publication/Harel79},
  cites = {0},
  citedby = {0},
  volume = {68},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-09237-4},
}

@article{DammH01,
  title = {LSCs: Breathing Life into Message Sequence Charts},
  author = {Werner Damm and David Harel},
  year = {2001},
  researchr = {https://researchr.org/publication/DammH01},
  cites = {0},
  citedby = {0},
  journal = {fmsd},
  volume = {19},
  number = {1},
  pages = {45-80},
}

@inproceedings{Harel90,
  title = {How Hard Is It to Reason about Propositional Programs?},
  author = {David Harel},
  year = {1990},
  researchr = {https://researchr.org/publication/Harel90},
  cites = {0},
  citedby = {0},
  pages = {772-773},
  booktitle = {ICLP},
}

@article{Harel80:1,
  title = {On Folk Theorems},
  author = {David Harel},
  year = {1980},
  researchr = {https://researchr.org/publication/Harel80%3A1},
  cites = {0},
  citedby = {0},
  journal = {CACM},
  volume = {23},
  number = {7},
  pages = {379-389},
}

@inproceedings{HarelS97,
  title = {Computation Paths Logic: An Expressive, yet Elementary, Process Logic (abridged version)},
  author = {David Harel and Eli Singerman},
  year = {1997},
  tags = {logic},
  researchr = {https://researchr.org/publication/HarelS97},
  cites = {0},
  citedby = {0},
  pages = {408-418},
  booktitle = {icalp},
}

@inproceedings{HarelS94,
  title = {Randomized Graph Drawing with Heavy-Duty Preprocessing},
  author = {David Harel and Meir Sardas},
  year = {1994},
  doi = {10.1145/192309.192319},
  url = {http://doi.acm.org/10.1145/192309.192319},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/HarelS94},
  cites = {0},
  citedby = {0},
  pages = {19-33},
  booktitle = {avi},
}

@article{CombesHK08,
  title = {Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool},
  author = {Pierre Combes and David Harel and Hillel Kugler},
  year = {2008},
  doi = {10.1007/s10270-007-0069-5},
  url = {http://dx.doi.org/10.1007/s10270-007-0069-5},
  tags = {modeling},
  researchr = {https://researchr.org/publication/CombesHK08},
  cites = {0},
  citedby = {0},
  journal = {SoSyM},
  volume = {7},
  number = {2},
  pages = {157-175},
}

@article{HarelCL03,
  title = {Towards an odor communication system},
  author = {David Harel and Liran Carmel and Doron Lancet},
  year = {2003},
  doi = {10.1016/S1476-9271(02)00092-0},
  url = {http://dx.doi.org/10.1016/S1476-9271(02)00092-0},
  researchr = {https://researchr.org/publication/HarelCL03},
  cites = {0},
  citedby = {0},
  journal = {CANDC},
  volume = {27},
  number = {2},
  pages = {121-133},
}

@inproceedings{MarellyHK02,
  title = {Multiple instances and symbolic variables in executable sequence charts},
  author = {Rami Marelly and David Harel and Hillel Kugler},
  year = {2002},
  doi = {10.1145/582419.582429},
  url = {http://doi.acm.org/10.1145/582419.582429},
  researchr = {https://researchr.org/publication/MarellyHK02},
  cites = {0},
  citedby = {0},
  pages = {83-100},
  booktitle = {OOPSLA},
}

@article{HarelS99,
  title = {Computation Paths Logic: An Expressive, yet Elementary, Process Logic},
  author = {David Harel and Eli Singerman},
  year = {1999},
  tags = {logic},
  researchr = {https://researchr.org/publication/HarelS99},
  cites = {0},
  citedby = {0},
  journal = {APAL},
  volume = {96},
  number = {1-3},
  pages = {167-186},
}

@inproceedings{Harel89,
  title = {A Thesis for Bounded Concurrency},
  author = {David Harel},
  year = {1989},
  researchr = {https://researchr.org/publication/Harel89},
  cites = {0},
  citedby = {0},
  pages = {35-48},
  booktitle = {mfcs},
}

@inproceedings{Harel97:3,
  title = {On the Aesthetics of Diagrams},
  author = {David Harel},
  year = {1997},
  researchr = {https://researchr.org/publication/Harel97%3A3},
  cites = {0},
  citedby = {0},
  pages = {128-130},
  booktitle = {vl},
}

@inproceedings{FisherHHPSS04,
  title = {Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems},
  author = {Jasmin Fisher and David Harel and E. Jane Albert Hubbard and Nir Piterman and Michael J. Stern and Naamah Swerdlin},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3082&spage=236},
  tags = {rule-based, modeling, e-science, systematic-approach},
  researchr = {https://researchr.org/publication/FisherHHPSS04},
  cites = {0},
  citedby = {0},
  pages = {236-241},
  booktitle = {cmsb},
}

@article{HarelK04,
  title = {Graph Drawing by High-Dimensional Embedding},
  author = {David Harel and Yehuda Koren},
  year = {2004},
  url = {http://jgaa.info/accepted/2004/HarelKoren2004.8.2.pdf},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/HarelK04},
  cites = {0},
  citedby = {0},
  journal = {jgaa},
  volume = {8},
  number = {2},
  pages = {195-214},
}

@article{Harel87,
  title = {Statecharts: A Visual Formulation for Complex Systems},
  author = {David Harel},
  year = {1987},
  researchr = {https://researchr.org/publication/Harel87},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {8},
  number = {3},
  pages = {231-274},
}

@article{GlobermanH96,
  title = {Complexity Results for Two-Way and Multi-Pebble Automata and their Logics},
  author = {Noa Globerman and David Harel},
  year = {1996},
  doi = {10.1016/S0304-3975(96)00119-3},
  url = {http://dx.doi.org/10.1016/S0304-3975(96)00119-3},
  tags = {logic},
  researchr = {https://researchr.org/publication/GlobermanH96},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {169},
  number = {2},
  pages = {161-184},
}

@article{Harel81,
  title = {On the Total Correctness of Nondeterministic Programs},
  author = {David Harel},
  year = {1981},
  researchr = {https://researchr.org/publication/Harel81},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {13},
  pages = {175-192},
}

@article{HarelG97,
  title = {Executable Object Modeling with Statecharts},
  author = {David Harel and Eran Gery},
  year = {1997},
  tags = {meta-model, modeling, object-role modeling, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/HarelG97},
  cites = {0},
  citedby = {0},
  journal = {Computer},
  volume = {30},
  number = {7},
  pages = {31-42},
}

@article{HarelR93,
  title = {Deciding Properties of Nonregular Programs},
  author = {David Harel and Danny Raz},
  year = {1993},
  researchr = {https://researchr.org/publication/HarelR93},
  cites = {0},
  citedby = {0},
  journal = {SICOMP},
  volume = {22},
  number = {4},
  pages = {857-874},
}

@article{Harel79:1,
  title = {Two Results on Process Logic},
  author = {David Harel},
  year = {1979},
  tags = {logic},
  researchr = {https://researchr.org/publication/Harel79%3A1},
  cites = {0},
  citedby = {0},
  journal = {ipl},
  volume = {8},
  number = {4},
  pages = {195-198},
}

@article{KupfermanH03,
  title = {Response to  Comments on  On Object Systems and Behavior Inheritance  },
  author = {Orna Kupferman and David Harel},
  year = {2003},
  url = {http://www.computer.org/tse/ts2003/e0576abs.htm},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/KupfermanH03},
  cites = {0},
  citedby = {0},
  journal = {TSE},
  volume = {29},
  number = {6},
  pages = {576},
}

@inproceedings{Harel07,
  title = {Statecharts in the making: a personal account},
  author = {David Harel},
  year = {2007},
  doi = {10.1145/1238844.1238849},
  url = {http://doi.acm.org/10.1145/1238844.1238849},
  researchr = {https://researchr.org/publication/Harel07},
  cites = {0},
  citedby = {0},
  pages = {1-43},
  booktitle = {HOPL},
}

@inproceedings{HarelS08,
  title = {Visualizing inter-dependencies between scenarios},
  author = {David Harel and Itai Segall},
  year = {2008},
  doi = {10.1145/1409720.1409744},
  url = {http://doi.acm.org/10.1145/1409720.1409744},
  researchr = {https://researchr.org/publication/HarelS08},
  cites = {0},
  citedby = {0},
  pages = {145-153},
  booktitle = {softvis},
}

@inproceedings{HarelKV97,
  title = {On the Complexity of Verifying Concurrent Transition Systems},
  author = {David Harel and Orna Kupferman and Moshe Y. Vardi},
  year = {1997},
  researchr = {https://researchr.org/publication/HarelKV97},
  cites = {0},
  citedby = {0},
  pages = {258-272},
  booktitle = {concur},
}

@inproceedings{Harel97,
  title = {Towards a Theory of Recursive Structures (extended abstract)},
  author = {David Harel},
  year = {1997},
  researchr = {https://researchr.org/publication/Harel97},
  cites = {0},
  citedby = {0},
  pages = {141-144},
  booktitle = {lfcs},
}

@inproceedings{Harel96,
  title = {Some Thoughts on Statecharts, 13 Years Later (Abstract)},
  author = {David Harel},
  year = {1996},
  researchr = {https://researchr.org/publication/Harel96},
  cites = {0},
  citedby = {0},
  pages = {361},
  booktitle = {asian},
}

@inproceedings{HarelLNPPSS88,
  title = {STATEMATE; A Working Environment for the Development of Complex Reactive Systems},
  author = {David Harel and Hagi Lachover and Amnon Naamad and Amir Pnueli and Michal Politi and Rivi Sherman and Aharon Shtull-Trauring},
  year = {1988},
  tags = {meta-model, model-driven development, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/HarelLNPPSS88},
  cites = {0},
  citedby = {0},
  pages = {396-406},
  booktitle = {ICSE},
}

@article{CarmelHK04,
  title = {Combining Hierarchy and Energy Drawing Directed Graphs},
  author = {Liran Carmel and David Harel and Yehuda Koren},
  year = {2004},
  url = {http://csdl.computer.org/comp/trans/tg/2004/01/v0046abs.htm},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/CarmelHK04},
  cites = {0},
  citedby = {0},
  journal = {tvcg},
  volume = {10},
  number = {1},
  pages = {46-57},
}

@article{HirstH96a,
  title = {Taking It to the Limit: On Infinite Variants of NP-Complete Problems},
  author = {Tirza Hirst and David Harel},
  year = {1996},
  tags = {completeness},
  researchr = {https://researchr.org/publication/HirstH96a},
  cites = {0},
  citedby = {0},
  journal = {jcss},
  volume = {53},
  number = {2},
  pages = {180-193},
}

@inproceedings{HarelK00:2,
  title = {A Fast Multi-scale Method for Drawing Large Graphs},
  author = {David Harel and Yehuda Koren},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1984/19840183.htm},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/HarelK00%3A2},
  cites = {0},
  citedby = {0},
  pages = {183-196},
  booktitle = {gd},
}

@inproceedings{HarelKM07,
  title = {S2A: A Compiler for Multi-modal UML Sequence Diagrams},
  author = {David Harel and Asaf Kleinbort and Shahar Maoz},
  year = {2007},
  doi = {10.1007/978-3-540-71289-3_11},
  url = {http://dx.doi.org/10.1007/978-3-540-71289-3_11},
  tags = {UML, compiler, sequence diagrams},
  researchr = {https://researchr.org/publication/HarelKM07},
  cites = {0},
  citedby = {0},
  pages = {121-124},
  booktitle = {FASE},
}

@inproceedings{HarelKW03,
  title = {Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach},
  author = {David Harel and Hillel Kugler and Gera Weiss},
  year = {2003},
  doi = {10.1007/11495628_2},
  url = {http://dx.doi.org/10.1007/11495628_2},
  tags = {systematic-approach},
  researchr = {https://researchr.org/publication/HarelKW03},
  cites = {0},
  citedby = {0},
  pages = {26-42},
  booktitle = {Dagstuhl},
}

@inproceedings{HarelM06,
  title = {Assert and negate revisited: modal semantics for UML sequence diagrams},
  author = {David Harel and Shahar Maoz},
  year = {2006},
  doi = {10.1145/1138953.1138958},
  url = {http://doi.acm.org/10.1145/1138953.1138958},
  tags = {semantics, UML, sequence diagrams},
  researchr = {https://researchr.org/publication/HarelM06},
  cites = {0},
  citedby = {0},
  pages = {13-20},
  booktitle = {scesm},
}

@inproceedings{Harel97:2,
  title = {Will I Be Pretty, Will I Be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering},
  author = {David Harel},
  year = {1997},
  url = {http://computer.org/proceedings/re/7740/77400184abs.htm},
  researchr = {https://researchr.org/publication/Harel97%3A2},
  cites = {0},
  citedby = {0},
  pages = {184},
  booktitle = {RE},
}
@proceedings{models:2006,
  title = {Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings},
  year = {2006},
  tags = {meta-model, modeling language, language engineering, language modeling, model-driven engineering, Meta-Environment},
  researchr = {https://researchr.org/publication/models%3A2006},
  cites = {0},
  citedby = {0},
  booktitle = {Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings},
  conference = {MoDELS},
  editor = {Oscar Nierstrasz and Jon Whittle and David Harel and Gianna Reggio},
  volume = {4199},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-45772-0},
}

@proceedings{dagstuhl:2006P6351,
  title = {Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006},
  year = {2007},
  researchr = {https://researchr.org/publication/dagstuhl%3A2006P6351},
  cites = {0},
  citedby = {0},
  booktitle = {Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006},
  conference = {Dagstuhl},
  editor = {Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel Wieringa},
  volume = {06351},
  series = {Dagstuhl Seminar Proceedings},
  publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
}