David Harel

	2012
221		David Harel: Dexter Kozen: A Winning Combination of Brilliance, Depth, and Elegance. Logic and Program Semantics 2012: 326-327
220		Ahmed Bouajjani, David Harel, Lenore D. Zuck: Editorʼs foreword. J. Comput. Syst. Sci. 78(3): 822 (2012)
219		David Harel, Itai Segall: Synthesis from scenario-based specifications. J. Comput. Syst. Sci. 78(3): 970-980 (2012)
	2011
218		David Harel: Some Thoughts on Behavioral Programming. BPM 2011: 1
217		David Harel, Robby Lampert, Assaf Marron, Gera Weiss: Model-checking behavioral programs. EMSOFT 2011: 279-288
216		David Harel: Some Thoughts on Behavioral Programming. FM 2011: 2
215		Nir Eitan, Michal Gordon, David Harel, Assaf Marron, Gera Weiss: On Visualization and Comprehension of Scenario-Based Programs. ICPC 2011: 189-192
214		Nir Eitan, David Harel: Adaptive Behavioral Programming. ICTAI 2011: 685-692
213		David Harel, Assaf Marron, Guy Wiener, Gera Weiss: Behavioral programming, decentralized control, and multiple time scales. SPLASH Workshops 2011: 171-182
212		Shahar Maoz, David Harel, Asaf Kleinbort: A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJ. ACM Trans. Softw. Eng. Methodol. 20(4): 18 (2011)
211		Jasmin Fisher, David Harel, Thomas A. Henzinger: Biology as reactivity. Commun. ACM 54(10): 72-82 (2011)
210		Shahar Maoz, David Harel: On tracing reactive systems. Software and System Modeling 10(4): 447-468 (2011)
	2010
209		David Harel, Shahar Maoz, Smadar Szekely, Daniel Barkan: PlayGo: towards a comprehensive tool for scenario based programming. ASE 2010: 359-360
208		David Harel, Amir Kantor, Shahar Maoz: On the Power of Play-Out for Scenario-Based Programs. Concurrency, Compositionality, and Correctness 2010: 207-220
207		David Harel, Assaf Marron, Gera Weiss: Programming Coordinated Behavior in Java. ECOOP 2010: 250-274
206		David Harel, Hillel Kugler: Some Thoughts on the Semantics of Biocharts. Essays in Memory of Amir Pnueli 2010: 185-194
205		David Harel: Amir Pnueli: A Gentle Giant, Lord of the Phi's and the Psi's. LICS 2010: 57
204		David Harel: Some Thoughts on Behavioral Programming. Petri Nets 2010: 18
203		David Harel, Hillel Kugler, Shahar Maoz, Itai Segall: Accelerating Smart Play-Out. SOFSEM 2010: 477-488
202		Michal Gordon, David Harel: Semantic Navigation Strategies for Scenario-Based Programming. VL/HCC 2010: 219-226
201		David Harel: Amir Pnueli - A Gentle Giant: Lord of the phi's and the psi's. Formal Asp. Comput. 22(6): 663-665 (2010)
200		Yaki Setty, Irun R. Cohen, David Harel: Modeling Biology using Generic Reactive Animation. Fundam. Inform. 103(1-4): 235-246 (2010)
199		Rafi Haddad, Abebe Medhanie, Yehudah Roth, David Harel, Noam Sobel: Predicting Odor Pleasantness with an Electronic Nose. PLoS Computational Biology 6(4): (2010)
	2009
198		Michal Gordon, David Harel: Generating Executable Scenarios from Natural Language. CICLing 2009: 456-467
197		David Harel: Can We Verify an Elephant? Haifa Verification Conference 2009: 1
196		David Harel: Can we computerize an elephant? MEMOCODE 2009: 77
195		David Harel, Shahar Maoz: Visual Formalisms. Encyclopedia of Database Systems 2009: 3370-3374
194		David Harel: Statecharts in the making: a personal account. Commun. ACM 52(3): 67-75 (2009)
193		David Harel, Michal Gordon-Kiwkowitz: On Teaching Visual Formalisms. IEEE Software 26(3): 87-95 (2009)
	2008
192		Yoram Atir, David Harel, Asaf Kleinbort, Shahar Maoz: Object Composition in Scenario-Based Programming. FASE 2008: 301-316
191		David Harel, Yaki Setty: Generic Reactive Animation: Realistic Modeling of Complex Natural Systems. FMSB 2008: 1-16
190		David Harel, Itai Segall, Hillel Kugler, Yaki Setty: Crafting game-models using reactive system design. Future Play 2008: 121-128
189		David Harel, Shahar Maoz, Itai Segall: Some Results on the Expressive Power and Complexity of LSCs. Pillars of Computer Science 2008: 351-366
188		David Harel, Itai Segall: Visualizing inter-dependencies between scenarios. SOFTVIS 2008: 145-153
187		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)
186		David Harel: Can Programming Be Liberated, Period? IEEE Computer 41(1): 28-37 (2008)
185		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)
184		Rafi Haddad, Liran Carmel, Noam Sobel, David Harel: Predicting the Receptive Range of Olfactory Receptors. PLoS Computational Biology 4(2): (2008)
183		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)
182		David Harel, Shahar Maoz: Assert and negate revisited: Modal semantics for UML sequence diagrams. Software and System Modeling 7(2): 237-252 (2008)
181		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)
	2007
180		Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa: Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
179		David Harel, Asaf Kleinbort, Shahar Maoz: S2A: A Compiler for Multi-modal UML Sequence Diagrams. FASE 2007: 121-124
178		David Harel: Statecharts in the making: a personal account. HOPL 2007: 1-43
177		Yoram Atir, David Harel: Using LSCs for scenario authoring in tactical simulators. SCSC 2007: 437-442
176		David Harel, Itai Segall: Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs, . TACAS 2007: 485-499
175		Shahar Maoz, Asaf Kleinbort, David Harel: Towards Trace Visualization and Exploration for Reactive Systems. VL/HCC 2007: 153-156
174		Sol Efroni, David Harel, Irun R. Cohen: Emergent Dynamics of Thymocyte Development and Lineage Determination. PLoS Computational Biology 3(1): (2007)
	2006
173		David Harel, Yishai A. Feldman: Algorithmik - die Kunst des Rechnens. Springer 2006: I-XVIII, 1-608
172		Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio: Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings Springer 2006
171		David Harel: Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs. CAV 2006: 3-4
170		Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa: 06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006
169		Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa: 06351 Summary -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006
168		David Harel, Shahar Maoz: Assert and negate revisited: modal semantics for UML sequence diagrams. SCESM 2006: 13-20
167		Shahar Maoz, David Harel: From multi-modal scenarios to code: compiling LSCs into aspectJ. SIGSOFT FSE 2006: 219-230
166		David Harel: Comprehensive and realistic modeling of biological systems. Winter Simulation Conference 2006: 1625-1627
165		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
164		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)
	2005
163		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
162		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
161		Hillel Kugler, David Harel, Amir Pnueli, Yuan Lu, Yves Bontemps: Temporal Logic for Scenario-Based Specifications. TACAS 2005: 445-460
160		Yehuda Koren, David Harel: One-dimensional layout optimization, with applications to graph drawing by axis separation. Comput. Geom. 32(2): 115-138 (2005)
159		Sol Efroni, David Harel, Irun R. Cohen: Reactive Animation: Realistic Modeling of Complex Dynamic Systems. IEEE Computer 38(1): 38-47 (2005)
	2004
158		David Harel, Yishai A. Feldman: Algorithmics - the spirit of computing (3. ed.). Addison-Wesley 2004: I-XVIII, 1-513
157		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
156		David Harel, Hillel Kugler, Amir Pnueli: Smart Play-Out Extended: Time and Forbidden Elements. QSIC 2004: 2-10
155		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
154		David Harel: A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal. VMCAI 2004: 323-324
153		David Harel, Bernhard Rumpe: Meaningful Modeling: What's the Semantics of "Semantics"?. IEEE Computer 37(10): 64-72 (2004)
152		Liran Carmel, David Harel, Yehuda Koren: Combining Hierarchy and Energy Drawing Directed Graphs. IEEE Trans. Vis. Comput. Graph. 10(1): 46-57 (2004)
151		David Harel, Yehuda Koren: Graph Drawing by High-Dimensional Embedding. J. Graph Algorithms Appl. 8(2): 195-214 (2004)
	2003
150		David Harel: Computers Ltd - what they really can't do. Oxford University Press 2003: I-XVII, 1-222
149		David Harel: Come, let's play - scenario-based programming using LSCs and the play-engine. Springer 2003: I-XVIII, 1-382
148		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
147		David Harel: On the Visualization and Aesthetics of Large Graphs: Short Abstract. Ershov Memorial Conference 2003: 120
146		Yehuda Koren, David Harel: Axis-by-Axis Stress Minimization. Graph Drawing 2003: 450-459
145		David Harel: A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal. HSCC 2003: 2
144		Yehuda Koren, David Harel: A two-way visualization method for clustered data. KDD 2003: 589-594
143		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
142		David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli: Smart play-out. OOPSLA Companion 2003: 68-69
141		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
140		David Harel: A Grand Challenge for Computing: Towards Full Reactive Modeling of A Multi-Cellular Animal. Bulletin of the EATCS 81: 226-235 (2003)
139		David Harel, Liran Carmel, Doron Lancet: Towards an odor communication system. Computational Biology and Chemistry 27(2): 121-133 (2003)
138		Orna Kupferman, David Harel: Response to "Comments on 'On Object Systems and Behavior Inheritance'". IEEE Trans. Software Eng. 29(6): 576 (2003)
137		David Harel, Rami Marelly: Specifying and executing behavioral requirements: the play-in/play-out approach. Software and System Modeling 2(2): 82-107 (2003)
	2002
136		David Harel: Das Affenpuzzle - und weitere bad news aus der Computerwelt. Springer 2002: I-XVII, 1-207
135		David Harel: Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?). EMSOFT 2002: 30-31
134		David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli: Smart Play-out of Behavioral Requirements. FMCAD 2002: 378-398
133		David Harel, Sol Efroni, Irun R. Cohen: Reactive Animation. FMCO 2002: 136-153
132		Liran Carmel, David Harel, Yehuda Koren: Drawing Directed Graphs Using One-Dimensional Optimization. Graph Drawing 2002: 193-206
131		David Harel, Yehuda Koren: Graph Drawing by High-Dimensional Embedding. Graph Drawing 2002: 207-219
130		David Harel: Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?). ICGT 2002: 6-7
129		Eran Gery, David Harel, Eldad Palachi: Rhapsody: A Complete Life-Cycle Model-Based Development System. IFM 2002: 1-10
128		Yehuda Koren, Liran Carmel, David Harel: ACE: A Fast Multiscale Eigenvectors Computation for Drawing Huge Graphs. INFOVIS 2002: 137-144
127		David Harel, Rami Marelly: Playing with Time: On the Specification and Execution of Time-Enriched LSCs. MASCOTS 2002: 193-202
126		Rami Marelly, David Harel, Hillel Kugler: Multiple instances and symbolic variables in executable sequence charts. OOPSLA 2002: 83-100
125		Yehuda Koren, David Harel: A Multi-scale Algorithm for the Linear Arrangement Problem. WG 2002: 296-309
124		David Harel, Orna Kupferman: On Object Systems and Behavioral Inheritance. IEEE Trans. Software Eng. 28(9): 889-903 (2002)
123		David Harel, Orna Kupferman, Moshe Y. Vardi: On the Complexity of Verifying Concurrent Transition Systems. Inf. Comput. 173(2): 143-161 (2002)
122		David Harel, Hillel Kugler: Synthesizing State-Based Object Systems from LSC Specifications. Int. J. Found. Comput. Sci. 13(1): 5-51 (2002)
121		David Harel, Yehuda Koren: A Fast Multi-Scale Method for Drawing Large Graphs. J. Graph Algorithms Appl. 6(3): 179-202 (2002)
120		David Harel, Gregory Yashchin: An algorithm for blob hierarchy layout. The Visual Computer 18(3): 164-185 (2002)
	2001
119		David Harel, Yehuda Koren: On Clustering Using Random Walks. FSTTCS 2001: 18-41
118		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
117		David Harel, Yehuda Koren: Clustering spatial data using random walks. KDD 2001: 281-286
116		David Harel: On the Behavior of Complex Object-Oriented Systems. OMER 2001: 11-15
115		Ronny Hadany, David Harel: A multi-scale algorithm for drawing graphs nicely. Discrete Applied Mathematics 113(1): 3-21 (2001)
114		Werner Damm, David Harel: LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design 19(1): 45-80 (2001)
113		David Harel: From Play-In Scenarios to Code: An Achievable Dream. IEEE Computer 34(1): 53-60 (2001)
112		David Harel, Dexter Kozen, Jerzy Tiuryn: Dynamic logic. SIGACT News 32(1): 66-69 (2001)
	2000
111		David Harel, Yehuda Koren: A Fast Multi-Scale Method for Drawing Large Graphs. Advanced Visual Interfaces 2000: 282-285
110		David Harel, Gregory Yashchin: An Algorithm for Blob Hierarchy Layout. Advanced Visual Interfaces 2000: 29-40
109		David Harel, Hillel Kugler: Synthesizing State-Based Object Systems from LSC Specifications. CIAA 2000: 1-33
108		David Harel: From Play-In Scenarios To Code: An Achievable Dream. Description Logics 2000: 9
107		David Harel: From Play-In Scenarios to Code: An Achievable Dream. FASE 2000: 22-34
106		David Harel, Yehuda Koren: A Fast Multi-scale Method for Drawing Large Graphs. Graph Drawing 2000: 183-196
105		David Harel, Orna Kupferman: On the Behavioral Inheritance of State-Based Objects. TOOLS (34) 2000: 83-94
	1999
104		Werner Damm, David Harel: LSCs: Breathing Life into Message Sequence Charts. FMOODS 1999
103		Ronny Hadany, David Harel: A Multi-Scale Algorithm for Drawing Graphs Nicely. WG 1999: 262-277
102		David Harel, Eli Singerman: Computation Paths Logic: An Expressive, yet Elementary, Process Logic. Ann. Pure Appl. Logic 96(1-3): 167-186 (1999)
	1998
101		David Harel: Towards a Theory of Recursive Structures. MCU (1) 1998: 93-114
100		David Harel: Towards a Theory of Recursive Structures. MFCS 1998: 36-53
99		David Harel: On the Aesthetics of Diagrams (Summary of Talk). MPC 1998: 1-5
98		David Harel, Meir Sardas: An Algorithm for Straight-Line Drawing of Planar Graphs. Algorithmica 20(2): 119-135 (1998)
97		Judith Gal-Ezer, David Harel: What (Else) Should CS Educators Know? Commun. ACM 41(9): 77-84 (1998)
	1997
96		David Harel: Some Thoughts on Statecharts, 13 Years Later. CAV 1997: 226-231
95		David Harel, Orna Kupferman, Moshe Y. Vardi: On the Complexity of Verifying Concurrent Transition Systems. CONCUR 1997: 258-272
94		David Harel, Eli Singerman: Computation Paths Logic: An Expressive, yet Elementary, Process Logic (abridged version). ICALP 1997: 408-418
93		David Harel: Towards a Theory of Recursive Structures (extended abstract). LFCS 1997: 141-144
92		David Harel: On the Aesthetics of Diagrams. NGITS 1997: 0-
91		David Harel: Will I Be Pretty, Will I Be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering. RE 1997: 184-
90		James Coplien, Joseph Gil, David Harel, Bertrand Meyer: Keynotes. TOOLS (23) 1997: 2
89		David Harel: On the Aesthetics of Diagrams. VL 1997: 128-130
88		David Harel, Eran Gery: Executable Object Modeling with Statecharts. IEEE Computer 30(7): 31-42 (1997)
	1996
87		David Harel: Some Thoughts on Statecharts, 13 Years Later (Abstract). ASIAN 1996: 361
86		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
85		David Harel, Eran Gery: Executable Object Modeling with Statecharts. ICSE 1996: 246-257
84		Tirza Hirst, David Harel: More About Recursive Structures: Descriptive Complexity and Zero-One Laws. LICS 1996: 334-347
83		David Harel: Statecharts: Past, Present and Future (abstract). SOFSEM 1996: 285
82		Ron Davidson, David Harel: Drawing Graphs Nicely Using Simulated Annealing. ACM Trans. Graph. 15(4): 301-331 (1996)
81		David Harel, Amnon Naamad: The STATEMATE Semantics of Statecharts. ACM Trans. Softw. Eng. Methodol. 5(4): 293-333 (1996)
80		David Harel, Eli Singerman: More on Nonregular PDL: Finite Models and Fibonacci-Like Programs. Inf. Comput. 128(2): 109-118 (1996)
79		Tirza Hirst, David Harel: Completeness Results for Recursive Data Bases. J. Comput. Syst. Sci. 52(3): 522-536 (1996)
78		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)
77		Noa Globerman, David Harel: Complexity Results for Two-Way and Multi-Pebble Automata and their Logics. Theor. Comput. Sci. 169(2): 161-184 (1996)
	1995
76		David Harel: Will I be Preety, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering. CONCUR 1995: 264-268
75		David Harel, Eli Singerman: More on Nonregular PDL: Expressive Power, Finite Models, Fibonacci Programs. ISTCS 1995: 140-149
74		David Harel: Towards a theory of Recursive Structures. Computer Science Today 1995: 374-391
73		Judith Gal-Ezer, Catriel Beeri, David Harel, Amiram Yehudai: A High School Program in Computer Science. IEEE Computer 28(10): 73-80 (1995)
72		David Harel, Meir Sardas: Randomized Graph Drawing with Heavy-Duty Preprocessing. J. Vis. Lang. Comput. 6(3): 233-253 (1995)
71		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)
	1994
70		David Harel, Meir Sardas: Randomized Graph Drawing with Heavy-Duty Preprocessing. Advanced Visual Interfaces 1994: 19-33
69		Noa Globerman, David Harel: Complexity Results for Multi-Pebble Automata and their Logics. ICALP 1994: 73-82
68		David Harel: Will I be Pretty, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering (Summary). PODS 1994: 1-3
67		David Harel: Towards a Theory of Recursive Structures. STACS 1994: 633-645
66		David Harel, Danny Raz: Deciding Emptiness for Stack Automata on Infinite Trees Inf. Comput. 113(2): 278-299 (1994)
65		Doron Drusinsky, David Harel: On the Power of Bounded Concurrency I: Finite Automata. J. ACM 41(3): 517-539 (1994)
64		Tirza Hirst, David Harel: On the Power of Bounded Concurrency II: Pushdown Automata. J. ACM 41(3): 540-554 (1994)
63		Yael Etzion-Petruschka, David Harel, Dale Myers: On the Solvability of Domino Snake Problems. Theor. Comput. Sci. 131(2): 243-269 (1994)
	1993
62		David Harel: Computers are not Omnipotent (Abstract). ESEC 1993: 10
61		Tirza Hirst, David Harel: Completeness Results for Recursive Data Bases. PODS 1993: 244-252
60		Tirza Hirst, David Harel: Taking it to the Limit: On Infinite Variants of NP-Complete Problems. Structure in Complexity Theory Conference 1993: 292-304
59		David Harel, Danny Raz: Deciding Properties of Nonregular Programs. SIAM J. Comput. 22(4): 857-874 (1993)
	1992
58		David Harel, Chaim-Arie Kahana: On Statecharts with Overlapping. ACM Trans. Softw. Eng. Methodol. 1(4): 399-421 (1992)
57		David Harel: Biting the Silver Bullet - Toward a Brighter Future for System Development. IEEE Computer 25(1): 8-20 (1992)
	1991
56		David Harel: Hamiltonian Paths in Infinite Graphs STOC 1991: 220-229
	1990
55		Tirza Hirst, David Harel: On the Power of Bounded Concurrency II: The Pushdown Automata Level. CAAP 1990: 1-17
54		David Harel, Danny Raz: Deciding Properties of Nonregular Programs (Preliminary Version) FOCS 1990: 652-661
53		David Harel: How Hard Is It to Reason about Propositional Programs? ICLP 1990: 772-773
52		David Harel, Roni Rosner, Moshe Y. Vardi: On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report) LICS 1990: 478-488
51		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)
	1989
50		David Harel: The science of computing - exploring the nature and power of algorithms. Addison-Wesley 1989: I-XV, 1-348
49		David Harel: A Thesis for Bounded Concurrency. MFCS 1989: 35-48
48		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)
	1988
47		Doron Drusinsky, David Harel: On the Power of Cooperative Concurrency. Concurrency 1988: 74-103
46		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
45		David Harel: On Visual Formalisms. Commun. ACM 31(5): 514-530 (1988)
	1987
44		David Harel: Algorithmics - the spirit of computing (2. ed.). Addison-Wesley 1987: I-XV, 1-476
43		David Harel, Amir Pnueli, Jeanette P. Schmidt, Rivi Sherman: On the Formal Semantics of Statecharts (Extended Abstract) LICS 1987: 54-64
42		David Harel: Statecharts: A Visual Formalism for Complex Systems. Sci. Comput. Program. 8(3): 231-274 (1987)
	1986
41		David Harel: Effective transformations on infinite trees, with applications to high undecidability, dominoes, and fairness. J. ACM 33(1): 224-248 (1986)
	1985
40		David Harel, David Peleg: More on Looping vs. Repeating in Dynamic Logic. Inf. Process. Lett. 20(2): 87-90 (1985)
39		David Harel, Rivi Sherman: Propositional Dynamic Logic of Flowcharts Information and Control 64(1-3): 119-135 (1985)
38		Ashok K. Chandra, David Harel: Horn Clauses Queries and Generalizations. J. Log. Program. 2(1): 1-15 (1985)
37		David Harel, David Peleg: Process Logic with Regular Formulas. Theor. Comput. Sci. 38: 307-322 (1985)
	1984
36		David Harel: A General Result on Infinite Trees and Its Applications (Preliminary Report) STOC 1984: 418-427
35		David Harel, David Peleg: On Static Logics, Dynamic Logics, and Complexity Classes Information and Control 60(1-3): 86-102 (1984)
34		David Harel, Dexter Kozen: A Programming Language for the Inductive Sets, and Applications Information and Control 63(1/2): 118-139 (1984)
33		Yishai A. Feldman, David Harel: A Probabilistic Dynamic Logic. J. Comput. Syst. Sci. 28(2): 193-215 (1984)
32		David Harel, Mike Paterson: Undecidability of PDL with L={a^(2i)|i>=0}. J. Comput. Syst. Sci. 29(3): 359-365 (1984)
31		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)
	1983
30		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: Proceedings of the 15th Annual ACM Symposium on Theory of Computing, 25-27 April, 1983, Boston, Massachusetts, USA ACM 1983
29		David Harel: Recurring Dominoes: Making the Highly Undecidable Highly Understandable (Preliminary Report). FCT 1983: 177-194
28		David Harel, Rivi Sherman: Propositional Dynamic Logic of Flowcharts. FCT 1983: 195-206
27		David Harel, Amir Pnueli, Jonathan Stavi: Propositional Dynamic Logic of Nonregular Programs. J. Comput. Syst. Sci. 26(2): 222-243 (1983)
	1982
26		David Harel, Dexter Kozen: A Programming Language for the Inductive Sets, and Applications. ICALP 1982: 313-329
25		Ashok K. Chandra, David Harel: Horn Clauses and the Fixpoint Query Hierarchy. PODS 1982: 158-163
24		Rivi Sherman, Amir Pnueli, David Harel: Is the Interesting Part of Process Logic Uninteresting - A Translation from PL to PDL. POPL 1982: 347-360
23		Yishai A. Feldman, David Harel: A Probabilistic Dynamic Logic STOC 1982: 181-195
22		David Harel, Rivi Sherman: Looping vs. Repeating in Dynamic Logic Information and Control 55(1-3): 175-192 (1982)
21		Ashok K. Chandra, David Harel: Structure and Complexity of Relational Queries. J. Comput. Syst. Sci. 25(1): 99-128 (1982)
20		David Harel, Dexter Kozen, Rohit Parikh: Process Logic: Expressiveness, Decidability, Completeness. J. Comput. Syst. Sci. 25(2): 144-170 (1982)
	1981
19		David Harel, Amir Pnueli, Jonathan Stavi: Propositional Dynamic Logic of Context-Free Programs FOCS 1981: 310-321
18		David Harel, Amir Pnueli, Jonathan Stavi: Further Results on Propositional Dynamic Logic of Nonregular Programs. Logic of Programs 1981: 124-136
17		David Harel: On the Total Correctness of Nondeterministic Programs. Theor. Comput. Sci. 13: 175-192 (1981)
	1980
16		David Harel, Dexter Kozen, Rohit Parikh: Process Logic: Expressiveness, Decidability, Completeness FOCS 1980: 129-142
15		Ashok K. Chandra, David Harel: Structure and Complexity of Relational Queries FOCS 1980: 333-347
14		David Harel: on And/Or Schemes. MFCS 1980: 246-260
13		Ashok K. Chandra, David Harel: Structure and Complexity of Relational Queries. XP1 Workshop on Database Theory 1980
12		David Harel: And/Or Programs: A New Approach to Structured Programming. ACM Trans. Program. Lang. Syst. 2(1): 1-17 (1980)
11		David Harel: On Folk Theorems. Commun. ACM 23(7): 379-389 (1980)
10		Ashok K. Chandra, David Harel: Computable Queries for Relational Data Bases. J. Comput. Syst. Sci. 21(2): 156-178 (1980)
9		David Harel: Proving the Correctness of Regular Deterministic Programs: A Unifying Survey Using Dynamic Logic. Theor. Comput. Sci. 12: 61-81 (1980)
	1979
8		David Harel: First-Order Dynamic Logic Springer 1979
7		David Harel: Recursion in Logics of Programs. POPL 1979: 81-92
6		Ashok K. Chandra, David Harel: Computable Queries for Relational Data Bases (Preliminary Report) STOC 1979: 309-318
5		David Harel: Two Results on Process Logic. Inf. Process. Lett. 8(4): 195-198 (1979)
	1978
4		David Harel: Arithmetical Completeness in Logics of Programs. ICALP 1978: 268-288
3		David Harel, Vaughan R. Pratt: Nondeterminism in Logics of Programs. POPL 1978: 203-213
	1977
2		David Harel, Amir Pnueli, Jonathan Stavi: A Complete Axiomatic System for Proving Deductions about Recursive Programs STOC 1977: 249-260
1		David Harel, Albert R. Meyer, Vaughan R. Pratt: Computability and Completeness in Logics of Programs (Preliminary Report) STOC 1977: 261-268

Coauthor Index

1	Yishai Admanit	[185]
2	Hila Amir-Kroll	[181]
3	Yoram Atir	[177] [192]
4	Dan Barak	[143] [164] [185]
5	Daniel Barkan	[209]
6	Catriel Beeri	[73]
7	Yves Bontemps	[161]
8	Ahmed Bouajjani	[220]
9	Ed Brinksma	[169] [170] [180]
10	Liran Carmel	[128] [132] [139] [152] [184]
11	Ashok K. Chandra	[6] [10] [13] [15] [21] [25] [38]
12	Irun R. Cohen	[118] [133] [159] [174] [181] [187] [200]
13	Pierre Combes	[163] [183]
14	James Coplien	[90]
15	Werner Damm	[104] [114]
16	Ron Davidson	[82]
17	Bruce Powel Douglass	[86]
18	Doron Drusinsky	[47] [48] [65]
19	Sol Efroni	[133] [159] [174] [187]
20	Nir Eitan	[214] [215]
21	Yael Etzion-Petruschka	[63]
22	Ronald Fagin	[30]
23	Yishai A. Feldman	[23] [33] [158] [173]
24	Jasmin Fisher	[157] [185] [211]
25	Michael L. Fredman	[30]
26	Judith Gal-Ezer	[73] [97]
27	Eran Gery	[85] [88] [129]
28	Joseph Gil (Yossi Gil)	[90]
29	Noa Globerman	[69] [77]
30	Michal Gordon (Michal Gordon-Kiwkowitz)	[193] [198] [202] [215]
31	Ronny Hadany	[103] [115]
32	Rafi Haddad	[184] [199]
33	Thomas A. Henzinger	[211]
34	Tirza Hirst	[55] [60] [61] [64] [78] [79] [84]
35	E. Jane Albert Hubbard	[148] [157] [185]
36	Michael Hucka	[165]
37	David S. Johnson	[30]
38	Chaim-Arie Kahana	[58]
39	Na'aman Kam	[118] [148]
40	Amir Kantor	[208]
41	Richard M. Karp	[30]
42	Asaf Kleinbort	[175] [179] [192] [212]
43	Yehuda Koren	[106] [111] [117] [119] [121] [125] [128] [131] [132] [144] [146] [151] [152] [160]
44	Dexter Kozen	[16] [20] [26] [34] [112]
45	Hillel Kugler	[109] [122] [126] [134] [141] [142] [148] [155] [156] [161] [162] [163] [183] [190] [203] [206]
46	Orna Kupferman	[95] [105] [123] [124] [138]
47	Marta Z. Kwiatkowska	[165]
48	Hagi Lachover	[46] [51]
49	Robby Lampert	[217]
50	Doron Lancet	[139]
51	Yuan Lu	[161]
52	Nancy A. Lynch	[30]
53	Angelika Mader	[169] [170] [180]
54	Shahar Maoz	[167] [168] [175] [179] [182] [189] [192] [195] [203] [208] [209] [210] [212]
55	Rami Marelly	[126] [127] [134] [137] [142] [143] [148] [164]
56	Assaf Marron	[207] [213] [215] [217]
57	Abebe Medhanie	[199]
58	Pedro Mendes	[165]
59	Albert R. Meyer	[1]
60	Bertrand Meyer	[90]
61	Dale Myers	[63]
62	Amnon Naamad	[46] [51] [81]
63	Oscar Nierstrasz	[172]
64	Eldad Palachi	[129]
65	Christos H. Papadimitriou	[30]
66	Rohit Parikh	[16] [20]
67	Mike Paterson	[32]
68	David Peleg	[35] [37] [40]
69	Nir Piterman	[157]
70	Amir Pnueli	[2] [18] [19] [24] [27] [31] [43] [46] [51] [134] [142] [148] [156] [161] [162]
71	Michal Politi	[46] [51]
72	Vaughan R. Pratt	[1] [3]
73	Danny Raz	[54] [59] [66]
74	Gianna Reggio	[172]
75	Ronald L. Rivest	[30]
76	Roni Rosner	[52]
77	Yehudah Roth	[199]
78	Bernhard Rumpe	[153]
79	Walter L. Ruzzo	[30]
80	Avital Sadot	[181] [185]
81	Meir Sardas	[70] [72] [98]
82	Herbert M. Sauro	[165]
83	Jeanette P. Schmidt	[43]
84	Itai Segall	[176] [188] [189] [190] [203] [219]
85	Joel I. Seiferas	[30]
86	Yaki Setty	[187] [190] [191] [200]
87	Clifford A. Shaffer	[165]
88	Rivi Sherman	[22] [24] [28] [31] [39] [43] [46] [51]
89	Aharon Shtull-Trauring	[46] [51]
90	Eli Singerman	[75] [80] [94] [102]
91	Noam Sobel	[184] [199]
92	Jonathan Stavi	[2] [18] [19] [27]
93	Michael J. Stern	[148] [157] [185]
94	Perdita Stevens	[169] [170] [180]
95	Lena Strömbäck	[165]
96	Naamah Swerdlin	[157] [187]
97	Smadar Szekely	[209]
98	Jerzy Tiuryn	[112]
99	Mark B. Trakhtenbrot	[51] [86]
100	John J. Tyson	[165]
101	Adelinde M. Uhrmacher (Adelinde Uhrmacher)	[165]
102	Moshe Y. Vardi	[52] [95] [123]
103	Gera Weiss	[141] [207] [213] [215] [217]
104	Jon Whittle (Jonathan Whittle)	[172]
105	Guy Wiener	[213]
106	Roel Wieringa	[169] [170] [180]
107	Gregory Yashchin	[110] [120]
108	Amiram Yehudai	[73]
109	Lenore D. Zuck	[220]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page