@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 1997: 23rd International Conference on Technology of Object-Oriented Languages and Systems, July 28 - August 1, 1997, Santa Barbara, CA, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-8186-8383-X},
}

@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 = {Embedded Software, Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002, Proceedings},
  editor = {Alberto L. Sangiovanni-Vincentelli and Joseph Sifakis},
  volume = {2491},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-44307-X},
}

@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 = {Graph Drawing, 10th International Symposium, GD 2002, Irvine, CA, USA, August 26-28, 2002, Revised Papers},
  editor = {Stephen G. Kobourov and Michael T. Goodrich},
  volume = {2528},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00158-1},
}

@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 = {Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  editor = {Doron Peled and Yih-Kuen Tsay},
  volume = {3707},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-29209-8},
}

@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 = {ACM Transactions on Programming Languages and Systems},
  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 = {IEEE Trans. on CAD of Integrated Circuits and Systems},
  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 = {Inf. Comput.},
  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 = {Fundamentals of Computation Theory, Proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983},
  editor = {Marek Karpinski},
  volume = {158},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-12689-9},
}

@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 = {21st Annual Symposium on Foundations of Computer Science, 13-15 October 1980, Syracuse, New York, USA},
  publisher = {IEEE},
}

@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 = {IEEE 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 = {Automata, Languages and Programming, 21st International Colloquium, ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings},
  editor = {Serge Abiteboul and Eli Shamir},
  volume = {820},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-58201-0},
}

@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 = {Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  editor = {Paolo Ciancarini and Alessandro Fantechi and Roberto Gorrieri},
  volume = {139},
  series = {IFIP Conference Proceedings},
  publisher = {Kluwer},
  isbn = {0-7923-8429-6},
}

@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 = {Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 25-28, 1993, Washington, DC},
  publisher = {ACM Press},
  isbn = {0-89791-593-3},
}

@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 = {Journal of Computer Languages},
  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 = {Inf. Comput.},
  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 = {Inf. Comput.},
  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 = {Software Engineering - ESEC  93, 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993, Proceedings},
  editor = {Ian Sommerville and Manfred Paul},
  volume = {717},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57209-0},
}

@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 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July - 3 August 2000, Santa Barbara, CA, USA},
  editor = {Qizoyan Li and Donald Firesmith and Richard Riehle and Bertrand Meyer},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-0774-3},
}

@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 = {J. Comput. Syst. Sci.},
  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 = {Proceedings of the Winter Simulation Conference WSC 2006, Monterey, California, USA, December 3-6, 2006},
  editor = {L. Felipe Perrone and Barry Lawson and Jason Liu and Frederick P. Wieland},
  publisher = {WSC},
  isbn = {1-4244-0501-7},
}

@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 = {Formal Methods in Systems Biology, First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings},
  editor = {Jasmin Fisher},
  volume = {5054},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-68410-7},
}

@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 = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings},
  editor = {Nicolas Halbwachs and Lenore D. Zuck},
  volume = {3440},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-25333-5},
}

@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 = {J. Comput. Syst. Sci.},
  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 = {Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additiona},
  editor = {Jörg Desel and Wolfgang Reisig and Grzegorz Rozenberg},
  volume = {3098},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22261-8},
}

@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 = {Graph-Theoretic Concepts in Computer Science, 25th International Workshop, WG  99, Ascona, Switzerland, June 17-19, 1999, Proceedings},
  editor = {Peter Widmayer and Gabriele Neyer and Stephan Eidenbenz},
  volume = {1665},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66731-8},
}

@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 = {Theoretical Computer Science},
  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 = {IEEE 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 = {Journal of Logic and Algebraic Programming},
  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 = {Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings},
  editor = {José Luiz Fiadeiro and Paola Inverardi},
  volume = {4961},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-78742-6},
}

@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 = {J. Comput. Syst. Sci.},
  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 = {Journal of the ACM},
  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  90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings},
  editor = {André Arnold},
  volume = {431},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-52590-4},
}

@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 = {Proceedings of the Fourteenth Annual ACM Symposium on Theory of Computing, 5-7 May 1982, San Francisco, California, USA},
  publisher = {ACM},
}

@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 = {Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
  editor = {Thomas Ball and Robert B. Jones},
  volume = {4144},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-37406-X},
}

@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 = {Advanced Visual Interfaces},
}

@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 = {Communications of the ACM},
  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 = {Structure in Complexity Theory Conference},
}

@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 = {31st Annual Symposium on Foundations of Computer Science, 22-24 October 1990, St. Louis, Missouri, USA},
  volume = {II},
  publisher = {IEEE},
}

@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 Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  editor = {Oded Maler and Amir Pnueli},
  volume = {2623},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00913-2},
}

@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 = {Computational Methods in Systems Biology, First International Workshop, CMSB 2003, Roverto, Italy, February 24-26, 2003, Proceedings},
  editor = {Corrado Priami},
  volume = {2602},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00605-2},
}

@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 = {10th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2002), 11-16 October 2002, Fort Worth, Texas, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1840-0},
}

@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 = {Communications of the ACM},
  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 = {Proceedings of the Ninth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, August 24 - 27, 2003},
  editor = {Lise Getoor and Ted E. Senator and Pedro Domingos and Christos Faloutsos},
  publisher = {ACM},
  isbn = {1-58113-737-0},
}

@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 = {Proceedings of the 2007 Summer Computer Simulation Conference, SCSC 2007, San Diego, California, USA, July 16-19, 2007},
  editor = {Gabriel Andrés Wainer},
  publisher = {Simulation Councils, Inc.},
  isbn = {1-56555-316-0},
}

@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 = {Electronic Notes in Theoretical Computer Science},
  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 = {Theoretical Computer Science},
  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 = {Discrete Applied Mathematics},
  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 = {Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA},
  publisher = {IEEE Computer Society},
}

@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 = {Automata, Languages and Programming, Fifth Colloquium, Udine, Italy, July 17-21, 1978, Proceedings},
  editor = {Giorgio Ausiello and Corrado Böhm},
  volume = {62},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-08860-1},
}

@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 = {IEEE 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 = {Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2005, Portland, Oregon, USA, November 5-11, 2006},
  editor = {Michal Young and Premkumar T. Devanbu},
  publisher = {ACM},
  isbn = {1-59593-468-5},
}

@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 = {Mathematical Foundations of Computer Science 1980 (MFCS 80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980},
  editor = {Piotr Dembinski},
  volume = {88},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-10027-X},
}

@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 = {Formal Methods in Computer-Aided Design, 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
  editor = {Mark Aagaard and John W. O Leary},
  volume = {2517},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00116-6},
}

@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 = {IEEE Trans. Software Eng.},
  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 = {Inf. Comput.},
  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 = {IEEE Trans. Software Eng.},
  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 = {Software and Systems Modeling},
  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 = {J. Comput. Syst. Sci.},
  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 = {Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday},
  editor = {Hans-Jörg Kreowski and Ugo Montanari and Fernando Orejas and Grzegorz Rozenberg and Gabriele Taentzer},
  volume = {3393},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-24936-2},
}

@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 = {Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings},
  editor = {Mogens Nielsen and Erik Meineche Schmidt},
  volume = {140},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-11576-5},
}

@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 = {2002 IEEE Symposium on Information Visualization (InfoVis 2002), 27 October - 1 November 2002, Boston, MA, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1751-X},
}

@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 = {Proceedings of the ACM Symposium on Principles of Database Systems, March 29-31, 1982, Los Angeles, California},
  publisher = {ACM},
}

@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 = {International Colloquium Universal Machines and Computations, MCU 98, Metz, France, March 23-27, 1998, Proceedings, Volume I},
  editor = {Maurice Margenstern},
  publisher = {IUT Metz},
  isbn = {2-9511539-2-9},
}

@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 = {IEEE 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 = {Implementation and Application of Automata, 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
  editor = {Sheng Yu and Andrei Paun},
  volume = {2088},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42491-1},
}

@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 = {Software and Systems Modeling},
  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 = {Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming language},
  editor = {Barry K. Rosen and Alfred V. Aho and Stephen N. Zilles	 },
  publisher = {ACM},
}

@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 = {Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006},
  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},
}

@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 = {Theoretical Computer Science},
  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 = {Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings},
  editor = {Friedrich H. Vogt},
  volume = {335},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-50403-6},
}

@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 = {IEEE/ACM Trans. Comput. Biology Bioinform.},
  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 = {Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings},
  editor = {Michael J. Butler and Luigia Petre and Kaisa Sere},
  volume = {2335},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43703-7},
}

@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 = {Int. J. Found. Comput. Sci.},
  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 = {2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), September 5-7, 2001 Stresa, Italy},
  publisher = {IEEE Computer Society},
}

@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 = {Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006},
  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},
}

@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 = {Conference Record of the Ninth Annual ACM Symposium on Theory of Computing, 2-4 May 1977, Boulder, Colorado, USA},
  publisher = {ACM},
}

@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 = {Journal of the ACM},
  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 = {Proceedings of the 2008 Conference on Future Play: Research, Play, Share, Future Play 2008, Toronto, Ontario, Canada, November 3-5, 2008},
  editor = {Bill Kapralos and Michael Katchabaw and Jay Rajnovich},
  publisher = {ACM},
  isbn = {978-1-60558-218-4},
}

@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 = {Mathematics of Program Construction, MPC 98, Marstrand, Sweden, June 15-17, 1998, Proceedings},
  editor = {Johan  Jeuring},
  volume = {1422},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64591-8},
}

@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 = {Proceedings of the Twenty Third Annual ACM Symposium on Theory of Computing, 6-8 May 1991, New Orleans, Louisiana, USA},
  publisher = {ACM},
}

@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 = {IEEE 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 = {Proceedings of the Winter Simulation Conference WSC 2006, Monterey, California, USA, December 3-6, 2006},
  editor = {L. Felipe Perrone and Barry Lawson and Jason Liu and Frederick P. Wieland},
  publisher = {WSC},
  isbn = {1-4244-0501-7},
}

@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  95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings},
  editor = {Insup Lee and Scott A. Smolka},
  volume = {962},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-60218-6},
}

@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 = {Proceedings of the Sixteenth Annual ACM Symposium on Theory of Computing, 1984, Washington, D.C., USA},
  publisher = {ACM},
}

@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 = {Inf. Comput.},
  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 = {Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings},
  editor = {Andrea Corradini and Hartmut Ehrig and Hans-Jörg Kreowski and Grzegorz Rozenberg},
  volume = {2505},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-44310-X},
}

@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 = {Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedi},
  editor = {Orna Grumberg and Michael Huth},
  volume = {4424},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71208-4},
}

@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 = {Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996},
  editor = {Grzegorz Rozenberg and Frits W. Vaandrager},
  volume = {1494},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65193-4},
}

@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 = {J. Comput. Syst. Sci.},
  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 = {J. Comput. Syst. Sci.},
  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 = {Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures},
  editor = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever},
  volume = {2852},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20303-6},
}

@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 = {Comput. Geom.},
  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 = {Conference Record of the Eleventh Annual ACM Symposium on Theory of Computing, 30 April-2 May, 1979, Atlanta, Georgia, USA},
  publisher = {ACM},
}

@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 = {Computational Linguistics and Intelligent Text Processing, 10th International Conference, CICLing 2009, Mexico City, Mexico, March 1-7, 2009. Proceedings},
  editor = {Alexander F. Gelbukh},
  volume = {5449},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-00381-3},
}

@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 = {Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA},
  editor = {Ron Crocker and Guy L. Steele Jr.},
  publisher = {ACM},
  isbn = {1-58113-751-6},
}

@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 = {21st Annual Symposium on Foundations of Computer Science, 13-15 October 1980, Syracuse, New York, USA},
  publisher = {IEEE},
}

@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 = {IEEE 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 = {Inf. Comput.},
  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 = {4th International Conference on Quality Software (QSIC 2004), 8-10 September 2004, Braunschweig, Germany},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2207-6},
}

@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 = {FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings},
  editor = {Ramesh Hariharan and Madhavan Mukund and V. Vinay},
  volume = {2245},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43002-4},
}

@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 = {Fundamentals of Computation Theory, Proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983},
  editor = {Marek Karpinski},
  volume = {158},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-12689-9},
}

@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 = {Conference Record of the Ninth Annual ACM Symposium on Theory of Computing, 2-4 May 1977, Boulder, Colorado, USA},
  publisher = {ACM},
}

@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 = {The Visual Computer},
  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 = {J. Comput. Syst. Sci.},
  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 = {XP1 Workshop on Relational Database Theory, 30 June - 2 July 1980, SUNY at Stony Brook, NY, USA},
  editor = {David  Maier},
}

@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 = {Graph-Theoretic Concepts in Computer Science, 28th International Workshop, WG 2002, Cesky Krumlov, Czech Republic, June 13-15, 2002, Revised Papers},
  editor = {Ludek Kucera},
  volume = {2573},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00331-2},
}

@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 = {Communications of the ACM},
  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 = {Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 24-26, 1994, Minneapolis, Minnesota},
  publisher = {ACM Press},
  isbn = {0-89791-642-5},
}

@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 = {J. Graph Algorithms Appl.},
  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 = {IEEE Trans. Software Eng.},
  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 = {Inf. Process. Lett.},
  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 = {Computer Aided Verification, 9th International Conference, CAV  97, Haifa, Israel, June 22-25, 1997, Proceedings},
  editor = {Orna Grumberg},
  volume = {1254},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63166-6},
}

@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 = {Bulletin of the 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 = {Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings},
  editor = {Bernhard Steffen and Giorgio Levi},
  volume = {2937},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20803-8},
}

@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 = {22nd Annual Symposium on Foundations of Computer Science, 28-30 October 1981, Nashville, Tennessee, USA},
  publisher = {IEEE},
}

@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 = {Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers},
  editor = {Manfred Broy and Alexandre V. Zamulin},
  volume = {2890},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20813-5},
}

@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 = {Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday},
  editor = {Arnon Avron and Nachum Dershowitz and Alexander Rabinovich},
  volume = {4800},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-78126-4},
}

@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 = {Proceedings, Symposium on Logic in Computer Science, 22-25 June 1987, Ithaca, New York, USA},
  publisher = {IEEE Computer Society},
}

@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 = {ACM Transactions on Software Engineering Methodology},
  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 = {ACM Transactions on Software Engineering Methodology},
  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 = {Graph Drawing, 10th International Symposium, GD 2002, Irvine, CA, USA, August 26-28, 2002, Revised Papers},
  editor = {Stephen G. Kobourov and Michael T. Goodrich},
  volume = {2528},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00158-1},
}

@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 = {Journal of the ACM},
  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 = {Fundamental Approaches to Software Engineering, Third Internationsl Conference, FASE 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
  editor = {T. S. E. Maibaum},
  volume = {1783},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67261-3},
}

@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 = {Logics of Programs, Workshop, Yorktown Heights, New York, May 1981},
  editor = {Dexter Kozen},
  volume = {131},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-11212-X},
}

@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 = {Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report},
  editor = {Hartmut Ehrig and Werner Damm and Jörg Desel and Martin Große-Rhode and Wolfgang Reif and Eckehard Schnieder and Engelbert Westkämper},
  volume = {3147},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-23135-8},
}

@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 = {Next Generation Information Technologies and Systems (NGITS  97), Third International Workshop, Neve Ilan, Israel, June 30 - July 3, 1997},
  editor = {Abraham Silberschatz and Peretz Shoval},
}

@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 = {Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000},
  editor = {Franz Baader and Ulrike Sattler},
  volume = {33},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}

@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 = {Theoretical Computer Science},
  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  96: Theory and Practice of Informatics, 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996,  Proceedings},
  editor = {Keith G. Jeffery and Jaroslav Král and Miroslav Bartosek},
  volume = {1175},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61994-1},
}

@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 = {2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 23-27 September 2007, Coeur d Alene, Idaho, USA},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-2987-5},
}

@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 = {ACM Trans. Graph.},
  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 = {Inf. Comput.},
  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 = {SIAM Journal on Computing},
  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 = {Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS 98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
  editor = {Lubos Brim and Jozef Gruska and Jirí Zlatuska},
  volume = {1450},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64827-5},
}

@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 = {Graph Drawing, 11th International Symposium, GD 2003, Perugia, Italy, September 21-24, 2003, Revised Papers},
  editor = {Giuseppe Liotta},
  volume = {2912},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20831-3},
}

@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 - Object-Oriented Modeling of Embedded Real-Time Systems, GI-Workshops OMER-1 & OMER-2 May 28/29, 1999 & May 10-12, 2001, Herrsching am Amersee, Germany},
  editor = {Peter P. Hofmann and Andy Schürr},
  volume = {5},
  series = {LNI},
  publisher = {GI},
}

@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 94, 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994, Proceedings},
  editor = {Patrice Enjalbert and Ernst W. Mayr and Klaus W. Wagner},
  volume = {775},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57785-8},
}

@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 = {Advanced Visual Interfaces},
}

@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 = {Formal Methods in System Design},
  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 = {Communications of the ACM},
  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 = {Automata, Languages and Programming, 24th International Colloquium, ICALP 97, Bologna, Italy, 7-11 July 1997, Proceedings},
  editor = {Pierpaolo Degano and Roberto Gorrieri and Alberto Marchetti-Spaccamela},
  volume = {1256},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63165-8},
}

@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 = {Advanced Visual Interfaces},
}

@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 = {Software and Systems Modeling},
  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 = {Computers & Chemistry},
  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 = {Annals of Pure and Applied Logic},
  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 = {Mathematical Foundations of Computer Science 1989, MFCS 89, Porabka-Kozubnik, Poland, August 28 - September 1, 1989, Proceedings},
  editor = {Antoni Kreczmar and Grazyna Mirkowska},
  volume = {379},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-51486-4},
}

@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 = {Computational Methods in Systems Biology, International Conference, CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers},
  editor = {Vincent Danos and Vincent Schächter},
  volume = {3082},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-25375-0},
}

@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 = {J. Graph Algorithms Appl.},
  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 = {Science of Computer Programming},
  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 = {Theoretical Computer Science},
  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 = {Theoretical Computer Science},
  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 = {IEEE 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 = {SIAM Journal on Computing},
  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 = {Inf. Process. Lett.},
  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 = {IEEE Trans. Software Eng.},
  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 = {Proceedings of the Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III), San Diego, California, USA, 9-10 June 2007},
  editor = {Barbara G. Ryder and Brent Hailpern},
  publisher = {ACM},
}

@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 = {Proceedings of the ACM 2008 Symposium on Software Visualization, Ammersee, Germany, September 16-17, 2008},
  editor = {Rainer Koschke and Christopher D. Hundhausen and Alexandru Telea},
  publisher = {ACM},
  isbn = {978-1-60558-112-5},
}

@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  97: Concurrency Theory, 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings},
  editor = {Antoni W. Mazurkiewicz and Józef Winkowski},
  volume = {1243},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63141-0},
}

@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 = {Logical Foundations of Computer Science, 4th International Symposium, LFCS 97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
  editor = {Sergei I. Adian and Anil Nerode},
  volume = {1234},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63045-7},
}

@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 = {Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN  96, Singapore, December 2-5, 1996, Proceedings},
  editor = {Joxan Jaffar and Roland H. C. Yap},
  volume = {1179},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-62031-1},
}

@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 = {IEEE Trans. Vis. Comput. Graph.},
  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 = {J. Comput. Syst. Sci.},
  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 = {Graph Drawing,  8th International Symposium, GD 2000, Colonial Williamsburg, VA, USA, September 20-23, 2000, Proceedings},
  editor = {Joe Marks},
  volume = {1984},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41554-8},
}

@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 = {Fundamental Approaches to Software Engineering, 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings},
  editor = {Matthew B. Dwyer and Antónia Lopes},
  volume = {4422},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71288-6},
}

@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 = {Scenarios: Models, Transformations and Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers},
  editor = {Stefan Leue and Tarja Systä},
  volume = {3466},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-26189-3},
}

@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  06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, Shanghai, China, May 27, 2006},
  editor = {Jon Whittle and Leif Geiger and Michael Meisinger},
  publisher = {ACM},
  isbn = {1-59593-394-8},
}

@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 = {3rd IEEE International Symposium on Requirements Engineering (RE 97), January 5-8, 1997, Annapolis, MD, USA},
  publisher = {IEEE Computer Society},
}
@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},
}