publications:
- title: "Keynotes"
  author:
  - name: "James Coplien"
    link: "https://researchr.org/alias/james-coplien"
  - name: "Joseph Gil"
    link: "https://researchr.org/alias/joseph-gil"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "1997"
  doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.1997.10018"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.1997.10018"
  researchr: "https://researchr.org/publication/CoplienGHM97"
  cites: 0
  citedby: 0
  pages: "2"
  booktitle: "TOOLS"
  kind: "inproceedings"
  key: "CoplienGHM97"
- title: "Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?)"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2491/24910030.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2491/24910030.htm"
  researchr: "https://researchr.org/publication/Harel02"
  cites: 0
  citedby: 0
  pages: "30-31"
  booktitle: "emsoft"
  kind: "inproceedings"
  key: "Harel02"
- title: "Graph Drawing by High-Dimensional Embedding"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Yehuda Koren"
    link: "https://researchr.org/alias/yehuda-koren"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2528/25280207.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2528/25280207.htm"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/HarelK02%3A1"
  cites: 0
  citedby: 0
  pages: "207-219"
  booktitle: "gd"
  kind: "inproceedings"
  key: "HarelK02:1"
- title: "Modeling and Verification of a Telecommunication Application Using Live Sequence Charts and the Play-Engine Tool"
  author:
  - name: "Pierre Combes"
    link: "https://researchr.org/alias/pierre-combes"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Hillel Kugler"
    link: "https://researchr.org/alias/hillel-kugler"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11562948_31"
  links:
    doi: "http://dx.doi.org/10.1007/11562948_31"
  tags:
  - "modeling"
  researchr: "https://researchr.org/publication/CombesHK05"
  cites: 0
  citedby: 0
  pages: "414-428"
  booktitle: "ATVA"
  kind: "inproceedings"
  key: "CombesHK05"
- title: "DNAMAT: an efficient graphic matrix sequence homology algorithm and its application to structural analysis"
  author:
  - name: "Ron Unger"
    link: "https://researchr.org/alias/ron-unger"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Joel L. Sussman"
    link: "https://researchr.org/alias/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"
  kind: "article"
  key: "UngerHS86"
- title: "And/Or Programs: A New Approach to Structured Programming"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1980"
  doi: "http://doi.acm.org/10.1145/357084.357085"
  links:
    doi: "http://doi.acm.org/10.1145/357084.357085"
  tags:
  - "programming"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/Harel80"
  cites: 0
  citedby: 0
  journal: "TOPLAS"
  volume: "2"
  number: "1"
  pages: "1-17"
  kind: "article"
  key: "Harel80"
- title: "Using statecharts for hardware description and synthesis"
  author:
  - name: "Doron Drusinsky"
    link: "https://researchr.org/alias/doron-drusinsky"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1989"
  doi: "http://doi.ieeecomputersociety.org/10.1109/43.31537"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/43.31537"
  researchr: "https://researchr.org/publication/DrusinskyH89"
  cites: 0
  citedby: 0
  journal: "tcad"
  volume: "8"
  number: "7"
  pages: "798-807"
  kind: "article"
  key: "DrusinskyH89"
- title: "Towards a theory of Recursive Structures"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~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:
  - name: "Jan van Leeuwen"
    link: "https://researchr.org/alias/jan-van-leeuwen"
  volume: "1000"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60105-8"
  kind: "incollection"
  key: "Harel95"
- title: "A Programming Language for the Inductive Sets, and Applications"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Dexter Kozen"
    link: "https://researchr.org/alias/dexter-kozen"
  year: "1984"
  month: "October/November"
  tags:
  - "programming languages"
  - "programming"
  researchr: "https://researchr.org/publication/HarelK84"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "63"
  number: "1/2"
  pages: "118-139"
  kind: "article"
  key: "HarelK84"
- title: "Recurring Dominoes: Making the Highly Undecidable Highly Understandable (Preliminary Report)"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1983"
  researchr: "https://researchr.org/publication/Harel83"
  cites: 0
  citedby: 0
  pages: "177-194"
  booktitle: "fct"
  kind: "inproceedings"
  key: "Harel83"
- title: "Structure and Complexity of Relational Queries"
  author:
  - name: "Ashok K. Chandra"
    link: "https://researchr.org/alias/ashok-k.-chandra"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1980"
  researchr: "https://researchr.org/publication/ChandraH80%3A1"
  cites: 0
  citedby: 0
  pages: "333-347"
  booktitle: "focs"
  kind: "inproceedings"
  key: "ChandraH80:1"
- title: "From Play-In Scenarios to Code: An Achievable Dream"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "2001"
  doi: "http://computer.org/computer/co2001/r1053abs.htm"
  links:
    doi: "http://computer.org/computer/co2001/r1053abs.htm"
  researchr: "https://researchr.org/publication/Harel01%3A0"
  cites: 0
  citedby: 0
  journal: "Computer"
  volume: "34"
  number: "1"
  pages: "53-60"
  kind: "article"
  key: "Harel01:0"
- title: "Complexity Results for Multi-Pebble Automata and their Logics"
  author:
  - name: "Noa Globerman"
    link: "https://researchr.org/alias/noa-globerman"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1994"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/GlobermanH94"
  cites: 0
  citedby: 0
  pages: "73-82"
  booktitle: "icalp"
  kind: "inproceedings"
  key: "GlobermanH94"
- title: "LSCs: Breathing Life into Message Sequence Charts"
  author:
  - name: "Werner Damm"
    link: "https://researchr.org/alias/werner-damm"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1999"
  researchr: "https://researchr.org/publication/DammH99"
  cites: 0
  citedby: 0
  booktitle: "fmoods"
  kind: "inproceedings"
  key: "DammH99"
- title: "Completeness Results for Recursive Data Bases"
  author:
  - name: "Tirza Hirst"
    link: "https://researchr.org/alias/tirza-hirst"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1993"
  doi: "http://doi.acm.org/10.1145/153850.153905"
  links:
    doi: "http://doi.acm.org/10.1145/153850.153905"
  tags:
  - "completeness"
  - "data-flow"
  researchr: "https://researchr.org/publication/HirstH93%3A0"
  cites: 0
  citedby: 0
  pages: "244-252"
  booktitle: "PODS"
  kind: "inproceedings"
  key: "HirstH93:0"
- title: "Randomized Graph Drawing with Heavy-Duty Preprocessing"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Meir Sardas"
    link: "https://researchr.org/alias/meir-sardas"
  year: "1995"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/HarelS95%3A0"
  cites: 0
  citedby: 0
  journal: "JCL (JVLC)"
  volume: "6"
  number: "3"
  pages: "233-253"
  kind: "article"
  key: "HarelS95:0"
- title: "Propositional Dynamic Logic of Flowcharts"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Rivi Sherman"
    link: "https://researchr.org/alias/rivi-sherman"
  year: "1985"
  month: "January/February/March"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/HarelS85"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "64"
  number: "1-3"
  pages: "119-135"
  kind: "article"
  key: "HarelS85"
- title: "On the Complexity of Verifying Concurrent Transition Systems"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Orna Kupferman"
    link: "https://researchr.org/alias/orna-kupferman"
  - name: "Moshe Y. Vardi"
    link: "https://researchr.org/alias/moshe-y.-vardi"
  year: "2002"
  doi: "http://www.idealibrary.com/links/doi/10.1006/inco.2001.2920"
  links:
    doi: "http://www.idealibrary.com/links/doi/10.1006/inco.2001.2920"
  researchr: "https://researchr.org/publication/HarelKV02"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "173"
  number: "2"
  pages: "143-161"
  kind: "article"
  key: "HarelKV02"
- title: "Computers are not Omnipotent (Abstract)"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1993"
  researchr: "https://researchr.org/publication/Harel93"
  cites: 0
  citedby: 0
  pages: "10"
  booktitle: "ESEC/FSE"
  kind: "inproceedings"
  key: "Harel93"
- title: "On the Behavioral Inheritance of State-Based Objects"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Orna Kupferman"
    link: "https://researchr.org/alias/orna-kupferman"
  year: "2000"
  doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.2000.868961"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "HarelK00:0"
- title: "Completeness Results for Recursive Data Bases"
  author:
  - name: "Tirza Hirst"
    link: "https://researchr.org/alias/tirza-hirst"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1996"
  tags:
  - "completeness"
  - "data-flow"
  researchr: "https://researchr.org/publication/HirstH96"
  cites: 0
  citedby: 0
  journal: "jcss"
  volume: "52"
  number: "3"
  pages: "522-536"
  kind: "article"
  key: "HirstH96"
- title: "Challenges for modeling and simulation methods in systems biology"
  author:
  - name: "Herbert M. Sauro"
    link: "https://researchr.org/alias/herbert-m.-sauro"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Clifford A. Shaffer"
    link: "https://researchr.org/alias/clifford-a.-shaffer"
  - name: "Adelinde M. Uhrmacher"
    link: "https://researchr.org/alias/adelinde-m.-uhrmacher"
  - name: "Michael Hucka"
    link: "https://researchr.org/alias/michael-hucka"
  - name: "Pedro Mendes"
    link: "https://researchr.org/alias/pedro-mendes"
  - name: "Lena Strömbäck"
    link: "https://researchr.org/alias/lena-str%C3%B6mb%C3%A4ck"
  - name: "John J. Tyson"
    link: "https://researchr.org/alias/john-j.-tyson"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1218112.1218425"
  links:
    doi: "http://doi.acm.org/10.1145/1218112.1218425"
  tags:
  - "modeling"
  researchr: "https://researchr.org/publication/SauroHKSUHMST06"
  cites: 0
  citedby: 0
  pages: "1720-1730"
  booktitle: "wsc"
  kind: "inproceedings"
  key: "SauroHKSUHMST06"
- title: "Generic Reactive Animation: Realistic Modeling of Complex Natural Systems"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Yaki Setty"
    link: "https://researchr.org/alias/yaki-setty"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-68413-8_1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-68413-8_1"
  tags:
  - "modeling"
  researchr: "https://researchr.org/publication/HarelS08%3A0"
  cites: 0
  citedby: 0
  pages: "1-16"
  booktitle: "fmsb"
  kind: "inproceedings"
  key: "HarelS08:0"
- title: "Temporal Logic for Scenario-Based Specifications"
  author:
  - name: "Hillel Kugler"
    link: "https://researchr.org/alias/hillel-kugler"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Yuan Lu"
    link: "https://researchr.org/alias/yuan-lu"
  - name: "Yves Bontemps"
    link: "https://researchr.org/alias/yves-bontemps"
  year: "2005"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3440&spage=445"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3440&spage=445"
  tags:
  - "rule-based"
  - "logic"
  researchr: "https://researchr.org/publication/KuglerHPLB05"
  cites: 0
  citedby: 0
  pages: "445-460"
  booktitle: "TACAS"
  kind: "inproceedings"
  key: "KuglerHPLB05"
- title: "Undecidability of PDL with L={a^(2i)|i>=0}"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Mike Paterson"
    link: "https://researchr.org/alias/mike-paterson"
  year: "1984"
  researchr: "https://researchr.org/publication/HarelP84%3A0"
  cites: 0
  citedby: 0
  journal: "jcss"
  volume: "29"
  number: "3"
  pages: "359-365"
  kind: "article"
  key: "HarelP84:0"
- title: "Clustering spatial data using random walks"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Yehuda Koren"
    link: "https://researchr.org/alias/yehuda-koren"
  year: "2001"
  doi: "http://portal.acm.org/citation.cfm?id=502512.502552"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "HarelK01:0"
- title: "InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming"
  author:
  - name: "Dan Barak"
    link: "https://researchr.org/alias/dan-barak"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Rami Marelly"
    link: "https://researchr.org/alias/rami-marelly"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3098&spage=66"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3098&spage=66"
  tags:
  - "rule-based"
  - "programming"
  - "design"
  researchr: "https://researchr.org/publication/BarakHM03"
  cites: 0
  citedby: 0
  pages: "66-86"
  booktitle: "ac"
  kind: "inproceedings"
  key: "BarakHM03"
- title: "A Multi-Scale Algorithm for Drawing Graphs Nicely"
  author:
  - name: "Ronny Hadany"
    link: "https://researchr.org/alias/ronny-hadany"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1665/16650262.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1665/16650262.htm"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/HadanyH99"
  cites: 0
  citedby: 0
  pages: "262-277"
  booktitle: "criwg"
  kind: "inproceedings"
  key: "HadanyH99"
- title: "GemCell: A generic platform for modeling multi-cellular biological systems"
  author:
  - name: "Hila Amir-Kroll"
    link: "https://researchr.org/alias/hila-amir-kroll"
  - name: "Avital Sadot"
    link: "https://researchr.org/alias/avital-sadot"
  - name: "Irun R. Cohen"
    link: "https://researchr.org/alias/irun-r.-cohen"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.tcs.2007.11.014"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2007.11.014"
  tags:
  - "modeling"
  researchr: "https://researchr.org/publication/Amir-KrollSCH08"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "391"
  number: "3"
  pages: "276-290"
  kind: "article"
  key: "Amir-KrollSCH08"
- title: "Reactive Animation: Realistic Modeling of Complex Dynamic Systems"
  author:
  - name: "Sol Efroni"
    link: "https://researchr.org/alias/sol-efroni"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Irun R. Cohen"
    link: "https://researchr.org/alias/irun-r.-cohen"
  year: "2005"
  doi: "http://doi.ieeecomputersociety.org/10.1109/MC.2005.31"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/MC.2005.31"
  tags:
  - "modeling"
  researchr: "https://researchr.org/publication/EfroniHC05"
  cites: 0
  citedby: 0
  journal: "Computer"
  volume: "38"
  number: "1"
  pages: "38-47"
  kind: "article"
  key: "EfroniHC05"
- title: "Horn Clauses Queries and Generalizations"
  author:
  - name: "Ashok K. Chandra"
    link: "https://researchr.org/alias/ashok-k.-chandra"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1985"
  researchr: "https://researchr.org/publication/ChandraH85"
  cites: 0
  citedby: 0
  journal: "jlp"
  volume: "2"
  number: "1"
  pages: "1-15"
  kind: "article"
  key: "ChandraH85"
- title: "Object Composition in Scenario-Based Programming"
  author:
  - name: "Yoram Atir"
    link: "https://researchr.org/alias/yoram-atir"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Asaf Kleinbort"
    link: "https://researchr.org/alias/asaf-kleinbort"
  - name: "Shahar Maoz"
    link: "https://researchr.org/alias/shahar-maoz"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-78743-3_23"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-78743-3_23"
  tags:
  - "object-oriented programming"
  - "rule-based"
  - "meta programming"
  - "composition"
  - "programming"
  - "subject-oriented programming"
  - "Meta-Environment"
  - "feature-oriented programming"
  - "meta-objects"
  researchr: "https://researchr.org/publication/AtirHKM08"
  cites: 0
  citedby: 0
  pages: "301-316"
  booktitle: "FASE"
  kind: "inproceedings"
  key: "AtirHKM08"
- title: "Process Logic: Expressiveness, Decidability, Completeness"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Dexter Kozen"
    link: "https://researchr.org/alias/dexter-kozen"
  - name: "Rohit Parikh"
    link: "https://researchr.org/alias/rohit-parikh"
  year: "1982"
  tags:
  - "completeness"
  - "logic"
  researchr: "https://researchr.org/publication/HarelKP82"
  cites: 0
  citedby: 0
  journal: "jcss"
  volume: "25"
  number: "2"
  pages: "144-170"
  kind: "article"
  key: "HarelKP82"
- title: "On the Power of Bounded Concurrency II: Pushdown Automata"
  author:
  - name: "Tirza Hirst"
    link: "https://researchr.org/alias/tirza-hirst"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1994"
  doi: "http://doi.acm.org/10.1145/176584.176588"
  links:
    doi: "http://doi.acm.org/10.1145/176584.176588"
  researchr: "https://researchr.org/publication/HirstH94"
  cites: 0
  citedby: 0
  journal: "JACM"
  volume: "41"
  number: "3"
  pages: "540-554"
  kind: "article"
  key: "HirstH94"
- title: "On the Power of Bounded Concurrency II: The Pushdown Automata Level"
  author:
  - name: "Tirza Hirst"
    link: "https://researchr.org/alias/tirza-hirst"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1990"
  researchr: "https://researchr.org/publication/HirstH90"
  cites: 0
  citedby: 0
  pages: "1-17"
  booktitle: "caap"
  kind: "inproceedings"
  key: "HirstH90"
- title: "A Probabilistic Dynamic Logic"
  author:
  - name: "Yishai A. Feldman"
    link: "https://researchr.org/alias/yishai-a.-feldman"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1982"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/FeldmanH82"
  cites: 0
  citedby: 0
  pages: "181-195"
  booktitle: "stoc"
  kind: "inproceedings"
  key: "FeldmanH82"
- title: "Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11817963_3"
  links:
    doi: "http://dx.doi.org/10.1007/11817963_3"
  tags:
  - "rule-based"
  - "program verification"
  researchr: "https://researchr.org/publication/Harel06"
  cites: 0
  citedby: 0
  pages: "3-4"
  booktitle: "cav"
  kind: "inproceedings"
  key: "Harel06"
- title: "A Fast Multi-Scale Method for Drawing Large Graphs"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Yehuda Koren"
    link: "https://researchr.org/alias/yehuda-koren"
  year: "2000"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/HarelK00%3A1"
  cites: 0
  citedby: 0
  pages: "282-285"
  booktitle: "avi"
  kind: "inproceedings"
  key: "HarelK00:1"
- title: "Nondeterminism in Logics of Programs"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Vaughan R. Pratt"
    link: "https://researchr.org/alias/vaughan-r.-pratt"
  year: "1978"
  tags:
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/HarelP78"
  cites: 0
  citedby: 0
  pages: "203-213"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "HarelP78"
- title: "On Visual Formalisms"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1988"
  researchr: "https://researchr.org/publication/Harel88"
  cites: 0
  citedby: 0
  journal: "CACM"
  volume: "31"
  number: "5"
  pages: "514-530"
  kind: "article"
  key: "Harel88"
- title: "Taking it to the Limit: On Infinite Variants of NP-Complete Problems"
  author:
  - name: "Tirza Hirst"
    link: "https://researchr.org/alias/tirza-hirst"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1993"
  tags:
  - "completeness"
  researchr: "https://researchr.org/publication/HirstH93"
  cites: 0
  citedby: 0
  pages: "292-304"
  booktitle: "cocoon"
  kind: "inproceedings"
  key: "HirstH93"
- title: "Deciding Properties of Nonregular Programs (Preliminary Version)"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Danny Raz"
    link: "https://researchr.org/alias/danny-raz"
  year: "1990"
  researchr: "https://researchr.org/publication/HarelR90"
  cites: 0
  citedby: 0
  pages: "652-661"
  booktitle: "focs"
  kind: "inproceedings"
  key: "HarelR90"
- title: "A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2623/26230002.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "Harel03:0"
- title: "Formal Modeling of C. elegans Development: A Scenario-Based Approach"
  author:
  - name: "Na aman Kam"
    link: "https://researchr.org/alias/na-aman-kam"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Hillel Kugler"
    link: "https://researchr.org/alias/hillel-kugler"
  - name: "Rami Marelly"
    link: "https://researchr.org/alias/rami-marelly"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "E. Jane Albert Hubbard"
    link: "https://researchr.org/alias/e.-jane-albert-hubbard"
  - name: "Michael J. Stern"
    link: "https://researchr.org/alias/michael-j.-stern"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2602/26020004.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2602/26020004.htm"
  tags:
  - "rule-based"
  - "meta-model"
  - "modeling"
  - "model-driven development"
  - "C++"
  - "Meta-Environment"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/KamHKMPHS03"
  cites: 0
  citedby: 0
  pages: "4-20"
  booktitle: "cmsb"
  kind: "inproceedings"
  key: "KamHKMPHS03"
- title: "Playing with Time: On the Specification and Execution of Time-Enriched LSCs"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Rami Marelly"
    link: "https://researchr.org/alias/rami-marelly"
  year: "2002"
  doi: "http://csdl.computer.org/comp/proceedings/mascots/2002/1840/00/18400193abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/mascots/2002/1840/00/18400193abs.htm"
  researchr: "https://researchr.org/publication/HarelM02"
  cites: 0
  citedby: 0
  pages: "193-202"
  booktitle: "mascots"
  kind: "inproceedings"
  key: "HarelM02"
- title: "Statecharts in the making: a personal account"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1467247.1467274"
  links:
    doi: "http://doi.acm.org/10.1145/1467247.1467274"
  researchr: "https://researchr.org/publication/Harel09"
  cites: 0
  citedby: 0
  journal: "CACM"
  volume: "52"
  number: "3"
  pages: "67-75"
  kind: "article"
  key: "Harel09"
- title: "A two-way visualization method for clustered data"
  author:
  - name: "Yehuda Koren"
    link: "https://researchr.org/alias/yehuda-koren"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/956750.956824"
  links:
    doi: "http://doi.acm.org/10.1145/956750.956824"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/KorenH03%3A0"
  cites: 0
  citedby: 0
  pages: "589-594"
  booktitle: "kdd"
  kind: "inproceedings"
  key: "KorenH03:0"
- title: "Using LSCs for scenario authoring in tactical simulators"
  author:
  - name: "Yoram Atir"
    link: "https://researchr.org/alias/yoram-atir"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1357910.1357979"
  links:
    doi: "http://doi.acm.org/10.1145/1357910.1357979"
  researchr: "https://researchr.org/publication/AtirH07"
  cites: 0
  citedby: 0
  pages: "437-442"
  booktitle: "SCSC"
  kind: "inproceedings"
  key: "AtirH07"
- title: "On Teaching Visual Formalisms"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Michal Gordon-Kiwkowitz"
    link: "https://researchr.org/alias/michal-gordon-kiwkowitz"
  year: "2009"
  doi: "http://dx.doi.org/10.1109/MS.2009.76"
  links:
    doi: "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"
  kind: "article"
  key: "HarelG09"
- title: "Concurrency in Biological Modeling: Behavior, Execution and Visualization"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Yaki Setty"
    link: "https://researchr.org/alias/yaki-setty"
  - name: "Sol Efroni"
    link: "https://researchr.org/alias/sol-efroni"
  - name: "Naamah Swerdlin"
    link: "https://researchr.org/alias/naamah-swerdlin"
  - name: "Irun R. Cohen"
    link: "https://researchr.org/alias/irun-r.-cohen"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.entcs.2007.12.009"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2007.12.009"
  tags:
  - "modeling"
  researchr: "https://researchr.org/publication/HarelSESC08"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "194"
  number: "3"
  pages: "119-131"
  kind: "article"
  key: "HarelSESC08"
- title: "Proving the Correctness of Regular Deterministic Programs: A Unifying Survey Using Dynamic Logic"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1980"
  tags:
  - "survey"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/Harel80%3A2"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "12"
  pages: "61-81"
  kind: "article"
  key: "Harel80:2"
- title: "Is the Interesting Part of Process Logic Uninteresting - A Translation from PL to PDL"
  author:
  - name: "Rivi Sherman"
    link: "https://researchr.org/alias/rivi-sherman"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1982"
  tags:
  - "translation"
  - "logic"
  researchr: "https://researchr.org/publication/ShermanPH82"
  cites: 0
  citedby: 0
  pages: "347-360"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "ShermanPH82"
- title: "An Algorithm for Straight-Line Drawing of Planar Graphs"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Meir Sardas"
    link: "https://researchr.org/alias/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"
  kind: "article"
  key: "HarelS98"
- title: "A multi-scale algorithm for drawing graphs nicely"
  author:
  - name: "Ronny Hadany"
    link: "https://researchr.org/alias/ronny-hadany"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "2001"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/HadanyH01"
  cites: 0
  citedby: 0
  journal: "DAM"
  volume: "113"
  number: "1"
  pages: "3-21"
  kind: "article"
  key: "HadanyH01"
- title: "On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report)"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Roni Rosner"
    link: "https://researchr.org/alias/roni-rosner"
  - name: "Moshe Y. Vardi"
    link: "https://researchr.org/alias/moshe-y.-vardi"
  year: "1990"
  researchr: "https://researchr.org/publication/HarelRV90"
  cites: 0
  citedby: 0
  pages: "478-488"
  booktitle: "lics"
  kind: "inproceedings"
  key: "HarelRV90"
- title: "Arithmetical Completeness in Logics of Programs"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1978"
  tags:
  - "completeness"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/Harel78"
  cites: 0
  citedby: 0
  pages: "268-288"
  booktitle: "icalp"
  kind: "inproceedings"
  key: "Harel78"
- title: "Biting the Silver Bullet - Toward a Brighter Future for System Development"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1992"
  researchr: "https://researchr.org/publication/Harel92"
  cites: 0
  citedby: 0
  journal: "Computer"
  volume: "25"
  number: "1"
  pages: "8-20"
  kind: "article"
  key: "Harel92"
- title: "From multi-modal scenarios to code: compiling LSCs into aspectJ"
  author:
  - name: "Shahar Maoz"
    link: "https://researchr.org/alias/shahar-maoz"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1181775.1181802"
  links:
    doi: "http://doi.acm.org/10.1145/1181775.1181802"
  tags:
  - "AspectJ"
  - "compiler"
  researchr: "https://researchr.org/publication/MaozH06"
  cites: 0
  citedby: 0
  pages: "219-230"
  booktitle: "ESEC/FSE"
  kind: "inproceedings"
  key: "MaozH06"
- title: "on And/Or Schemes"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1980"
  researchr: "https://researchr.org/publication/Harel80%3A0"
  cites: 0
  citedby: 0
  pages: "246-260"
  booktitle: "mfcs"
  kind: "inproceedings"
  key: "Harel80:0"
- title: "Smart Play-out of Behavioral Requirements"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Hillel Kugler"
    link: "https://researchr.org/alias/hillel-kugler"
  - name: "Rami Marelly"
    link: "https://researchr.org/alias/rami-marelly"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2517/25170378.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2517/25170378.htm"
  researchr: "https://researchr.org/publication/HarelKMP02"
  cites: 0
  citedby: 0
  pages: "378-398"
  booktitle: "FMCAD"
  kind: "inproceedings"
  key: "HarelKMP02"
- title: "InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming"
  author:
  - name: "Dan Barak"
    link: "https://researchr.org/alias/dan-barak"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Rami Marelly"
    link: "https://researchr.org/alias/rami-marelly"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/TSE.2006.67"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/TSE.2006.67"
  tags:
  - "rule-based"
  - "programming"
  - "design"
  researchr: "https://researchr.org/publication/BarakHM06"
  cites: 0
  citedby: 0
  journal: "TSE"
  volume: "32"
  number: "7"
  pages: "467-485"
  kind: "article"
  key: "BarakHM06"
- title: "More on Nonregular PDL: Finite Models and Fibonacci-Like Programs"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Eli Singerman"
    link: "https://researchr.org/alias/eli-singerman"
  year: "1996"
  researchr: "https://researchr.org/publication/HarelS96"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "128"
  number: "2"
  pages: "109-118"
  kind: "article"
  key: "HarelS96"
- title: "On Object Systems and Behavioral Inheritance"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Orna Kupferman"
    link: "https://researchr.org/alias/orna-kupferman"
  year: "2002"
  doi: "http://www.computer.org:80/tse/ts2002/e0889abs.htm"
  links:
    doi: "http://www.computer.org:80/tse/ts2002/e0889abs.htm"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/HarelK02%3A0"
  cites: 0
  citedby: 0
  journal: "TSE"
  volume: "28"
  number: "9"
  pages: "889-903"
  kind: "article"
  key: "HarelK02:0"
- title: "Specifying and executing behavioral requirements: the play-in/play-out approach"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Rami Marelly"
    link: "https://researchr.org/alias/rami-marelly"
  year: "2003"
  doi: "http://dx.doi.org/10.1007/s10270-002-0015-5"
  links:
    doi: "http://dx.doi.org/10.1007/s10270-002-0015-5"
  tags:
  - "systematic-approach"
  researchr: "https://researchr.org/publication/HarelM03"
  cites: 0
  citedby: 0
  journal: "SoSyM"
  volume: "2"
  number: "2"
  pages: "82-107"
  kind: "article"
  key: "HarelM03"
- title: "Structure and Complexity of Relational Queries"
  author:
  - name: "Ashok K. Chandra"
    link: "https://researchr.org/alias/ashok-k.-chandra"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1982"
  researchr: "https://researchr.org/publication/ChandraH82"
  cites: 0
  citedby: 0
  journal: "jcss"
  volume: "25"
  number: "1"
  pages: "99-128"
  kind: "article"
  key: "ChandraH82"
- title: "Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Hillel Kugler"
    link: "https://researchr.org/alias/hillel-kugler"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2005"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3393&spage=309"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3393&spage=309"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/HarelKP05"
  cites: 0
  citedby: 0
  pages: "309-324"
  booktitle: "BIRTHDAY"
  kind: "inproceedings"
  key: "HarelKP05"
- title: "A Programming Language for the Inductive Sets, and Applications"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Dexter Kozen"
    link: "https://researchr.org/alias/dexter-kozen"
  year: "1982"
  tags:
  - "programming languages"
  - "programming"
  researchr: "https://researchr.org/publication/HarelK82"
  cites: 0
  citedby: 0
  pages: "313-329"
  booktitle: "icalp"
  kind: "inproceedings"
  key: "HarelK82"
- title: "ACE: A Fast Multiscale Eigenvectors Computation for Drawing Huge Graphs"
  author:
  - name: "Yehuda Koren"
    link: "https://researchr.org/alias/yehuda-koren"
  - name: "Liran Carmel"
    link: "https://researchr.org/alias/liran-carmel"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "2002"
  doi: "http://computer.org/proceedings/infovis/1751/17510137abs.htm"
  links:
    doi: "http://computer.org/proceedings/infovis/1751/17510137abs.htm"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/KorenCH02"
  cites: 0
  citedby: 0
  pages: "137-144"
  booktitle: "infovis"
  kind: "inproceedings"
  key: "KorenCH02"
- title: "Horn Clauses and the Fixpoint Query Hierarchy"
  author:
  - name: "Ashok K. Chandra"
    link: "https://researchr.org/alias/ashok-k.-chandra"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1982"
  doi: "http://doi.acm.org/10.1145/588111.588137"
  links:
    doi: "http://doi.acm.org/10.1145/588111.588137"
  researchr: "https://researchr.org/publication/ChandraH82%3A0"
  cites: 0
  citedby: 0
  pages: "158-163"
  booktitle: "PODS"
  kind: "inproceedings"
  key: "ChandraH82:0"
- title: "Towards a Theory of Recursive Structures"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1998"
  researchr: "https://researchr.org/publication/Harel98"
  cites: 0
  citedby: 0
  pages: "93-114"
  booktitle: "mcu"
  kind: "inproceedings"
  key: "Harel98"
- title: "Meaningful Modeling: What s the Semantics of  Semantics ?"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Bernhard Rumpe"
    link: "http://www.se-rwth.de/~rumpe/"
  year: "2004"
  doi: "http://csdl.computer.org/comp/mags/co/2004/10/rx064abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/mags/co/2004/10/rx064abs.htm"
  tags:
  - "semantics"
  - "modeling"
  researchr: "https://researchr.org/publication/HarelR04"
  cites: 0
  citedby: 0
  journal: "Computer"
  volume: "37"
  number: "10"
  pages: "64-72"
  kind: "article"
  key: "HarelR04"
- title: "Synthesizing State-Based Object Systems from LSC Specifications"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Hillel Kugler"
    link: "https://researchr.org/alias/hillel-kugler"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2088/20880001.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2088/20880001.htm"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/HarelK00"
  cites: 0
  citedby: 0
  pages: "1-33"
  booktitle: "wia"
  kind: "inproceedings"
  key: "HarelK00"
- title: "Assert and negate revisited: Modal semantics for UML sequence diagrams"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Shahar Maoz"
    link: "https://researchr.org/alias/shahar-maoz"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/s10270-007-0054-z"
  links:
    doi: "http://dx.doi.org/10.1007/s10270-007-0054-z"
  tags:
  - "semantics"
  - "UML"
  - "sequence diagrams"
  researchr: "https://researchr.org/publication/HarelM08"
  cites: 0
  citedby: 0
  journal: "SoSyM"
  volume: "7"
  number: "2"
  pages: "237-252"
  kind: "article"
  key: "HarelM08"
- title: "Recursion in Logics of Programs"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1979"
  doi: "http://doi.acm.org/10.1145/567752.567760"
  abstract: " The problem of reasoning about recursive programs is considered. Utilizing a simple analogy between iterative and recursive programs viewed as unfinite unions of finite terms, we carry out an investigation analogous to that carried out recently for iterative programs. The main results are the arithmetical completeness of axiom systems for (1) context-free dynamic logic and (2) its extension for dealing with infinite computations. Having the power of expression of these logics in mind, these results can be seen to supply (as corollaries) complete proof methods for the various kinds of correctness of recursive programs. "
  links:
    doi: "http://doi.acm.org/10.1145/567752.567760"
  tags:
  - "completeness"
  - "logic programming"
  - "programming"
  - "context-aware"
  - "logic"
  researchr: "https://researchr.org/publication/Harel79%3A0"
  cites: 0
  citedby: 0
  pages: "81-92"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "Harel79:0"
- title: "06351 Summary -- Methods for Modelling Software Systems (MMOSS)"
  author:
  - name: "Ed Brinksma"
    link: "http://www.sigir2007.org/~brinksma/"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Angelika Mader"
    link: "https://researchr.org/alias/angelika-mader"
  - name: "Perdita Stevens"
    link: "https://researchr.org/alias/perdita-stevens"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2006"
  doi: "http://drops.dagstuhl.de/opus/volltexte/2007/957"
  links:
    doi: "http://drops.dagstuhl.de/opus/volltexte/2007/957"
  researchr: "https://researchr.org/publication/BrinksmaHMSW06"
  cites: 0
  citedby: 0
  booktitle: "Dagstuhl"
  kind: "inproceedings"
  key: "BrinksmaHMSW06"
- title: "On the Solvability of Domino Snake Problems"
  author:
  - name: "Yael Etzion-Petruschka"
    link: "https://researchr.org/alias/yael-etzion-petruschka"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Dale Myers"
    link: "https://researchr.org/alias/dale-myers"
  year: "1994"
  researchr: "https://researchr.org/publication/Etzion-PetruschkaHM94"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "131"
  number: "2"
  pages: "243-269"
  kind: "article"
  key: "Etzion-PetruschkaHM94"
- title: "On the Power of Cooperative Concurrency"
  author:
  - name: "Doron Drusinsky"
    link: "https://researchr.org/alias/doron-drusinsky"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1988"
  researchr: "https://researchr.org/publication/DrusinskyH88"
  cites: 0
  citedby: 0
  pages: "74-103"
  booktitle: "concur"
  kind: "inproceedings"
  key: "DrusinskyH88"
- title: "Toward Verified Biological Models"
  author:
  - name: "Avital Sadot"
    link: "https://researchr.org/alias/avital-sadot"
  - name: "Jasmin Fisher"
    link: "https://researchr.org/alias/jasmin-fisher"
  - name: "Dan Barak"
    link: "https://researchr.org/alias/dan-barak"
  - name: "Yishai Admanit"
    link: "https://researchr.org/alias/yishai-admanit"
  - name: "Michael J. Stern"
    link: "https://researchr.org/alias/michael-j.-stern"
  - name: "E. Jane Albert Hubbard"
    link: "https://researchr.org/alias/e.-jane-albert-hubbard"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1371585.1371591"
  links:
    doi: "http://doi.acm.org/10.1145/1371585.1371591"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/SadotFBASHH08"
  cites: 0
  citedby: 0
  journal: "tcbb"
  volume: "5"
  number: "2"
  pages: "223-234"
  kind: "article"
  key: "SadotFBASHH08"
- title: "Rhapsody: A Complete Life-Cycle Model-Based Development System"
  author:
  - name: "Eran Gery"
    link: "https://researchr.org/alias/eran-gery"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Eldad Palachi"
    link: "https://researchr.org/alias/eldad-palachi"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2335/23350001.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2335/23350001.htm"
  tags:
  - "rule-based"
  - "completeness"
  - "meta-model"
  - "model-driven development"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/GeryHP02"
  cites: 0
  citedby: 0
  pages: "1-10"
  booktitle: "IFM"
  kind: "inproceedings"
  key: "GeryHP02"
- title: "Synthesizing State-Based Object Systems from LSC Specifications"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Hillel Kugler"
    link: "https://researchr.org/alias/hillel-kugler"
  year: "2002"
  doi: "http://www.worldscinet.com/ijfcs/13/1301/S0129054102000935.html"
  links:
    doi: "http://www.worldscinet.com/ijfcs/13/1301/S0129054102000935.html"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/HarelK02%3A2"
  cites: 0
  citedby: 0
  journal: "ijfcs"
  volume: "13"
  number: "1"
  pages: "5-51"
  kind: "article"
  key: "HarelK02:2"
- title: "The Immune System as a Reactive System: Modeling T Cell Activation With Statecharts"
  author:
  - name: "Na aman Kam"
    link: "https://researchr.org/alias/na-aman-kam"
  - name: "Irun R. Cohen"
    link: "https://researchr.org/alias/irun-r.-cohen"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "2001"
  doi: "http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740015abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740015abs.htm"
  tags:
  - "modeling"
  researchr: "https://researchr.org/publication/KamCH01"
  cites: 0
  citedby: 0
  pages: "15-22"
  booktitle: "vl"
  kind: "inproceedings"
  key: "KamCH01"
- title: "06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS)"
  author:
  - name: "Ed Brinksma"
    link: "http://www.sigir2007.org/~brinksma/"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Angelika Mader"
    link: "https://researchr.org/alias/angelika-mader"
  - name: "Perdita Stevens"
    link: "http://homepages.inf.ed.ac.uk/perdita/"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2006"
  doi: "http://drops.dagstuhl.de/opus/volltexte/2007/958"
  links:
    doi: "http://drops.dagstuhl.de/opus/volltexte/2007/958"
  researchr: "https://researchr.org/publication/BrinksmaHMSW06a"
  cites: 0
  citedby: 0
  booktitle: "Dagstuhl"
  kind: "inproceedings"
  key: "BrinksmaHMSW06a"
- title: "A Complete Axiomatic System for Proving Deductions about Recursive Programs"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Jonathan Stavi"
    link: "https://researchr.org/alias/jonathan-stavi"
  year: "1977"
  tags:
  - "completeness"
  researchr: "https://researchr.org/publication/HarelPS77"
  cites: 0
  citedby: 0
  pages: "249-260"
  booktitle: "stoc"
  kind: "inproceedings"
  key: "HarelPS77"
- title: "Effective transformations on infinite trees, with applications to high undecidability, dominoes, and fairness"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1986"
  doi: "http://doi.acm.org/10.1145/4904.4993"
  links:
    doi: "http://doi.acm.org/10.1145/4904.4993"
  tags:
  - "transformation"
  researchr: "https://researchr.org/publication/Harel86"
  cites: 0
  citedby: 0
  journal: "JACM"
  volume: "33"
  number: "1"
  pages: "224-248"
  kind: "article"
  key: "Harel86"
- title: "Crafting game-models using reactive system design"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Itai Segall"
    link: "https://researchr.org/alias/itai-segall"
  - name: "Hillel Kugler"
    link: "https://researchr.org/alias/hillel-kugler"
  - name: "Yaki Setty"
    link: "https://researchr.org/alias/yaki-setty"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1496984.1497005"
  links:
    doi: "http://doi.acm.org/10.1145/1496984.1497005"
  tags:
  - "design"
  researchr: "https://researchr.org/publication/HarelSKS08"
  cites: 0
  citedby: 0
  pages: "121-128"
  booktitle: "fplay"
  kind: "inproceedings"
  key: "HarelSKS08"
- title: "On the Aesthetics of Diagrams (Summary of Talk)"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1422/14220001.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1422/14220001.htm"
  researchr: "https://researchr.org/publication/Harel98%3A1"
  cites: 0
  citedby: 0
  pages: "1-5"
  booktitle: "mpc"
  kind: "inproceedings"
  key: "Harel98:1"
- title: "Hamiltonian Paths in Infinite Graphs"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1991"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/Harel91"
  cites: 0
  citedby: 0
  pages: "220-229"
  booktitle: "stoc"
  kind: "inproceedings"
  key: "Harel91"
- title: "Can Programming Be Liberated, Period?"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "2008"
  doi: "http://doi.ieeecomputersociety.org/10.1109/MC.2008.10"
  abstract: "The author describes his dream about freeing ourselves from the straightjackets of programming, making the process of getting computers to do what we want intuitive, natural, and also fun. He recommends harnessing the great power of computing and transforming a natural and almost playful means of programming so that it becomes fully operational and machine-doable."
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/MC.2008.10"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/Harel08"
  cites: 0
  citedby: 0
  journal: "Computer"
  volume: "41"
  number: "1"
  pages: "28-37"
  kind: "article"
  key: "Harel08"
- title: "Comprehensive and realistic modeling of biological systems"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1218112.1218408"
  links:
    doi: "http://doi.acm.org/10.1145/1218112.1218408"
  tags:
  - "modeling"
  researchr: "https://researchr.org/publication/Harel06%3A0"
  cites: 0
  citedby: 0
  pages: "1625-1627"
  booktitle: "wsc"
  kind: "inproceedings"
  key: "Harel06:0"
- title: "Will I be Preety, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1995"
  researchr: "https://researchr.org/publication/Harel95%3A0"
  cites: 0
  citedby: 0
  pages: "264-268"
  booktitle: "concur"
  kind: "inproceedings"
  key: "Harel95:0"
- title: "A General Result on Infinite Trees and Its Applications (Preliminary Report)"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1984"
  researchr: "https://researchr.org/publication/Harel84"
  cites: 0
  citedby: 0
  pages: "418-427"
  booktitle: "stoc"
  kind: "inproceedings"
  key: "Harel84"
- title: "Looping vs. Repeating in Dynamic Logic"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Rivi Sherman"
    link: "https://researchr.org/alias/rivi-sherman"
  year: "1982"
  month: "October/November/December"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/HarelS82"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "55"
  number: "1-3"
  pages: "175-192"
  kind: "article"
  key: "HarelS82"
- title: "Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?)"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2505/25050006.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2505/25050006.htm"
  researchr: "https://researchr.org/publication/Harel02%3A0"
  cites: 0
  citedby: 0
  pages: "6-7"
  booktitle: "gg"
  kind: "inproceedings"
  key: "Harel02:0"
- title: "Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs:::, :::"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Itai Segall"
    link: "https://researchr.org/alias/itai-segall"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71209-1_37"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71209-1_37"
  tags:
  - "rule-based"
  - "traversal"
  researchr: "https://researchr.org/publication/HarelS07"
  cites: 0
  citedby: 0
  pages: "485-499"
  booktitle: "TACAS"
  kind: "inproceedings"
  key: "HarelS07"
- title: "Statecharts in Use: Structured Analysis and Object-Orientation"
  author:
  - name: "Bruce Powel Douglass"
    link: "https://researchr.org/alias/bruce-powel-douglass"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Mark B. Trakhtenbrot"
    link: "https://researchr.org/alias/mark-b.-trakhtenbrot"
  year: "1996"
  tags:
  - "meta-model"
  - "analysis"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/DouglassHT96"
  cites: 0
  citedby: 0
  pages: "368-394"
  booktitle: "eef"
  kind: "inproceedings"
  key: "DouglassHT96"
- title: "Computable Queries for Relational Data Bases"
  author:
  - name: "Ashok K. Chandra"
    link: "https://researchr.org/alias/ashok-k.-chandra"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1980"
  doi: "db/journals/jcss/ChandraH80.html"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/ChandraH80"
  cites: 0
  citedby: 0
  journal: "jcss"
  volume: "21"
  number: "2"
  pages: "156-178"
  kind: "article"
  key: "ChandraH80"
- title: "Propositional Dynamic Logic of Nonregular Programs"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Jonathan Stavi"
    link: "https://researchr.org/alias/jonathan-stavi"
  year: "1983"
  tags:
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/HarelPS83"
  cites: 0
  citedby: 0
  journal: "jcss"
  volume: "26"
  number: "2"
  pages: "222-243"
  kind: "article"
  key: "HarelPS83"
- title: "On the Development of Reactive Systems"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "1985"
  researchr: "https://researchr.org/publication/harel1985development"
  cites: 0
  citedby: 0
  journal: "Logics and models of concurrent systems"
  kind: "article"
  key: "harel1985development"
- title: "Reactive Animation"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Sol Efroni"
    link: "https://researchr.org/alias/sol-efroni"
  - name: "Irun R. Cohen"
    link: "https://researchr.org/alias/irun-r.-cohen"
  year: "2002"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2852&spage=136"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2852&spage=136"
  researchr: "https://researchr.org/publication/HarelEC02"
  cites: 0
  citedby: 0
  pages: "136-153"
  booktitle: "FMCO"
  kind: "inproceedings"
  key: "HarelEC02"
- title: "One-dimensional layout optimization, with applications to graph drawing by axis separation"
  author:
  - name: "Yehuda Koren"
    link: "https://researchr.org/alias/yehuda-koren"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.comgeo.2005.03.003"
  links:
    doi: "http://dx.doi.org/10.1016/j.comgeo.2005.03.003"
  tags:
  - "optimization"
  - "layout"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/KorenH05"
  cites: 0
  citedby: 0
  journal: "comgeo"
  volume: "32"
  number: "2"
  pages: "115-138"
  kind: "article"
  key: "KorenH05"
- title: "Computable Queries for Relational Data Bases (Preliminary Report)"
  author:
  - name: "Ashok K. Chandra"
    link: "https://researchr.org/alias/ashok-k.-chandra"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1979"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/ChandraH79"
  cites: 0
  citedby: 0
  pages: "309-318"
  booktitle: "stoc"
  kind: "inproceedings"
  key: "ChandraH79"
- title: "Generating Executable Scenarios from Natural Language"
  author:
  - name: "Michal Gordon"
    link: "https://researchr.org/alias/michal-gordon"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-00382-0_37"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-00382-0_37"
  researchr: "https://researchr.org/publication/GordonH09"
  cites: 0
  citedby: 0
  pages: "456-467"
  booktitle: "cicling"
  kind: "inproceedings"
  key: "GordonH09"
- title: "Smart play-out"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Hillel Kugler"
    link: "https://researchr.org/alias/hillel-kugler"
  - name: "Rami Marelly"
    link: "https://researchr.org/alias/rami-marelly"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/949344.949353"
  links:
    doi: "http://doi.acm.org/10.1145/949344.949353"
  researchr: "https://researchr.org/publication/HarelKMP03"
  cites: 0
  citedby: 0
  pages: "68-69"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "HarelKMP03"
- title: "Process Logic: Expressiveness, Decidability, Completeness"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Dexter Kozen"
    link: "https://researchr.org/alias/dexter-kozen"
  - name: "Rohit Parikh"
    link: "https://researchr.org/alias/rohit-parikh"
  year: "1980"
  tags:
  - "completeness"
  - "logic"
  researchr: "https://researchr.org/publication/HarelKP80"
  cites: 0
  citedby: 0
  pages: "129-142"
  booktitle: "focs"
  kind: "inproceedings"
  key: "HarelKP80"
- title: "A High School Program in Computer Science"
  author:
  - name: "Judith Gal-Ezer"
    link: "https://researchr.org/alias/judith-gal-ezer"
  - name: "Catriel Beeri"
    link: "https://researchr.org/alias/catriel-beeri"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Amiram Yehudai"
    link: "https://researchr.org/alias/amiram-yehudai"
  year: "1995"
  tags:
  - "e-science"
  researchr: "https://researchr.org/publication/Gal-EzerBHY95"
  cites: 0
  citedby: 0
  journal: "Computer"
  volume: "28"
  number: "10"
  pages: "73-80"
  kind: "article"
  key: "Gal-EzerBHY95"
- title: "Deciding Emptiness for Stack Automata on Infinite Trees"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Danny Raz"
    link: "https://researchr.org/alias/danny-raz"
  year: "1994"
  month: "September"
  researchr: "https://researchr.org/publication/HarelR94"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "113"
  number: "2"
  pages: "278-299"
  kind: "article"
  key: "HarelR94"
- title: "Smart Play-Out Extended: Time and Forbidden Elements"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Hillel Kugler"
    link: "https://researchr.org/alias/hillel-kugler"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  year: "2004"
  doi: "http://csdl.computer.org/comp/proceedings/qsic/2004/2207/00/22070002abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/qsic/2004/2207/00/22070002abs.htm"
  researchr: "https://researchr.org/publication/HarelKP04"
  cites: 0
  citedby: 0
  pages: "2-10"
  booktitle: "qsic"
  kind: "inproceedings"
  key: "HarelKP04"
- title: "On Clustering Using Random Walks"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Yehuda Koren"
    link: "https://researchr.org/alias/yehuda-koren"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2245/22450018.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2245/22450018.htm"
  researchr: "https://researchr.org/publication/HarelK01"
  cites: 0
  citedby: 0
  pages: "18-41"
  booktitle: "fsttcs"
  kind: "inproceedings"
  key: "HarelK01"
- title: "Propositional Dynamic Logic of Flowcharts"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Rivi Sherman"
    link: "https://researchr.org/alias/rivi-sherman"
  year: "1983"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/HarelS83"
  cites: 0
  citedby: 0
  pages: "195-206"
  booktitle: "fct"
  kind: "inproceedings"
  key: "HarelS83"
- title: "Computability and Completeness in Logics of Programs (Preliminary Report)"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Albert R. Meyer"
    link: "https://researchr.org/alias/albert-r.-meyer"
  - name: "Vaughan R. Pratt"
    link: "https://researchr.org/alias/vaughan-r.-pratt"
  year: "1977"
  tags:
  - "completeness"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/HarelMP77"
  cites: 0
  citedby: 0
  pages: "261-268"
  booktitle: "stoc"
  kind: "inproceedings"
  key: "HarelMP77"
- title: "An algorithm for blob hierarchy layout"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Gregory Yashchin"
    link: "https://researchr.org/alias/gregory-yashchin"
  year: "2002"
  doi: "http://link.springer.de/link/service/journals/00371/bibs/2018003/20180164.htm"
  links:
    doi: "http://link.springer.de/link/service/journals/00371/bibs/2018003/20180164.htm"
  tags:
  - "layout"
  researchr: "https://researchr.org/publication/HarelY02"
  cites: 0
  citedby: 0
  journal: "vc"
  volume: "18"
  number: "3"
  pages: "164-185"
  kind: "article"
  key: "HarelY02"
- title: "More About Recursive Structures: Descriptive Complexity and Zero-One Laws"
  author:
  - name: "Tirza Hirst"
    link: "https://researchr.org/alias/tirza-hirst"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1996"
  researchr: "https://researchr.org/publication/HirstH96%3A0"
  cites: 0
  citedby: 0
  pages: "334-347"
  booktitle: "lics"
  kind: "inproceedings"
  key: "HirstH96:0"
- title: "A Probabilistic Dynamic Logic"
  author:
  - name: "Yishai A. Feldman"
    link: "https://researchr.org/alias/yishai-a.-feldman"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1984"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/FeldmanH84"
  cites: 0
  citedby: 0
  journal: "jcss"
  volume: "28"
  number: "2"
  pages: "193-215"
  kind: "article"
  key: "FeldmanH84"
- title: "Structure and Complexity of Relational Queries"
  author:
  - name: "Ashok K. Chandra"
    link: "https://researchr.org/alias/ashok-k.-chandra"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1980"
  researchr: "https://researchr.org/publication/ChandraH80%3A0"
  cites: 0
  citedby: 0
  booktitle: "xp"
  kind: "inproceedings"
  key: "ChandraH80:0"
- title: "A Multi-scale Algorithm for the Linear Arrangement Problem"
  author:
  - name: "Yehuda Koren"
    link: "https://researchr.org/alias/yehuda-koren"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2573/25730296.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2573/25730296.htm"
  researchr: "https://researchr.org/publication/KorenH02"
  cites: 0
  citedby: 0
  pages: "296-309"
  booktitle: "criwg"
  kind: "inproceedings"
  key: "KorenH02"
- title: "What (Else) Should CS Educators Know?"
  author:
  - name: "Judith Gal-Ezer"
    link: "https://researchr.org/alias/judith-gal-ezer"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1998"
  researchr: "https://researchr.org/publication/Gal-EzerH98"
  cites: 0
  citedby: 0
  journal: "CACM"
  volume: "41"
  number: "9"
  pages: "77-84"
  kind: "article"
  key: "Gal-EzerH98"
- title: "Will I be Pretty, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering (Summary)"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1994"
  doi: "http://doi.acm.org/10.1145/182591.182592"
  links:
    doi: "http://doi.acm.org/10.1145/182591.182592"
  researchr: "https://researchr.org/publication/Harel94"
  cites: 0
  citedby: 0
  pages: "1-3"
  booktitle: "PODS"
  kind: "inproceedings"
  key: "Harel94"
- title: "A Fast Multi-Scale Method for Drawing Large Graphs"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Yehuda Koren"
    link: "https://researchr.org/alias/yehuda-koren"
  year: "2002"
  doi: "http://www.cs.brown.edu/publications/jgaa/accepted/2002/HarelKoren2002.6.3.pdf"
  links:
    doi: "http://www.cs.brown.edu/publications/jgaa/accepted/2002/HarelKoren2002.6.3.pdf"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/HarelK02"
  cites: 0
  citedby: 0
  journal: "jgaa"
  volume: "6"
  number: "3"
  pages: "179-202"
  kind: "article"
  key: "HarelK02"
- title: "STATEMATE: A Working Environment for the Development of Complex Reactive Systems"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Hagi Lachover"
    link: "https://researchr.org/alias/hagi-lachover"
  - name: "Amnon Naamad"
    link: "https://researchr.org/alias/amnon-naamad"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Michal Politi"
    link: "https://researchr.org/alias/michal-politi"
  - name: "Rivi Sherman"
    link: "https://researchr.org/alias/rivi-sherman"
  - name: "Aharon Shtull-Trauring"
    link: "https://researchr.org/alias/aharon-shtull-trauring"
  - name: "Mark B. Trakhtenbrot"
    link: "https://researchr.org/alias/mark-b.-trakhtenbrot"
  year: "1990"
  doi: "http://www.computer.org/tse/ts1990/e0403abs.htm"
  links:
    doi: "http://www.computer.org/tse/ts1990/e0403abs.htm"
  tags:
  - "meta-model"
  - "model-driven development"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/HarelLNPPSST90"
  cites: 0
  citedby: 0
  journal: "TSE"
  volume: "16"
  number: "4"
  pages: "403-414"
  kind: "article"
  key: "HarelLNPPSST90"
- title: "More on Looping vs. Repeating in Dynamic Logic"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "David Peleg"
    link: "https://researchr.org/alias/david-peleg"
  year: "1985"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/HarelP85"
  cites: 0
  citedby: 0
  journal: "ipl"
  volume: "20"
  number: "2"
  pages: "87-90"
  kind: "article"
  key: "HarelP85"
- title: "Some Thoughts on Statecharts, 13 Years Later"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1997"
  researchr: "https://researchr.org/publication/Harel97%3A0"
  cites: 0
  citedby: 0
  pages: "226-231"
  booktitle: "cav"
  kind: "inproceedings"
  key: "Harel97:0"
- title: "A Grand Challenge for Computing: Towards Full Reactive Modeling of A Multi-Cellular Animal"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "2003"
  tags:
  - "modeling"
  researchr: "https://researchr.org/publication/Harel03"
  cites: 0
  citedby: 0
  journal: "eatcs"
  volume: "81"
  pages: "226-235"
  kind: "article"
  key: "Harel03"
- title: "A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2937&spage=323"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2937&spage=323"
  tags:
  - "modeling"
  researchr: "https://researchr.org/publication/Harel04"
  cites: 0
  citedby: 0
  pages: "323-324"
  booktitle: "vmcai"
  kind: "inproceedings"
  key: "Harel04"
- title: "Propositional Dynamic Logic of Context-Free Programs"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Jonathan Stavi"
    link: "https://researchr.org/alias/jonathan-stavi"
  year: "1981"
  tags:
  - "logic programming"
  - "context-aware"
  - "logic"
  researchr: "https://researchr.org/publication/HarelPS81"
  cites: 0
  citedby: 0
  pages: "310-321"
  booktitle: "focs"
  kind: "inproceedings"
  key: "HarelPS81"
- title: "On the Visualization and Aesthetics of Large Graphs: Short Abstract"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2890&spage=120"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2890&spage=120"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/Harel03%3A1"
  cites: 0
  citedby: 0
  pages: "120"
  booktitle: "ershov"
  kind: "inproceedings"
  key: "Harel03:1"
- title: "Some Results on the Expressive Power and Complexity of LSCs"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Shahar Maoz"
    link: "https://researchr.org/alias/shahar-maoz"
  - name: "Itai Segall"
    link: "https://researchr.org/alias/itai-segall"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-78127-1_19"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-78127-1_19"
  researchr: "https://researchr.org/publication/HarelMS08"
  cites: 0
  citedby: 0
  pages: "351-366"
  booktitle: "birthday"
  kind: "inproceedings"
  key: "HarelMS08"
- title: "On the Formal Semantics of Statecharts (Extended Abstract)"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Jeanette P. Schmidt"
    link: "https://researchr.org/alias/jeanette-p.-schmidt"
  - name: "Rivi Sherman"
    link: "https://researchr.org/alias/rivi-sherman"
  year: "1987"
  tags:
  - "semantics"
  - "formal semantics"
  researchr: "https://researchr.org/publication/HarelPSS87"
  cites: 0
  citedby: 0
  pages: "54-64"
  booktitle: "lics"
  kind: "inproceedings"
  key: "HarelPSS87"
- title: "On Statecharts with Overlapping"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Chaim-Arie Kahana"
    link: "https://researchr.org/alias/chaim-arie-kahana"
  year: "1992"
  doi: "http://doi.acm.org/10.1145/136586.136589"
  links:
    doi: "http://doi.acm.org/10.1145/136586.136589"
  researchr: "https://researchr.org/publication/HarelK92"
  cites: 0
  citedby: 0
  journal: "TOSEM"
  volume: "1"
  number: "4"
  pages: "399-421"
  kind: "article"
  key: "HarelK92"
- title: "The STATEMATE Semantics of Statecharts"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Amnon Naamad"
    link: "https://researchr.org/alias/amnon-naamad"
  year: "1996"
  doi: "http://doi.acm.org/10.1145/235321.235322"
  links:
    doi: "http://doi.acm.org/10.1145/235321.235322"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/HarelN96"
  cites: 0
  citedby: 0
  journal: "TOSEM"
  volume: "5"
  number: "4"
  pages: "293-333"
  kind: "article"
  key: "HarelN96"
- title: "Drawing Directed Graphs Using One-Dimensional Optimization"
  author:
  - name: "Liran Carmel"
    link: "https://researchr.org/alias/liran-carmel"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Yehuda Koren"
    link: "https://researchr.org/alias/yehuda-koren"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2528/25280193.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2528/25280193.htm"
  tags:
  - "optimization"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/CarmelHK02"
  cites: 0
  citedby: 0
  pages: "193-206"
  booktitle: "gd"
  kind: "inproceedings"
  key: "CarmelHK02"
- title: "On the Power of Bounded Concurrency I: Finite Automata"
  author:
  - name: "Doron Drusinsky"
    link: "https://researchr.org/alias/doron-drusinsky"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1994"
  doi: "db/journals/jacm/DrusinskyH94.html"
  researchr: "https://researchr.org/publication/DrusinskyH94"
  cites: 0
  citedby: 0
  journal: "JACM"
  volume: "41"
  number: "3"
  pages: "517-539"
  kind: "article"
  key: "DrusinskyH94"
- title: "From Play-In Scenarios to Code: An Achievable Dream"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1783/17830022.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1783/17830022.htm"
  researchr: "https://researchr.org/publication/Harel00%3A0"
  cites: 0
  citedby: 0
  pages: "22-34"
  booktitle: "FASE"
  kind: "inproceedings"
  key: "Harel00:0"
- title: "Further Results on Propositional Dynamic Logic of Nonregular Programs"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Jonathan Stavi"
    link: "https://researchr.org/alias/jonathan-stavi"
  year: "1981"
  tags:
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/HarelPS81%3A0"
  cites: 0
  citedby: 0
  pages: "124-136"
  booktitle: "lop"
  kind: "inproceedings"
  key: "HarelPS81:0"
- title: "The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Hillel Kugler"
    link: "https://researchr.org/alias/hillel-kugler"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3147&spage=325"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3147&spage=325"
  tags:
  - "semantics"
  - "UML"
  researchr: "https://researchr.org/publication/HarelK04%3A0"
  cites: 0
  citedby: 0
  pages: "325-354"
  booktitle: "dfg"
  kind: "inproceedings"
  key: "HarelK04:0"
- title: "On the Aesthetics of Diagrams"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1997"
  researchr: "https://researchr.org/publication/Harel97%3A1"
  cites: 0
  citedby: 0
  booktitle: "ngits"
  kind: "inproceedings"
  key: "Harel97:1"
- title: "From Play-In Scenarios To Code: An Achievable Dream"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "2000"
  doi: "http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-33/Harel9.ps"
  links:
    doi: "http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-33/Harel9.ps"
  researchr: "https://researchr.org/publication/Harel00"
  cites: 0
  citedby: 0
  pages: "9"
  booktitle: "dlog"
  kind: "inproceedings"
  key: "Harel00"
- title: "Process Logic with Regular Formulas"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "David Peleg"
    link: "https://researchr.org/alias/david-peleg"
  year: "1985"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/HarelP85%3A0"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "38"
  pages: "307-322"
  kind: "article"
  key: "HarelP85:0"
- title: "Statecharts: Past, Present and Future (abstract)"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1996"
  researchr: "https://researchr.org/publication/Harel96%3A0"
  cites: 0
  citedby: 0
  pages: "285"
  booktitle: "sofsem"
  kind: "inproceedings"
  key: "Harel96:0"
- title: "Towards Trace Visualization and Exploration for Reactive Systems"
  author:
  - name: "Shahar Maoz"
    link: "https://researchr.org/alias/shahar-maoz"
  - name: "Asaf Kleinbort"
    link: "https://researchr.org/alias/asaf-kleinbort"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2007.27"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2007.27"
  researchr: "https://researchr.org/publication/MaozKH07"
  cites: 0
  citedby: 0
  pages: "153-156"
  booktitle: "vl"
  kind: "inproceedings"
  key: "MaozKH07"
- title: "Drawing Graphs Nicely Using Simulated Annealing"
  author:
  - name: "Ron Davidson"
    link: "https://researchr.org/alias/ron-davidson"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1996"
  doi: "http://doi.acm.org/10.1145/234535.234538"
  links:
    doi: "http://doi.acm.org/10.1145/234535.234538"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/DavidsonH96"
  cites: 0
  citedby: 0
  journal: "tog"
  volume: "15"
  number: "4"
  pages: "301-331"
  kind: "article"
  key: "DavidsonH96"
- title: "On Static Logics, Dynamic Logics, and Complexity Classes"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "David Peleg"
    link: "https://researchr.org/alias/david-peleg"
  year: "1984"
  month: "January/February/March"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/HarelP84"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "60"
  number: "1-3"
  pages: "86-102"
  kind: "article"
  key: "HarelP84"
- title: "Is the Interesting Part of Process Logic Uninteresting? A Translation from PL to PDL"
  author:
  - name: "Rivi Sherman"
    link: "https://researchr.org/alias/rivi-sherman"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1984"
  tags:
  - "translation"
  - "logic"
  researchr: "https://researchr.org/publication/ShermanPH84"
  cites: 0
  citedby: 0
  journal: "SICOMP"
  volume: "13"
  number: "4"
  pages: "825-839"
  kind: "article"
  key: "ShermanPH84"
- title: "Towards a Theory of Recursive Structures"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1450/14500036.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1450/14500036.htm"
  researchr: "https://researchr.org/publication/Harel98%3A0"
  cites: 0
  citedby: 0
  pages: "36-53"
  booktitle: "mfcs"
  kind: "inproceedings"
  key: "Harel98:0"
- title: "Axis-by-Axis Stress Minimization"
  author:
  - name: "Yehuda Koren"
    link: "https://researchr.org/alias/yehuda-koren"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2912&spage=450"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2912&spage=450"
  researchr: "https://researchr.org/publication/KorenH03"
  cites: 0
  citedby: 0
  pages: "450-459"
  booktitle: "gd"
  kind: "inproceedings"
  key: "KorenH03"
- title: "More on Nonregular PDL: Expressive Power, Finite Models, Fibonacci Programs"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Eli Singerman"
    link: "https://researchr.org/alias/eli-singerman"
  year: "1995"
  researchr: "https://researchr.org/publication/HarelS95"
  cites: 0
  citedby: 0
  pages: "140-149"
  booktitle: "istcs"
  kind: "inproceedings"
  key: "HarelS95"
- title: "On the Behavior of Complex Object-Oriented Systems"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~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"
  kind: "inproceedings"
  key: "Harel01"
- title: "Towards a Theory of Recursive Structures"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1994"
  researchr: "https://researchr.org/publication/Harel94%3A0"
  cites: 0
  citedby: 0
  pages: "633-645"
  booktitle: "STACS"
  kind: "inproceedings"
  key: "Harel94:0"
- title: "Executable Object Modeling with Statecharts"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Eran Gery"
    link: "https://researchr.org/alias/eran-gery"
  year: "1996"
  doi: "http://portal.acm.org/citation.cfm?id=227726.227770"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "HarelG96"
- title: "An Algorithm for Blob Hierarchy Layout"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Gregory Yashchin"
    link: "https://researchr.org/alias/gregory-yashchin"
  year: "2000"
  tags:
  - "layout"
  researchr: "https://researchr.org/publication/HarelY00"
  cites: 0
  citedby: 0
  pages: "29-40"
  booktitle: "avi"
  kind: "inproceedings"
  key: "HarelY00"
- title: "First-Order Dynamic Logic"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~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"
  kind: "book"
  key: "Harel79"
- title: "LSCs: Breathing Life into Message Sequence Charts"
  author:
  - name: "Werner Damm"
    link: "https://researchr.org/alias/werner-damm"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "2001"
  researchr: "https://researchr.org/publication/DammH01"
  cites: 0
  citedby: 0
  journal: "fmsd"
  volume: "19"
  number: "1"
  pages: "45-80"
  kind: "article"
  key: "DammH01"
- title: "How Hard Is It to Reason about Propositional Programs?"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1990"
  researchr: "https://researchr.org/publication/Harel90"
  cites: 0
  citedby: 0
  pages: "772-773"
  booktitle: "ICLP"
  kind: "inproceedings"
  key: "Harel90"
- title: "On Folk Theorems"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1980"
  researchr: "https://researchr.org/publication/Harel80%3A1"
  cites: 0
  citedby: 0
  journal: "CACM"
  volume: "23"
  number: "7"
  pages: "379-389"
  kind: "article"
  key: "Harel80:1"
- title: "Computation Paths Logic: An Expressive, yet Elementary, Process Logic (abridged version)"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Eli Singerman"
    link: "https://researchr.org/alias/eli-singerman"
  year: "1997"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/HarelS97"
  cites: 0
  citedby: 0
  pages: "408-418"
  booktitle: "icalp"
  kind: "inproceedings"
  key: "HarelS97"
- title: "Randomized Graph Drawing with Heavy-Duty Preprocessing"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Meir Sardas"
    link: "https://researchr.org/alias/meir-sardas"
  year: "1994"
  doi: "http://doi.acm.org/10.1145/192309.192319"
  links:
    doi: "http://doi.acm.org/10.1145/192309.192319"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/HarelS94"
  cites: 0
  citedby: 0
  pages: "19-33"
  booktitle: "avi"
  kind: "inproceedings"
  key: "HarelS94"
- title: "Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool"
  author:
  - name: "Pierre Combes"
    link: "https://researchr.org/alias/pierre-combes"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Hillel Kugler"
    link: "https://researchr.org/alias/hillel-kugler"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/s10270-007-0069-5"
  links:
    doi: "http://dx.doi.org/10.1007/s10270-007-0069-5"
  tags:
  - "modeling"
  researchr: "https://researchr.org/publication/CombesHK08"
  cites: 0
  citedby: 0
  journal: "SoSyM"
  volume: "7"
  number: "2"
  pages: "157-175"
  kind: "article"
  key: "CombesHK08"
- title: "Towards an odor communication system"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Liran Carmel"
    link: "https://researchr.org/alias/liran-carmel"
  - name: "Doron Lancet"
    link: "https://researchr.org/alias/doron-lancet"
  year: "2003"
  doi: "http://dx.doi.org/10.1016/S1476-9271(02)00092-0"
  links:
    doi: "http://dx.doi.org/10.1016/S1476-9271(02)00092-0"
  researchr: "https://researchr.org/publication/HarelCL03"
  cites: 0
  citedby: 0
  journal: "CANDC"
  volume: "27"
  number: "2"
  pages: "121-133"
  kind: "article"
  key: "HarelCL03"
- title: "Multiple instances and symbolic variables in executable sequence charts"
  author:
  - name: "Rami Marelly"
    link: "https://researchr.org/alias/rami-marelly"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Hillel Kugler"
    link: "https://researchr.org/alias/hillel-kugler"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/582419.582429"
  links:
    doi: "http://doi.acm.org/10.1145/582419.582429"
  researchr: "https://researchr.org/publication/MarellyHK02"
  cites: 0
  citedby: 0
  pages: "83-100"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "MarellyHK02"
- title: "Computation Paths Logic: An Expressive, yet Elementary, Process Logic"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Eli Singerman"
    link: "https://researchr.org/alias/eli-singerman"
  year: "1999"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/HarelS99"
  cites: 0
  citedby: 0
  journal: "APAL"
  volume: "96"
  number: "1-3"
  pages: "167-186"
  kind: "article"
  key: "HarelS99"
- title: "A Thesis for Bounded Concurrency"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1989"
  researchr: "https://researchr.org/publication/Harel89"
  cites: 0
  citedby: 0
  pages: "35-48"
  booktitle: "mfcs"
  kind: "inproceedings"
  key: "Harel89"
- title: "On the Aesthetics of Diagrams"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1997"
  researchr: "https://researchr.org/publication/Harel97%3A3"
  cites: 0
  citedby: 0
  pages: "128-130"
  booktitle: "vl"
  kind: "inproceedings"
  key: "Harel97:3"
- title: "Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems"
  author:
  - name: "Jasmin Fisher"
    link: "https://researchr.org/alias/jasmin-fisher"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "E. Jane Albert Hubbard"
    link: "https://researchr.org/alias/e.-jane-albert-hubbard"
  - name: "Nir Piterman"
    link: "https://researchr.org/alias/nir-piterman"
  - name: "Michael J. Stern"
    link: "https://researchr.org/alias/michael-j.-stern"
  - name: "Naamah Swerdlin"
    link: "https://researchr.org/alias/naamah-swerdlin"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3082&spage=236"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3082&spage=236"
  tags:
  - "rule-based"
  - "modeling"
  - "e-science"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/FisherHHPSS04"
  cites: 0
  citedby: 0
  pages: "236-241"
  booktitle: "cmsb"
  kind: "inproceedings"
  key: "FisherHHPSS04"
- title: "Graph Drawing by High-Dimensional Embedding"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Yehuda Koren"
    link: "https://researchr.org/alias/yehuda-koren"
  year: "2004"
  doi: "http://jgaa.info/accepted/2004/HarelKoren2004.8.2.pdf"
  links:
    doi: "http://jgaa.info/accepted/2004/HarelKoren2004.8.2.pdf"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/HarelK04"
  cites: 0
  citedby: 0
  journal: "jgaa"
  volume: "8"
  number: "2"
  pages: "195-214"
  kind: "article"
  key: "HarelK04"
- title: "Statecharts: A Visual Formulation for Complex Systems"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1987"
  researchr: "https://researchr.org/publication/Harel87"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "8"
  number: "3"
  pages: "231-274"
  kind: "article"
  key: "Harel87"
- title: "Complexity Results for Two-Way and Multi-Pebble Automata and their Logics"
  author:
  - name: "Noa Globerman"
    link: "https://researchr.org/alias/noa-globerman"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1996"
  doi: "http://dx.doi.org/10.1016/S0304-3975(96)00119-3"
  links:
    doi: "http://dx.doi.org/10.1016/S0304-3975(96)00119-3"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/GlobermanH96"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "169"
  number: "2"
  pages: "161-184"
  kind: "article"
  key: "GlobermanH96"
- title: "On the Total Correctness of Nondeterministic Programs"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1981"
  researchr: "https://researchr.org/publication/Harel81"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "13"
  pages: "175-192"
  kind: "article"
  key: "Harel81"
- title: "Executable Object Modeling with Statecharts"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Eran Gery"
    link: "https://researchr.org/alias/eran-gery"
  year: "1997"
  tags:
  - "meta-model"
  - "modeling"
  - "object-role modeling"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/HarelG97"
  cites: 0
  citedby: 0
  journal: "Computer"
  volume: "30"
  number: "7"
  pages: "31-42"
  kind: "article"
  key: "HarelG97"
- title: "Deciding Properties of Nonregular Programs"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Danny Raz"
    link: "https://researchr.org/alias/danny-raz"
  year: "1993"
  researchr: "https://researchr.org/publication/HarelR93"
  cites: 0
  citedby: 0
  journal: "SICOMP"
  volume: "22"
  number: "4"
  pages: "857-874"
  kind: "article"
  key: "HarelR93"
- title: "Two Results on Process Logic"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1979"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/Harel79%3A1"
  cites: 0
  citedby: 0
  journal: "ipl"
  volume: "8"
  number: "4"
  pages: "195-198"
  kind: "article"
  key: "Harel79:1"
- title: "Response to  Comments on  On Object Systems and Behavior Inheritance  "
  author:
  - name: "Orna Kupferman"
    link: "https://researchr.org/alias/orna-kupferman"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "2003"
  doi: "http://www.computer.org/tse/ts2003/e0576abs.htm"
  links:
    doi: "http://www.computer.org/tse/ts2003/e0576abs.htm"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/KupfermanH03"
  cites: 0
  citedby: 0
  journal: "TSE"
  volume: "29"
  number: "6"
  pages: "576"
  kind: "article"
  key: "KupfermanH03"
- title: "Statecharts in the making: a personal account"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1238844.1238849"
  links:
    doi: "http://doi.acm.org/10.1145/1238844.1238849"
  researchr: "https://researchr.org/publication/Harel07"
  cites: 0
  citedby: 0
  pages: "1-43"
  booktitle: "HOPL"
  kind: "inproceedings"
  key: "Harel07"
- title: "Visualizing inter-dependencies between scenarios"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Itai Segall"
    link: "https://researchr.org/alias/itai-segall"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1409720.1409744"
  links:
    doi: "http://doi.acm.org/10.1145/1409720.1409744"
  researchr: "https://researchr.org/publication/HarelS08"
  cites: 0
  citedby: 0
  pages: "145-153"
  booktitle: "softvis"
  kind: "inproceedings"
  key: "HarelS08"
- title: "On the Complexity of Verifying Concurrent Transition Systems"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Orna Kupferman"
    link: "https://researchr.org/alias/orna-kupferman"
  - name: "Moshe Y. Vardi"
    link: "https://researchr.org/alias/moshe-y.-vardi"
  year: "1997"
  researchr: "https://researchr.org/publication/HarelKV97"
  cites: 0
  citedby: 0
  pages: "258-272"
  booktitle: "concur"
  kind: "inproceedings"
  key: "HarelKV97"
- title: "Towards a Theory of Recursive Structures (extended abstract)"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1997"
  researchr: "https://researchr.org/publication/Harel97"
  cites: 0
  citedby: 0
  pages: "141-144"
  booktitle: "lfcs"
  kind: "inproceedings"
  key: "Harel97"
- title: "Some Thoughts on Statecharts, 13 Years Later (Abstract)"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1996"
  researchr: "https://researchr.org/publication/Harel96"
  cites: 0
  citedby: 0
  pages: "361"
  booktitle: "asian"
  kind: "inproceedings"
  key: "Harel96"
- title: "STATEMATE; A Working Environment for the Development of Complex Reactive Systems"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Hagi Lachover"
    link: "https://researchr.org/alias/hagi-lachover"
  - name: "Amnon Naamad"
    link: "https://researchr.org/alias/amnon-naamad"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Michal Politi"
    link: "https://researchr.org/alias/michal-politi"
  - name: "Rivi Sherman"
    link: "https://researchr.org/alias/rivi-sherman"
  - name: "Aharon Shtull-Trauring"
    link: "https://researchr.org/alias/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"
  kind: "inproceedings"
  key: "HarelLNPPSS88"
- title: "Combining Hierarchy and Energy Drawing Directed Graphs"
  author:
  - name: "Liran Carmel"
    link: "https://researchr.org/alias/liran-carmel"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Yehuda Koren"
    link: "https://researchr.org/alias/yehuda-koren"
  year: "2004"
  doi: "http://csdl.computer.org/comp/trans/tg/2004/01/v0046abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/trans/tg/2004/01/v0046abs.htm"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/CarmelHK04"
  cites: 0
  citedby: 0
  journal: "tvcg"
  volume: "10"
  number: "1"
  pages: "46-57"
  kind: "article"
  key: "CarmelHK04"
- title: "Taking It to the Limit: On Infinite Variants of NP-Complete Problems"
  author:
  - name: "Tirza Hirst"
    link: "https://researchr.org/alias/tirza-hirst"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1996"
  tags:
  - "completeness"
  researchr: "https://researchr.org/publication/HirstH96a"
  cites: 0
  citedby: 0
  journal: "jcss"
  volume: "53"
  number: "2"
  pages: "180-193"
  kind: "article"
  key: "HirstH96a"
- title: "A Fast Multi-scale Method for Drawing Large Graphs"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Yehuda Koren"
    link: "https://researchr.org/alias/yehuda-koren"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1984/19840183.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1984/19840183.htm"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/HarelK00%3A2"
  cites: 0
  citedby: 0
  pages: "183-196"
  booktitle: "gd"
  kind: "inproceedings"
  key: "HarelK00:2"
- title: "S2A: A Compiler for Multi-modal UML Sequence Diagrams"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Asaf Kleinbort"
    link: "https://researchr.org/alias/asaf-kleinbort"
  - name: "Shahar Maoz"
    link: "https://researchr.org/alias/shahar-maoz"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71289-3_11"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71289-3_11"
  tags:
  - "UML"
  - "compiler"
  - "sequence diagrams"
  researchr: "https://researchr.org/publication/HarelKM07"
  cites: 0
  citedby: 0
  pages: "121-124"
  booktitle: "FASE"
  kind: "inproceedings"
  key: "HarelKM07"
- title: "Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Hillel Kugler"
    link: "https://researchr.org/alias/hillel-kugler"
  - name: "Gera Weiss"
    link: "https://researchr.org/alias/gera-weiss"
  year: "2003"
  doi: "http://dx.doi.org/10.1007/11495628_2"
  links:
    doi: "http://dx.doi.org/10.1007/11495628_2"
  tags:
  - "systematic-approach"
  researchr: "https://researchr.org/publication/HarelKW03"
  cites: 0
  citedby: 0
  pages: "26-42"
  booktitle: "Dagstuhl"
  kind: "inproceedings"
  key: "HarelKW03"
- title: "Assert and negate revisited: modal semantics for UML sequence diagrams"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Shahar Maoz"
    link: "https://researchr.org/alias/shahar-maoz"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1138953.1138958"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "HarelM06"
- title: "Will I Be Pretty, Will I Be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering"
  author:
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  year: "1997"
  doi: "http://computer.org/proceedings/re/7740/77400184abs.htm"
  links:
    doi: "http://computer.org/proceedings/re/7740/77400184abs.htm"
  researchr: "https://researchr.org/publication/Harel97%3A2"
  cites: 0
  citedby: 0
  pages: "184"
  booktitle: "RE"
  kind: "inproceedings"
  key: "Harel97:2"
- 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:
  - name: "Oscar Nierstrasz"
    link: "http://scg.unibe.ch/staff/oscar"
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Gianna Reggio"
    link: "https://researchr.org/alias/gianna-reggio"
  volume: "4199"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-45772-0"
  kind: "proceedings"
  key: "models:2006"
- 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:
  - name: "Ed Brinksma"
    link: "http://www.sigir2007.org/~brinksma/"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Angelika Mader"
    link: "https://researchr.org/alias/angelika-mader"
  - name: "Perdita Stevens"
    link: "http://homepages.inf.ed.ac.uk/perdita/"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  volume: "06351"
  series: "Dagstuhl Seminar Proceedings"
  publisher: "Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany"
  kind: "proceedings"
  key: "dagstuhl:2006P6351"