David Harel

David Harel, Assaf Marron, Gera Weiss: Behavioral programming. Commun. ACM 55(7): 90-100 (2012)

Yaki Setty, Irun R. Cohen, David Harel: Executable Modeling of Morphogenesis: A Turing-Inspired Approach. Fundam. Inform. 118(4): 403-417 (2012)

Ahmed Bouajjani, David Harel, Lenore D. Zuck: Editorʼs foreword. J. Comput. Syst. Sci. 78(3): 822 (2012)

David Harel, Itai Segall: Synthesis from scenario-based specifications. J. Comput. Syst. Sci. 78(3): 970-980 (2012)

David Harel, Assaf Marron: The quest for runware: on compositional, executable and intuitive models. Software and System Modeling 11(4): 599-608 (2012)

David Harel, Amir Kantor: Multi-modal scenarios revisited: A net-based representation. Theor. Comput. Sci. 429: 118-127 (2012)

David Harel: Dexter Kozen: A Winning Combination of Brilliance, Depth, and Elegance. Logic and Program Semantics 2012: 326-327

David Harel, Assaf Marron, Amir Nissim, Gera Weiss: A software engineering framework for switched fuzzy systems. FUZZ-IEEE 2012: 1-9

David Harel: Standing on the Shoulders of a Giant - One Persons Experience of Turings Impact (Summary of the Alan M. Turing Lecture). ICALP (2) 2012: 16-22

David Harel, Guy Katz, Assaf Marron, Gera Weiss: Non-intrusive Repair of Reactive Programs. ICECCS 2012: 3-12

David Harel: Standing on the shoulders of a giant: one person's experience of turing's impact. ITiCSE 2012: 3

David Harel: Some thoughts on executable visual languages and their Interfaces. VL/HCC 2012: 4

Michal Gordon, David Harel: Evaluating a natural language interface for behavioral programming. VL/HCC 2012: 167-170

Jasmin Fisher, David Harel, Thomas A. Henzinger: Biology as reactivity. Commun. ACM 54(10): 72-82 (2011)

Shahar Maoz, David Harel: On tracing reactive systems. Software and System Modeling 10(4): 447-468 (2011)

Shahar Maoz, David Harel, Asaf Kleinbort: A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJ. ACM Trans. Softw. Eng. Methodol. 20(4): 18 (2011)

David Harel: Some Thoughts on Behavioral Programming. BPM 2011: 1

David Harel, Robby Lampert, Assaf Marron, Gera Weiss: Model-checking behavioral programs. EMSOFT 2011: 279-288

David Harel: Some Thoughts on Behavioral Programming. FM 2011: 2

Nir Eitan, David Harel: Adaptive Behavioral Programming. ICTAI 2011: 685-692

Nir Eitan, Michal Gordon, David Harel, Assaf Marron, Gera Weiss: On Visualization and Comprehension of Scenario-Based Programs. ICPC 2011: 189-192

David Harel, Assaf Marron, Guy Wiener, Gera Weiss: Behavioral programming, decentralized control, and multiple time scales. SPLASH Workshops 2011: 171-182

David Harel: Amir Pnueli - A Gentle Giant: Lord of the phi's and the psi's. Formal Asp. Comput. 22(6): 663-665 (2010)

Yaki Setty, Irun R. Cohen, David Harel: Modeling Biology using Generic Reactive Animation. Fundam. Inform. 103(1-4): 235-246 (2010)

Rafi Haddad, Abebe Medhanie, Yehudah Roth, David Harel, Noam Sobel: Predicting Odor Pleasantness with an Electronic Nose. PLoS Computational Biology 6(4) (2010)

David Harel: Some Thoughts on Behavioral Programming. Petri Nets 2010: 18

David Harel, Hillel Kugler: Some Thoughts on the Semantics of Biocharts. Essays in Memory of Amir Pnueli 2010: 185-194

David Harel, Amir Kantor, Shahar Maoz: On the Power of Play-Out for Scenario-Based Programs. Concurrency, Compositionality, and Correctness 2010: 207-220

David Harel, Assaf Marron, Gera Weiss: Programming Coordinated Behavior in Java. ECOOP 2010: 250-274

David Harel, Shahar Maoz, Smadar Szekely, Daniel Barkan: PlayGo: towards a comprehensive tool for scenario based programming. ASE 2010: 359-360

David Harel: Amir Pnueli: A Gentle Giant, Lord of the Phi's and the Psi's. LICS 2010: 57

David Harel, Hillel Kugler, Shahar Maoz, Itai Segall: Accelerating Smart Play-Out. SOFSEM 2010: 477-488

Michal Gordon, David Harel: Semantic Navigation Strategies for Scenario-Based Programming. VL/HCC 2010: 219-226

David Harel: Statecharts in the making: a personal account. Commun. ACM 52(3): 67-75 (2009)

David Harel, Michal Gordon-Kiwkowitz: On Teaching Visual Formalisms. IEEE Software 26(3): 87-95 (2009)

Michal Gordon, David Harel: Generating Executable Scenarios from Natural Language. CICLing 2009: 456-467

David Harel: Can We Verify an Elephant? Haifa Verification Conference 2009: 1

David Harel: Can we computerize an elephant? MEMOCODE 2009: 77

David Harel, Shahar Maoz: Visual Formalisms. Encyclopedia of Database Systems 2009: 3370-3374

David Harel: Can Programming Be Liberated, Period? IEEE Computer 41(1): 28-37 (2008)

David Harel, Yaki Setty, Sol Efroni, Naamah Swerdlin, Irun R. Cohen: Concurrency in Biological Modeling: Behavior, Execution and Visualization. Electr. Notes Theor. Comput. Sci. 194(3): 119-131 (2008)

Rafi Haddad, Liran Carmel, Noam Sobel, David Harel: Predicting the Receptive Range of Olfactory Receptors. PLoS Computational Biology 4(2) (2008)

Pierre Combes, David Harel, Hillel Kugler: Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool. Software and System Modeling 7(2): 157-175 (2008)

David Harel, Shahar Maoz: Assert and negate revisited: Modal semantics for UML sequence diagrams. Software and System Modeling 7(2): 237-252 (2008)

Avital Sadot, Jasmin Fisher, Dan Barak, Yishai Admanit, Michael J. Stern, E. Jane Albert Hubbard, David Harel: Toward Verified Biological Models. IEEE/ACM Trans. Comput. Biology Bioinform. 5(2): 223-234 (2008)

Hila Amir-Kroll, Avital Sadot, Irun R. Cohen, David Harel: GemCell: A generic platform for modeling multi-cellular biological systems. Theor. Comput. Sci. 391(3): 276-290 (2008)

David Harel, Shahar Maoz, Itai Segall: Some Results on the Expressive Power and Complexity of LSCs. Pillars of Computer Science 2008: 351-366

Yoram Atir, David Harel, Asaf Kleinbort, Shahar Maoz: Object Composition in Scenario-Based Programming. FASE 2008: 301-316

David Harel, Yaki Setty: Generic Reactive Animation: Realistic Modeling of Complex Natural Systems. FMSB 2008: 1-16

David Harel, Itai Segall, Hillel Kugler, Yaki Setty: Crafting game-models using reactive system design. Future Play 2008: 121-128

David Harel, Itai Segall: Visualizing inter-dependencies between scenarios. SOFTVIS 2008: 145-153

Sol Efroni, David Harel, Irun R. Cohen: Emergent Dynamics of Thymocyte Development and Lineage Determination. PLoS Computational Biology 3(1) (2007)

David Harel, Asaf Kleinbort, Shahar Maoz: S2A: A Compiler for Multi-modal UML Sequence Diagrams. FASE 2007: 121-124

David Harel: Statecharts in the making: a personal account. HOPL 2007: 1-43

Yoram Atir, David Harel: Using LSCs for scenario authoring in tactical simulators. SCSC 2007: 437-442

David Harel, Itai Segall: Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs^, . TACAS 2007: 485-499

Shahar Maoz, Asaf Kleinbort, David Harel: Towards Trace Visualization and Exploration for Reactive Systems. VL/HCC 2007: 153-156

Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa (Eds.): Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006. Dagstuhl Seminar Proceedings 06351, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007

David Harel, Yishai A. Feldman: Algorithmik - die Kunst des Rechnens. Springer 2006, isbn 978-3-540-24342-7, pp. I-XVIII, 1-608

Dan Barak, David Harel, Rami Marelly: InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming. IEEE Trans. Software Eng. 32(7): 467-485 (2006)

David Harel: Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs. CAV 2006: 3-4

Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa: 06351 Summary -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006

Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa: 06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006

David Harel, Shahar Maoz: Assert and negate revisited: modal semantics for UML sequence diagrams. SCESM 2006: 13-20

Shahar Maoz, David Harel: From multi-modal scenarios to code: compiling LSCs into aspectJ. SIGSOFT FSE 2006: 219-230

David Harel: Comprehensive and realistic modeling of biological systems. Winter Simulation Conference 2006: 1625-1627

Herbert M. Sauro, David Harel, Marta Z. Kwiatkowska, Clifford A. Shaffer, Adelinde M. Uhrmacher, Michael Hucka, Pedro Mendes, Lena Strömbäck, John J. Tyson: Challenges for modeling and simulation methods in systems biology. Winter Simulation Conference 2006: 1720-1730

Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio (Eds.): Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings. Lecture Notes in Computer Science 4199, Springer 2006, isbn 3-540-45772-0

Yehuda Koren, David Harel: One-dimensional layout optimization, with applications to graph drawing by axis separation. Comput. Geom. 32(2): 115-138 (2005)

Sol Efroni, David Harel, Irun R. Cohen: Reactive Animation: Realistic Modeling of Complex Dynamic Systems. IEEE Computer 38(1): 38-47 (2005)

Pierre Combes, David Harel, Hillel Kugler: Modeling and Verification of a Telecommunication Application Using Live Sequence Charts and the Play-Engine Tool. ATVA 2005: 414-428

David Harel, Hillel Kugler, Amir Pnueli: Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements. Formal Methods in Software and Systems Modeling 2005: 309-324

Hillel Kugler, David Harel, Amir Pnueli, Yuan Lu, Yves Bontemps: Temporal Logic for Scenario-Based Specifications. TACAS 2005: 445-460

David Harel, Yishai A. Feldman: Algorithmics - the spirit of computing (3. ed.). Addison-Wesley 2004, isbn 978-0-321-11784-7, pp. I-XVIII, 1-513

David Harel, Bernhard Rumpe: Meaningful Modeling: What's the Semantics of "Semantics"?. IEEE Computer 37(10): 64-72 (2004)

David Harel, Yehuda Koren: Graph Drawing by High-Dimensional Embedding. J. Graph Algorithms Appl. 8(2): 195-214 (2004)

Liran Carmel, David Harel, Yehuda Koren: Combining Hierarchy and Energy Drawing Directed Graphs. IEEE Trans. Vis. Comput. Graph. 10(1): 46-57 (2004)

Jasmin Fisher, David Harel, E. Jane Albert Hubbard, Nir Piterman, Michael J. Stern, Naamah Swerdlin: Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems. CMSB 2004: 236-241

David Harel, Hillel Kugler: The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version. SoftSpez Final Report 2004: 325-354

David Harel, Hillel Kugler, Amir Pnueli: Smart Play-Out Extended: Time and Forbidden Elements. QSIC 2004: 2-10

David Harel: A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal. VMCAI 2004: 323-324

David Harel: Computers Ltd - what they really can't do. Oxford University Press 2003, isbn 978-0-19-860442-6, pp. I-XVII, 1-222

David Harel: Come, let's play - scenario-based programming using LSCs and the play-engine. Springer 2003, isbn 978-3-540-00787-6, pp. I-XVIII, 1-382

David Harel, Liran Carmel, Doron Lancet: Towards an odor communication system. Computational Biology and Chemistry 27(2): 121-133 (2003)

David Harel: A Grand Challenge for Computing: Towards Full Reactive Modeling of A Multi-Cellular Animal. Bulletin of the EATCS 81: 226-235 (2003)

David Harel, Rami Marelly: Specifying and executing behavioral requirements: the play-in/play-out approach. Software and System Modeling 2(2): 82-107 (2003)

Orna Kupferman, David Harel: Response to "Comments on 'On Object Systems and Behavior Inheritance'". IEEE Trans. Software Eng. 29(6): 576 (2003)

Dan Barak, David Harel, Rami Marelly: InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming. Lectures on Concurrency and Petri Nets 2003: 66-86

Na'aman Kam, David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli, E. Jane Albert Hubbard, Michael J. Stern: Formal Modeling of C. elegans Development: A Scenario-Based Approach. CMSB 2003: 4-20

David Harel, Hillel Kugler, Gera Weiss: Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach. Scenarios: Models, Transformations and Tools 2003: 26-42

David Harel: On the Visualization and Aesthetics of Large Graphs: Short Abstract. Ershov Memorial Conference 2003: 120

Yehuda Koren, David Harel: Axis-by-Axis Stress Minimization. Graph Drawing 2003: 450-459

David Harel: A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal. HSCC 2003: 2

Yehuda Koren, David Harel: A two-way visualization method for clustered data. KDD 2003: 589-594

David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli: Smart play-out. OOPSLA Companion 2003: 68-69

David Harel: Das Affenpuzzle - und weitere bad news aus der Computerwelt. Springer 2002, isbn 978-3-540-42307-2, pp. I-XVII, 1-207

David Harel, Orna Kupferman, Moshe Y. Vardi: On the Complexity of Verifying Concurrent Transition Systems. Inf. Comput. 173(2): 143-161 (2002)

David Harel, Hillel Kugler: Synthesizing State-Based Object Systems from LSC Specifications. Int. J. Found. Comput. Sci. 13(1): 5-51 (2002)

David Harel, Yehuda Koren: A Fast Multi-Scale Method for Drawing Large Graphs. J. Graph Algorithms Appl. 6(3): 179-202 (2002)

David Harel, Orna Kupferman: On Object Systems and Behavioral Inheritance. IEEE Trans. Software Eng. 28(9): 889-903 (2002)

David Harel, Gregory Yashchin: An algorithm for blob hierarchy layout. The Visual Computer 18(3): 164-185 (2002)

David Harel: Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?). EMSOFT 2002: 30-31

David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli: Smart Play-out of Behavioral Requirements. FMCAD 2002: 378-398

David Harel, Sol Efroni, Irun R. Cohen: Reactive Animation. FMCO 2002: 136-153

Liran Carmel, David Harel, Yehuda Koren: Drawing Directed Graphs Using One-Dimensional Optimization. Graph Drawing 2002: 193-206

David Harel, Yehuda Koren: Graph Drawing by High-Dimensional Embedding. Graph Drawing 2002: 207-219

David Harel: Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?). ICGT 2002: 6-7

Eran Gery, David Harel, Eldad Palachi: Rhapsody: A Complete Life-Cycle Model-Based Development System. IFM 2002: 1-10

Yehuda Koren, Liran Carmel, David Harel: ACE: A Fast Multiscale Eigenvectors Computation for Drawing Huge Graphs. INFOVIS 2002: 137-144

David Harel, Rami Marelly: Playing with Time: On the Specification and Execution of Time-Enriched LSCs. MASCOTS 2002: 193-202

Rami Marelly, David Harel, Hillel Kugler: Multiple instances and symbolic variables in executable sequence charts. OOPSLA 2002: 83-100

Yehuda Koren, David Harel: A Multi-scale Algorithm for the Linear Arrangement Problem. WG 2002: 296-309

David Harel: From Play-In Scenarios to Code: An Achievable Dream. IEEE Computer 34(1): 53-60 (2001)

Ronny Hadany, David Harel: A multi-scale algorithm for drawing graphs nicely. Discrete Applied Mathematics 113(1): 3-21 (2001)

Werner Damm, David Harel: LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design 19(1): 45-80 (2001)

David Harel, Dexter Kozen, Jerzy Tiuryn: Dynamic logic. SIGACT News 32(1): 66-69 (2001)

David Harel, Yehuda Koren: On Clustering Using Random Walks. FSTTCS 2001: 18-41

David Harel, Yehuda Koren: Clustering spatial data using random walks. KDD 2001: 281-286

David Harel: On the Behavior of Complex Object-Oriented Systems. OMER 2001: 11-15

Na'aman Kam, Irun R. Cohen, David Harel: The Immune System as a Reactive System: Modeling T Cell Activation With Statecharts. HCC 2001: 15-22

David Harel, Gregory Yashchin: An Algorithm for Blob Hierarchy Layout. Advanced Visual Interfaces 2000: 29-40

David Harel, Yehuda Koren: A Fast Multi-Scale Method for Drawing Large Graphs. Advanced Visual Interfaces 2000: 282-285

David Harel: From Play-In Scenarios To Code: An Achievable Dream. Description Logics 2000: 9

David Harel: From Play-In Scenarios to Code: An Achievable Dream. FASE 2000: 22-34

David Harel, Yehuda Koren: A Fast Multi-scale Method for Drawing Large Graphs. Graph Drawing 2000: 183-196

David Harel, Orna Kupferman: On the Behavioral Inheritance of State-Based Objects. TOOLS (34) 2000: 83-94

David Harel, Hillel Kugler: Synthesizing State-Based Object Systems from LSC Specifications. CIAA 2000: 1-33

David Harel, Eli Singerman: Computation Paths Logic: An Expressive, yet Elementary, Process Logic. Ann. Pure Appl. Logic 96(1-3): 167-186 (1999)

Werner Damm, David Harel: LSCs: Breathing Life into Message Sequence Charts. FMOODS 1999

Ronny Hadany, David Harel: A Multi-Scale Algorithm for Drawing Graphs Nicely. WG 1999: 262-277

David Harel, Meir Sardas: An Algorithm for Straight-Line Drawing of Planar Graphs. Algorithmica 20(2): 119-135 (1998)

Judith Gal-Ezer, David Harel: What (Else) Should CS Educators Know? Commun. ACM 41(9): 77-84 (1998)

David Harel: Towards a Theory of Recursive Structures. MCU (1) 1998: 93-114

David Harel: Towards a Theory of Recursive Structures. MFCS 1998: 36-53

David Harel: On the Aesthetics of Diagrams (Summary of Talk). MPC 1998: 1-5

David Harel, Eran Gery: Executable Object Modeling with Statecharts. IEEE Computer 30(7): 31-42 (1997)

David Harel: Some Thoughts on Statecharts, 13 Years Later. CAV 1997: 226-231

David Harel, Orna Kupferman, Moshe Y. Vardi: On the Complexity of Verifying Concurrent Transition Systems. CONCUR 1997: 258-272

David Harel, Eli Singerman: Computation Paths Logic: An Expressive, yet Elementary, Process Logic (abridged version). ICALP 1997: 408-418

David Harel: Towards a Theory of Recursive Structures (extended abstract). LFCS 1997: 141-144

David Harel: On the Aesthetics of Diagrams. NGITS 1997: 0-

David Harel: Will I Be Pretty, Will I Be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering. RE 1997: 184-

James Coplien, Joseph Gil, David Harel, Bertrand Meyer: Keynotes. TOOLS (23) 1997: 2

David Harel: On the Aesthetics of Diagrams. VL 1997: 128-130

David Harel, Eli Singerman: More on Nonregular PDL: Finite Models and Fibonacci-Like Programs. Inf. Comput. 128(2): 109-118 (1996)

Tirza Hirst, David Harel: Completeness Results for Recursive Data Bases. J. Comput. Syst. Sci. 52(3): 522-536 (1996)

Tirza Hirst, David Harel: Taking It to the Limit: On Infinite Variants of NP-Complete Problems. J. Comput. Syst. Sci. 53(2): 180-193 (1996)

Noa Globerman, David Harel: Complexity Results for Two-Way and Multi-Pebble Automata and their Logics. Theor. Comput. Sci. 169(2): 161-184 (1996)

Ron Davidson, David Harel: Drawing Graphs Nicely Using Simulated Annealing. ACM Trans. Graph. 15(4): 301-331 (1996)

David Harel, Amnon Naamad: The STATEMATE Semantics of Statecharts. ACM Trans. Softw. Eng. Methodol. 5(4): 293-333 (1996)

David Harel: Some Thoughts on Statecharts, 13 Years Later (Abstract). ASIAN 1996: 361

Bruce Powel Douglass, David Harel, Mark B. Trakhtenbrot: Statecharts in Use: Structured Analysis and Object-Orientation. European Educational Forum: School on Embedded Systems 1996: 368-394

David Harel, Eran Gery: Executable Object Modeling with Statecharts. ICSE 1996: 246-257

Tirza Hirst, David Harel: More About Recursive Structures: Descriptive Complexity and Zero-One Laws. LICS 1996: 334-347

David Harel: Statecharts: Past, Present and Future (abstract). SOFSEM 1996: 285

Judith Gal-Ezer, Catriel Beeri, David Harel, Amiram Yehudai: A High School Program in Computer Science. IEEE Computer 28(10): 73-80 (1995)

David Harel: Will I be pretty, will I be rich?: some thoughts on theory vs. practice in systems engineering. SIGACT News 26(2): 21-25 (1995)

David Harel, Meir Sardas: Randomized Graph Drawing with Heavy-Duty Preprocessing. J. Vis. Lang. Comput. 6(3): 233-253 (1995)

David Harel: Towards a theory of Recursive Structures. Computer Science Today 1995: 374-391

David Harel: Will I be Preety, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering. CONCUR 1995: 264-268

David Harel, Eli Singerman: More on Nonregular PDL: Expressive Power, Finite Models, Fibonacci Programs. ISTCS 1995: 140-149

David Harel, Danny Raz: Deciding Emptiness for Stack Automata on Infinite Trees. Inf. Comput. 113(2): 278-299 (1994)

Doron Drusinsky, David Harel: On the Power of Bounded Concurrency I: Finite Automata. J. ACM 41(3): 517-539 (1994)

Tirza Hirst, David Harel: On the Power of Bounded Concurrency II: Pushdown Automata. J. ACM 41(3): 540-554 (1994)

Yael Etzion-Petruschka, David Harel, Dale Myers: On the Solvability of Domino Snake Problems. Theor. Comput. Sci. 131(2): 243-269 (1994)

David Harel, Meir Sardas: Randomized Graph Drawing with Heavy-Duty Preprocessing. Advanced Visual Interfaces 1994: 19-33

Noa Globerman, David Harel: Complexity Results for Multi-Pebble Automata and their Logics. ICALP 1994: 73-82

David Harel: Will I be Pretty, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering (Summary). PODS 1994: 1-3

David Harel: Towards a Theory of Recursive Structures. STACS 1994: 633-645

David Harel, Danny Raz: Deciding Properties of Nonregular Programs. SIAM J. Comput. 22(4): 857-874 (1993)

Tirza Hirst, David Harel: Taking it to the Limit: On Infinite Variants of NP-Complete Problems. Structure in Complexity Theory Conference 1993: 292-304

David Harel: Computers are not Omnipotent (Abstract). ESEC 1993: 10

Tirza Hirst, David Harel: Completeness Results for Recursive Data Bases. PODS 1993: 244-252

David Harel: Biting the Silver Bullet - Toward a Brighter Future for System Development. IEEE Computer 25(1): 8-20 (1992)

David Harel, Chaim-Arie Kahana: On Statecharts with Overlapping. ACM Trans. Softw. Eng. Methodol. 1(4): 399-421 (1992)

David Harel: Hamiltonian Paths in Infinite Graphs. STOC 1991: 220-229

David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, Mark B. Trakhtenbrot: STATEMATE: A Working Environment for the Development of Complex Reactive Systems. IEEE Trans. Software Eng. 16(4): 403-414 (1990)

Tirza Hirst, David Harel: On the Power of Bounded Concurrency II: The Pushdown Automata Level. CAAP 1990: 1-17

David Harel, Danny Raz: Deciding Properties of Nonregular Programs (Preliminary Version). FOCS 1990: 652-661

David Harel: How Hard Is It to Reason about Propositional Programs? ICLP 1990: 772-773

David Harel, Roni Rosner, Moshe Y. Vardi: On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report). LICS 1990: 478-488

David Harel: The science of computing - exploring the nature and power of algorithms. Addison-Wesley 1989, isbn 978-0-201-51723-1, pp. I-XV, 1-348

Doron Drusinsky, David Harel: Using statecharts for hardware description and synthesis. IEEE Trans. on CAD of Integrated Circuits and Systems 8(7): 798-807 (1989)

David Harel: A Thesis for Bounded Concurrency. MFCS 1989: 35-48

David Harel: On Visual Formalisms. Commun. ACM 31(5): 514-530 (1988)

Doron Drusinsky, David Harel: On the Power of Cooperative Concurrency. Concurrency 1988: 74-103

David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring: STATEMATE; A Working Environment for the Development of Complex Reactive Systems. ICSE 1988: 396-406

David Harel: Algorithmics - the spirit of computing (2. ed.). Addison-Wesley 1987, isbn 978-0-201-19240-7, pp. I-XV, 1-476

David Harel: Statecharts: A Visual Formalism for Complex Systems. Sci. Comput. Program. 8(3): 231-274 (1987)

David Harel, Amir Pnueli, Jeanette P. Schmidt, Rivi Sherman: On the Formal Semantics of Statecharts (Extended Abstract). LICS 1987: 54-64

David Harel: Effective transformations on infinite trees, with applications to high undecidability, dominoes, and fairness. J. ACM 33(1): 224-248 (1986)

David Harel, Rivi Sherman: Propositional Dynamic Logic of Flowcharts. Information and Control 64(1-3): 119-135 (1985)

David Harel, David Peleg: More on Looping vs. Repeating in Dynamic Logic. Inf. Process. Lett. 20(2): 87-90 (1985)

Ashok K. Chandra, David Harel: Horn Clauses Queries and Generalizations. J. Log. Program. 2(1): 1-15 (1985)

David Harel, David Peleg: Process Logic with Regular Formulas. Theor. Comput. Sci. 38: 307-322 (1985)

David Harel, David Peleg: On Static Logics, Dynamic Logics, and Complexity Classes. Information and Control 60(1-3): 86-102 (1984)

David Harel, Dexter Kozen: A Programming Language for the Inductive Sets, and Applications. Information and Control 63(1/2): 118-139 (1984)

Yishai A. Feldman, David Harel: A Probabilistic Dynamic Logic. J. Comput. Syst. Sci. 28(2): 193-215 (1984)

David Harel, Mike Paterson: Undecidability of PDL with L={a^(2i)|i>=0}. J. Comput. Syst. Sci. 29(3): 359-365 (1984)

Rivi Sherman, Amir Pnueli, David Harel: Is the Interesting Part of Process Logic Uninteresting? A Translation from PL to PDL. SIAM J. Comput. 13(4): 825-839 (1984)

David Harel: A General Result on Infinite Trees and Its Applications (Preliminary Report). STOC 1984: 418-427

David Harel, Amir Pnueli, Jonathan Stavi: Propositional Dynamic Logic of Nonregular Programs. J. Comput. Syst. Sci. 26(2): 222-243 (1983)

David Harel: Recurring Dominoes: Making the Highly Undecidable Highly Understandable (Preliminary Report). FCT 1983: 177-194

David Harel, Rivi Sherman: Propositional Dynamic Logic of Flowcharts. FCT 1983: 195-206

David S. Johnson, Ronald Fagin, Michael L. Fredman, David Harel, Richard M. Karp, Nancy A. Lynch, Christos H. Papadimitriou, Ronald L. Rivest, Walter L. Ruzzo, Joel I. Seiferas (Eds.): Proceedings of the 15th Annual ACM Symposium on Theory of Computing, 25-27 April, 1983, Boston, Massachusetts, USA. ACM 1983

David Harel, Rivi Sherman: Looping vs. Repeating in Dynamic Logic. Information and Control 55(1-3): 175-192 (1982)

Ashok K. Chandra, David Harel: Structure and Complexity of Relational Queries. J. Comput. Syst. Sci. 25(1): 99-128 (1982)

David Harel, Dexter Kozen, Rohit Parikh: Process Logic: Expressiveness, Decidability, Completeness. J. Comput. Syst. Sci. 25(2): 144-170 (1982)

David Harel, Dexter Kozen: A Programming Language for the Inductive Sets, and Applications. ICALP 1982: 313-329

Ashok K. Chandra, David Harel: Horn Clauses and the Fixpoint Query Hierarchy. PODS 1982: 158-163

Rivi Sherman, Amir Pnueli, David Harel: Is the Interesting Part of Process Logic Uninteresting - A Translation from PL to PDL. POPL 1982: 347-360

Yishai A. Feldman, David Harel: A Probabilistic Dynamic Logic. STOC 1982: 181-195

David Harel: On the Total Correctness of Nondeterministic Programs. Theor. Comput. Sci. 13: 175-192 (1981)

David Harel, Amir Pnueli, Jonathan Stavi: Propositional Dynamic Logic of Context-Free Programs. FOCS 1981: 310-321

David Harel, Amir Pnueli, Jonathan Stavi: Further Results on Propositional Dynamic Logic of Nonregular Programs. Logic of Programs 1981: 124-136

David Harel: On Folk Theorems. Commun. ACM 23(7): 379-389 (1980)

Ashok K. Chandra, David Harel: Computable Queries for Relational Data Bases. J. Comput. Syst. Sci. 21(2): 156-178 (1980)

David Harel: Proving the Correctness of Regular Deterministic Programs: A Unifying Survey Using Dynamic Logic. Theor. Comput. Sci. 12: 61-81 (1980)

David Harel: And/Or Programs: A New Approach to Structured Programming. ACM Trans. Program. Lang. Syst. 2(1): 1-17 (1980)

David Harel, Dexter Kozen, Rohit Parikh: Process Logic: Expressiveness, Decidability, Completeness. FOCS 1980: 129-142

Ashok K. Chandra, David Harel: Structure and Complexity of Relational Queries. FOCS 1980: 333-347

David Harel: on And/Or Schemes. MFCS 1980: 246-260

Ashok K. Chandra, David Harel: Structure and Complexity of Relational Queries. XP1 Workshop on Database Theory 1980

David Harel: First-Order Dynamic Logic. Lecture Notes in Computer Science 68, Springer 1979, isbn 3-540-09237-4

David Harel: Two Results on Process Logic. Inf. Process. Lett. 8(4): 195-198 (1979)

David Harel: Recursion in Logics of Programs. POPL 1979: 81-92

Ashok K. Chandra, David Harel: Computable Queries for Relational Data Bases (Preliminary Report). STOC 1979: 309-318

David Harel: Arithmetical Completeness in Logics of Programs. ICALP 1978: 268-288

David Harel, Vaughan R. Pratt: Nondeterminism in Logics of Programs. POPL 1978: 203-213

David Harel, Amir Pnueli, Jonathan Stavi: A Complete Axiomatic System for Proving Deductions about Recursive Programs. STOC 1977: 249-260

David Harel, Albert R. Meyer, Vaughan R. Pratt: Computability and Completeness in Logics of Programs (Preliminary Report). STOC 1977: 261-268