List of publications  (August 2014)

     David Harel

Contents:    Books,    Non-book publications,   Non-scientific articles,   Patents

Books [overview and details]

1.      D. Harel, First-Order Dynamic Logic, Lecture Notes in Computer Science, Vol. 68, Springer-Verlag, New York (133 pp.), 1979. [more info.]

2.      D. Harel, Fundamental Topics in Computer Science, (in Hebrew), IDF Publishers, Israel, 1985.  2nd edn., 1986; 3rd edn., 1990; 4th edn., 1993. (Russian , 1994.)  [more info.]

3.      D. Harel, Algorithmics: The Spirit of Computing, Addison-Wesley, Reading, MA, (425 pp.) 1987.  2nd edition, 1992;  3rd edition, 2004 (with Y. Feldman).   (Dutch, 1989; Hebrew (Open University Press), 1991; Polish, 1992; Polish, 2001; Chinese 2006; German, 2006; Italian 2008)  [more info.]

4.      D. Harel, The Science of Computing: Exploring the Nature and Power of Algorithms, Addison-Wesley, Reading, MA (365 pp.), 1989.  (This is a revised trade edition of book number 3.) [more info.]

5.      D. Harel and M. Politi, Modeling Reactive Systems with Statecharts: The STATEMATE Approach, McGraw-Hill (258 pp.), 1998.  (Early version titled The Languages of STATEMATE, Technical Report, I-Logix, Inc., Andover, MA (250 pp.), 1991.)  [more info.]

6.      D. Harel, Computers Ltd.: What They Really Can't Do, , Oxford University Press, 2000. Revised paperback edition, 2003.  (German , 2002; Italian, 2002; Chinese, 2003; Hebrew, 2004.)   [more info.]

7.      D. Harel, D. Kozen and J. Tiuryn, Dynamic Logic, MIT Press,  2000. [more info.]

8.      D. Harel and R. Marelly, Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine, Springer-Verlag, 2003.  (Includes a CD with the Play-Engine software. See the special book webpage.)      [more info.]

9.      M. Broy, J. Grunbauer, D. Harel and T. Hoare (eds.), Engineering Theories of Software Intensive Systems  , NATO Science Series, Springer, 2005.

10.     A. Condon, D. Harel, J.N. Kok, A. Salomaa and E. Winfree (eds.), Algorithnmic Bioprocesses , Springer, 2009.

 

Non-book publications    (Many of the papers are downloadable.)

1.      D. Harel, A. Pnueli and J. Stavi, "Completeness Issues for Inductive Assertions and Hoare's Method", Technical Report, Tel Aviv University, Israel, August 1975.  

2.      D. Harel, A. Pnueli and J. Stavi, "A Complete Axiomatic System for Proving Deductions About Recursive Programs", Proc. 9th ACM Symp. on Theory of Computing, pp. 249-260,Boulder, Colorado, May 1977. [PDF]

3.      D. Harel, A. R. Meyer and V. R. Pratt, "Computability and Completeness in Logics of Programs", Proc. 9th ACM Symp. on Theory of Computing, pp. 261-268, Boulder, Colorado, May 1977. [PDF]

4.      D. Harel and R. Pankiewicz,  J. Rood and T. To, "A Universal Flowcharter", Proc. Workshop on Tools for Embedded Computing Systems Software, Hampton,Virginia, 1978.  [PDF]

5.      D. Harel and V. R. Pratt, "Nondeterminism in Logics of Programs", Proc. 5th ACM Symp. on Principles of Programming Languages, pp. 203-213, Tucson, Arizona, January 1978. [PDF]

6.      D. Harel, "Arithmetical Completeness in Logics of Programs", Proc. 5th Int. Colloq. on Automata, Languages and Programming, Udine, Italy, Lecture Notes in Computer Science, Vol. 62, pp. 268-288, Springer-Verlag, 1978. [PDF]

7.      D. Harel, Logics of Programs: Axiomatics and Descriptive Power, Ph.D. Thesis, MIT/LCS/TR-200, Massachusetts Institute of Technology, May 1978.

8.      D. Harel and V. R. Pratt, "Comments on Program Verification", in Research Directions in Software Technology (P. Wegner, ed.), MIT Press, 1979, pp. 387-391.  

9.      D. Harel, "Two Results on Process Logic", Information Processing Lett. 8 ( 1979), 195-198.

10.  D. Harel, "Characterizing Second Order Logic with First Order Quantifiers", Zeitsch. f"ur Math. Logik Grund. der Mathematik 25 (1979), 419-422. [PDF]

11.  D. Harel, "Recursion in Logics of Programs", Proc. 6th Symp. on Principles of Programming Languages, pp. 81-92, San Antonio, Texas, January 1979. [PDF]

12.  D. Harel, R. Norvig, J. Rood and T. To, "A Universal Flowcharter", Proc. AIAA/IEEE/ ACM/NASA Computers in Aerospace II Conf., pp. 218-224, Los Angeles, California, October 1979. [PDF]

13.  D. Harel, "On And/Or Schemes", Proc. 9th Int. Symp. on Mathematical Foundations of Computer Science, Rydzyna, Poland, Lecture Notes in Computer Science, Vol. 88, pp. 246-260, Springer-Verlag, 1980.  

14.  D. Harel, " `do Considered od' Considered Odder than `do Considered ob' ", ACM SIGPLAN Notices 15:4 (April 1980) 75.  [PDF]

15.  D. Harel, "And/Or Programs: A New Approach to Structured Programming", ACM Trans. on Programming Languages and Systems 2 (1980), 1-17.
(Also, Proc. IEEE Specifications for Reliable Software Conf., pp. 80-90, Cambridge, Massachusetts, April 1979.)  [PDF]

16.  A. K. Chandra and D. Harel, "Computable Queries for Relational Data Bases", J. Comput. System Sciences 21 (1980), 156-178. [PDF]
(Also, Proc. ACM 11th Symp. on Theory of Computing, pp. 309-318, Atlanta, Georgia, April 1979.)

17.  D. Harel, "On Folk Theorems", Comm. Assoc. Comput. Mach. 23 (1980), 379-389. [PDF]

18.  D. Harel, "Proving the Correctness of Regular Deterministic Programs: A Unifying Survey Using Dynamic Logic", Theoret. Comput. Sci. 12 (1980), 61-81.  [PDF]

19.  D. Harel, A. Pnueli and J. Stavi, "Propositional Dynamic Logic of Context-free Programs", Proc. 22nd IEEE Symp. on Foundations of Computer Science, Nashville, Tennessee, October 1981.  [PDF]

20.  D. Harel, A. Pnueli and J. Stavi, "Further Results on Propositional Dynamic Logic of Nonregular Programs", Proc. Workshop on Logics of Programs (D. Kozen, ed.), Springer-Verlag,1981.

21.  D. Harel, "On The Total Correctness of Nondeterministic Programs", Theoret. Comput. Sci. 13 (1981), 175-192.  [PDF]

22.  D. Harel, "Normal Forms for And/Or Schemes", Technical Report CS81-01, The Weizmann Institute of Science, Rehovot, Israel, April 1981.

23.  D. Harel and S. Nehab, "Concurrent And/Or Programs: Recursion with Communication", Technical Report, The Weizmann Institute of Science, Rehovot, Israel, 1982.

24.  R. Sherman and D. Harel, "A Combined Proof of One-Exponential Decidability and Completeness for PDL", Proc. 1st Int. Workshop GTI, Foundations of Theoretical Computer Science, Paderbon, Germany, October 1982.

25.  D. Harel, D. Kozen and R. Parikh, "Process Logic: Expressiveness, Decidability, Completeness", J. Comput. System Sci. 25 (1982), 44-170. [PDF]
(Also, Proc. 21st IEEE Symp. on Foundations of Computer Science, Syracuse, New York, October 1980.)

26.  A. K. Chandra and D. Harel, "Structure and Complexity of Relational Queries", J. Comput. System Sci. 25 (1982), 99-128. [PDF]
(Also, Proc. 21st IEEE Symp. on Foundations of Computer Science, Syracuse, New York, October 1980.)

27.  D. Harel and R. Sherman, "Looping vs. Repeating in PDL", Information and Control 55 (1982), 175-192.

28.  D. Harel, A. Pnueli and J. Stavi, "Propositional Dynamic Logic of Nonregular Programs", J. Comput. System Sci. 26 (1983), 222-243. [PDF]

29.  D. Harel, "A General Result on Infinite Trees and Its Applications", Proc. 16th ACM Symp. on Theory of Computing, Washington, DC, 1984, pp. 418-420.

30.  D. Harel, "A Simple Highly Undecidable Domino Problem", Proc. Conf. on Logic and Computation, Clayton, Australia, January 1984.

31.  Y. Feldman and D. Harel, "A Probabilistic Dynamic Logic", J. Comput. System Sci. 28 (1984), 193-215.
(Also, Proc. 14th ACM Symp. on Theory of Computing, San Francisco, May 1982, pp. 181-195.)

32.  D. Harel and D. Kozen, "A Programming Language for the Inductive Sets, and Applications", Information and Control 63 (1984), 118-139. [PDF]
(Also, Proc. 9th Int. Colloq. on Automata, Languages and Programming, Lecture Notes in Computer Science, Vol. 140, Springer-Verlag, July 1982, pp. 313-329.)

33.  R. Sherman, A. Pnueli and D. Harel, "Is The Interesting Part of Process Logic Uninteresting? A Reduction from PL to PDL", SIAM J. Computing 13 (1984) 825-839.
(Also, Proc. 9th ACM Symp. on Principles of Programming Languages, January 1982.)

34.  D. Harel and D. Peleg, "Static Logics, Dynamic Logics and Complexity Classes", Information and Control 60 (1984), 86-102.

35.  D. Harel and M. Paterson, "Undecidability of PDL with L = {a^{2^i} |  i>=0}", J. Comput. System Sci. 29 (1984), 359-365.

36.  D. Harel, "Dynamic Logic", in Handbook of Philosophical Logic (D. Gabbay and F. Guenthner, eds.), Vol. II, Reidel Publishing Company, Dordrecht, 1984, pp. 497-604.

37.  D. Harel and D. Peleg, "Order Relations and Tuple Languages", Technical Report, The Weizmann Institute of Science, 1984.

38.  D. Harel and A. Pnueli, "On the Development of Reactive Systems", in Logics and Models of Concurrent Systems (K. R. Apt, ed.), NATO ASI Series, Vol. F-13, Springer-Verlag, New York, 1985, pp. 477-498. [PDF]

39.  D. Harel and D. Peleg, "More on Looping vs. Repeating in Dynamic Logic", Information Processing Lett. 20 (1985), 87-90.

40.  D. Harel, "Recurring Dominoes: Making the Highly Undecidable Highly Understandable", Ann. Disc. Math. 24 (1985), 51-72. [PDF]
(Also, invited paper, Proc. Int. Conf. on Foundations of Computation Theory, Lecture Notes in Computer Science, Vol. 158, Springer-Verlag, Berlin, 1983, pp. 177-194.)

41.  D. Harel and D. Peleg, "Process Logic with Regular Programs", Theoret. Comput. Sci. 38 (1985), 307-322. [PDF]

42.  A. K. Chandra and D. Harel, "Horn Clause Queries and Generalizations", J. Logic Programming 1 (1985), 1-15.
(Extends "Horn Clauses and the Fixpoint Query Hierarchy", Proc. 1st ACM Symp. on Principles of Data Base Systems, Los Angeles, March 1982, pp. 158-163.) [PDF]

43.  D. Harel and R. Sherman, "Propositional Dynamic Logic of Flowcharts", Information and Control 64 (1985), 119-135.
(Also, Proc. Int. Conf. on Foundations of Computation Theory, Borgholm, Sweden, August 1983, Lecture Notes in Computer Science, Vol. 158, Springer-Verlag, pp. 195-206.) [PDF]

44.  D. Harel, "Effective Transformations on Infinite Trees, with Applications to High Undecidability, Dominoes and Fairness", J. Assoc. Comput. Mach. 33 (1986), 224-248. [PDF]

45.  D. Harel, R. Unger and J. Sussman, "Beauty is in the Genes of the Beholder", Trends Biochem. Sci. 11 (1986), 155-156 (cover feature). [PDF]  (Reprinted as "Beauty is in the Genes of the Beholder: A Golden Tribute to a Golden Anniversary", in DNA 50 – The Secret of Life: Celebrating the 50th Anniversary of the Double Helix Discovery, Faircount Press, London, pp. 98-103, 2003. [Color PDF] )

46.  R. Unger, D. Harel and J. Sussman, "DNAMAT: An Efficient Graphic Matrix Sequence Homology Algorithm and its Application to Structural Analysis", Comput. Applications Biosci. 2 (1986), 283-289.

47.  I. Dayan and D. Harel, "Fair Termination with Cruel Schedulers", Fundamenta Informaticae IX (1986), 1-12.

48.  D. Harel, "Statecharts: A Visual Formalism for Complex Systems", Sci. Comput. Programming 8 (1987), 231-274. [PDF]
(Preliminary version: Technical Report CS84-05, The Weizmann Institute of Science, Rehovot, Israel, February 1984.)

49.  D. Harel, A. Pnueli, J. Schmidt and R. Sherman, "On the Formal Semantics of Statecharts", Proc. 2nd IEEE Symp. on Logic in Computer Science, Ithaca, NY, 1987, pp. 54-64. [PDF]

50.  D. Harel, "Logic and Databases: A Critique", SIGACT News 18:1 (1986), 68-74. (Also, SIGPLAN Notices (1987); EATCS Bull. 32 (1987), 64-69.)

51.  D. Drusinsky and D. Harel, "Using Statecharts for Hardware Description", Proc. IEEE CAD Conf., Santa Clara, CA, November 1987.

52.  D. Drusinsky and D. Harel, "On the Power of Cooperative Concurrency", Proc. Concurrency `88, Lecture Notes in Computer Science, Vol. 335, Springer-Verlag, New York, 1988, pp. 74-103 (invited paper).

53.  D. Harel, "On Visual Formalisms", Comm. Assoc. Comput. Mach. 31:5 (1988), 514-530.  [PDF]
(Reprinted in Diagrammatic Reasoning (Chandrasekaran et al., eds.), AAAI Press and MIT Press, 1995, pp. 235-271, and in High Integrity System Specification and Design (Bowen and Hinchey, eds.), Springer-Verlag, London, 1999, pp. 623-657.)

54.  D. Harel, "A Thesis for Bounded Concurrency", Proc. 14th Symp. on Math. Found. of Comp. Sci., Lecture Notes in Computer Science, Vol. 379, Springer-Verlag, New York, 1989, pp. 35-48 (invited paper).

55.  D. Harel and S. Rolph, "Modeling and Analyzing Complex Reactive Systems", Proc. AIAA Computers in Aerospace VII Conf., Monterey, CA, October 1989.

56.  D. Haran and D. Harel, "Knowledge-Charts: A Visual Formalism for Rule-Based Systems", Technical Report, The Weizmann Institute of Science, 1989.

57.  D. Drusinsky and D. Harel, "Using Statecharts for Hardware Description and Synthesis", IEEE Trans. Computer Aided Design of Integrated Circuits and Systems 8 (1989), 798-807.

58.  R. Unger, D. Harel, S. Wherland and J. Sussman, "A 3D Building Blocks Approach to Analyzing and Predicting Structure of Proteins", Proteins: Structure, Function, and Genetics 5 (1989), 355-373.

59.  D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtul-Trauring and M. Trakhtenbrot, "STATEMATE: A Working Environment for the Development of Complex Reactive Systems", IEEE Trans. on Software Engineering 16:4 (1990), 403-414. [PDF]
(Early version in Proc. 10th Int. Conf. on Software Engineering, Singapore, April 1988, pp. 396-406. Reprinted in Software State-of-the-Art: Selected Papers (DeMarco and Lister, eds.), Dorset House Publishing, New York, 1990, pp. 322-338. Japanese translation in Bit 6 (1991), 74-84. Reprinted in Readings in Hardware/Software Co-design (De Micheli, Ernst and Wolf, eds.), Morgan Kaufmann, 2001, pp. 135-146.)

60.  D. Harel, R. Rosner and M. Vardi, "On the Power of Bounded Concurrency III: Reasoning about Programs", Proc. 5th Symp. on Logic in Computer Science, IEEE Press, New York, 1990, pp. 479-488. [PDF]

61.  R. Unger, D. Harel, S. Wherland and J. Sussman, "Analysis of Dihedral Angles Distribution: The Doublets Distribution Determines Polypeptides Conformations", Biopolymers 30 (1990),499-508.

62.  D. Harel, "Biting the Silver Bullet: Toward a Brighter Future for System Development", Computer 25:1 (1992), IEEE Press, 8-20 (cover feature). [PDF]
(Hebrew translation in Ma'ase Choshev 19:5-6 (November 1992), 45-57. Reprinted in High Integrity System Specification and Design (Bowen and Hinchey, eds.), Springer-Verlag, London, 1999, pp. 30-51.)

63.  D. Harel, "Hamiltonian Paths in Infinite Graphs", Israel J. Math. 76:3 (1991), 317-336. [PDF]
(Also, Proc. 23rd ACM Symp. on Theory of Computing, New Orleans, 1991, pp. 220-229.)

64.  T. Hirst and D. Harel, "Taking it to the Limit: On Infinite Variants of NP-Complete Problems", J. Comput. System Sci. 53:2 (1996), 180-193. [PDF]
(Also, Proc. 8th IEEE Structure in Complexity Theory, IEEE Press, New York, 1993, pp. 292-304.)

65.  T. Hirst and D. Harel, "Completeness Results for Recursive Databases", J. Comput. System Sci. 52:3 (1996), 522-536. [PDF]
(Also, 12th ACM Symp. on Principles of Database Systems, ACM Press, New York, 1993, pp. 244-252.)

66.  D. Harel and D. Raz, "Deciding Emptiness for Stack Automata on Infinite Trees", Information and Computation 113 (1994), 278-299. [PDF]

67.  D. Harel and D. Raz, "Deciding Properties of Nonregular Programs", SIAM J. Computing 22 (1993), 857-874.
(Also, Proc. 31st Symp. on Math. Found. of Computer Science, St. Louis, 1990, pp. 652-661.)

68.  D. Harel and H.-A. Kahana, "On Statecharts with Overlapping", ACM Trans. on Software Engineering Method. 1:4 (1992), 399-421.

69.  D. Harel, "Computers are Not Omnipotent", Alpayim 6 (1992), 43-56 (in Hebrew).
(Also in Rehovot (The Weizmann Institute) 10:2 (1986/7), 42-47, and in Machon Weizmann 13 (1986), 28-34 (in Hebrew); abstract in Proc. 4th European Software Engineering Conf., Lecture Notes in Computer Science, Vol. 717, Springer-Verlag, p. 10, 1993.)

70.  T. Hirst and D. Harel, "On the Power of Bounded Concurrency II: Pushdown Automata", J. Assoc. Comput. Mach. 41 (1994), 540-559.
(Also, Proc. CAAP'90, Trees in Algebra and Programming (invited paper), Lecture Notes in Computer Science, Vol. 431, Springer-Verlag, 1990, pp. 1-17.) [PDF]

71.  Y. Etzion-Petrushka, D. Harel and D. Myers, "On the Solvability of Domino Snake Problems", Theoret. Comput. Sci. 131 (1994), 243-269. [PDF]

72.  D. Drusinsky and D. Harel, "On the Power of Bounded Concurrency I: Finite Automata", J. Assoc. Comput. Mach. 41 (1994), 517-539. [PDF]

73.  D. Harel, "How Hard is it to Reason About Propositional Programs?", in Program Design Calculi (M. Broy, ed.), NATO ASI Series, Vol. F-118, Springer-Verlag, Berlin, 1993, pp. 165-184.

74.  D. Harel, "Towards a Theory of Recursive Structures", 11th Ann. Symp. on Theoretical Aspects of Computer Science (invited paper), Lecture Notes in Computer Science, Vol. 775, Springer-Verlag, 1994, pp. 633-645. [PDF]
(Also, Computer Science Today, Lecture Notes in Computer Science, Vol. 1000, Springer-Verlag, 1995, pp. 374-391; also, Proc. Int. Colloq. on Universal Machines and Computations (UMC'98 ; invited paper), Metz, France, 1998; updated version in Proc. Mathematical Foundation of Computer Science (MFCS`98; invited paper), Lecture Notes in Computer Science, Vol. 1450, Springer-Verlag, 1998, pp. 36-53. )

75.  N. Globerman and D. Harel, "Complexity Results for Multi-Pebble Automata and their Logics", Theoret. Comput. Sci. 169 (1996), 161-184. [PDF]
(Also, Proc. 21st Int. Colloq. on Automata, Languages and Programming, Lecture Notes in Computer Science, Vol. 820, Springer-Verlag, July 1994, pp. 73-82.)

76.  D. Harel and E. Singerman, "More on Nonregular PDL: Finite Models and Fibonacci-like Programs", Information and Computation 128 (1996), 109-118. [PDF]
(Also, Proc. Israel Symp. on Theoretical Computer Science, 1994.)

77.  D. Harel, "Will I be Pretty, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering", Proc. 13th ACM Symp. on Principles of Database Systems (PODS; invited paper), ACM Press, 1994, pp. 1-3. [PDF]
(Also, Proc. CONCUR'95, 6th Int. Conf. on Concurrency Theory (invited paper), Lecture Notes in Computer Science, Vol. 962, Springer-Verlag, 1995, pp. 264-268, and Proc. 3rd Int. Symp. on Requirements Engineering (invited paper), January, 1997. Also appeared in SIGACT News 26:2 (June 1995), 21-25.)

78.  R. Davidson and D. Harel, "Drawing Graphs Nicely Using Simulated Annealing", ACM Trans. Graphics 15 (1996), 301-331. [PDF]
(Preliminary version: Tech. Report, The Weizmann Institute of Science, 1989.)

79.  D. Harel and M. Sardas, "Randomized Graph Drawing with Heavy-Duty Preprocessing", J. Visual Lang. and Comput. 6 (1995), 233-253. [PDF]
(Also, Proc. Workshop on Advanced Visual Interfaces, ACM Press, New York, 1994, pp. 19-33.)

80.  J. Gal-Ezer, C. Beeri, D. Harel and A. Yehudai, "A High-School Program in Computer Science", Computer 28:10 (October 1995), IEEE Press, 73-80. [PDF]

81.  D. Harel and E. Gery, "Executable Object Modeling with Statecharts", Computer 30:7 (July 1997), IEEE Press, 31-42 (cover feature). [PDF]
(Also, Proc. 18th Int. Conf. on Software Engineering, Berlin, IEEE Press, March, 1996, pp. 246-257.)

82.  T. Hirst and D. Harel, "More about Recursive Structures: Descriptive Complexity and Zero- One Laws", Proc. 11th Symp. on Logic in Computer Science, New Brunswick, NJ, July, 1996.

83.  O. Grossman and D. Harel, "On the Algorithmics of Higraphs", Technical Report CS97-15, The Weizmann Institute of Science, 1997.

84.  D. Harel and M. Sardas, "An Algorithm for Straight-Line Drawing of Planar Graphs", Algorithmica 20 (1998), 119-135.  

85.  D, Harel, Foreword to Real-Time UML: Developing Efficient Objects for Embedded Systems, by B. P. Douglass, Addison-Wesley, 1998; revised edition 2004.

86.  D. Harel and A. Naamad, "The STATEMATE Semantics of Statecharts", ACM Trans. on Software Engineering Method. 5:4 (October 1996), 293-333. [PDF]
(Preliminary version appeared as Technical Report, I-Logix, Inc., 1989.)

87.  J. Gal-Ezer and D. Harel, "What (else) should CS educators know?", Comm. Assoc. Comput. Mach. 41:9 (1998), 77-84. [PDF]

88.  D. Harel, O. Kupferman and M. Vardi, "On the Complexity of Verifying Concurrent Transition Systems", Information and Computation 173:2 (2002), 143-161. [PS]
(Also, Proc. 8th Int. Conf. on Concurrency Theory (CONCUR'97 ), Lecture Notes in Computer Science, Vol. 1243, Springer-Verlag, 1997, pp. 258-272.)

89.  D. Harel and E. Singerman, "Computation Paths Logic: An Expressive, yet Elementary, Process Logic", Ann. Pure Appl. Logic 96 (1999), 167-186. [PDF]
(Also, Proc. 24th Int. Colloq. on Automata, Languages and Programming, Lecture Notes in Computer Science, Vol. 1256, Springer-Verlag, 1997, pp. 408-418.)

90.  B. P. Douglass, D. Harel and M. Trakhtenbrot, "Statecharts in Use: Structured Analysis and Object-Orientation", Lectures on Embedded Systems (F. Vaandrager and G. Rozenberg, eds.), Lecture Notes in Computer Science, Vol. 1494, Springer-Verlag, 1998, pp. 368-394.

91.  D. Harel, "Some Thoughts on Statecharts, 13 Years Later", Proc. 1996 Asian Computer Science Conf. (invited paper), Singapore, 1996.
(Also, Proc. Workshop on Formal Design of Safety Critical Embedded Systems, Munich, 1997.)

92.  D. Harel, "On Modeling and Analyzing System Behavior: Myths, Facts and Challenges", Proc. Ann. Conf. on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'97; invited paper), 1997.
(Also, Proc. 20th Int. Conf. on Software Engineering (ICSE; invited paper), Kyoto, April 1998, IEEE Press, Vol. II, pp. 8-10, and Proc. IEEE Conf. on Engineering of Computer-Based Systems, Ma'ale Ha'chamisha, Israel, IEEE Press, 1998, pp. 12-15.)

93.  W. Damm and D. Harel, "LSCs: Breathing Life into Message Sequence Charts", Formal Methods in System Design 19:1 (2001), 45-80.  [PDF]
(Preliminary version in Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS'99 ), (P. Ciancarini, A. Fantechi and R. Gorrieri, eds.), Kluwer Academic Publishers, 1999, pp. 293-312.)

94.  D. Harel, "On the Aesthetics of Diagrams", Proc. 1997 IEEE Symp. on Visual Languages (VL'97 ; invited paper), Capri, Italy, September 1997, pp. 128-130.
(Also, Proc. 4th Int. Conf. on Mathematics of Program Construction (MPC'98; invited paper), Lecture Notes in Computer Science, Vol. 1422 (J. Jeuring, ed.), Springer-Verlag, 1998, pp. 1-5.)

95.  R. Hadani and D. Harel, "A Multi-Scale Method for Drawing Graphs Nicely", Discrete Applied Mathematics 113:1 (2001), 3-21.
(Also, Proc. 25th Int. Workshop on Graph-Theoretic Concepts in Computer Science (WG'99), Lecture Notes in Computer Science, Vol. 1665, Springer-Verlag, June 1999, pp. 262-277.)

96.  D. Harel and G. Yashchin, "An Algorithm for Blob Hierarchy Layout", The Visual Computer 18:3 (2002), 164-185. [PDF]
(Also, Proc. Working Conf. on Advanced Visual Interfaces (AVI'2000 ), Palermo, Italy, ACM Press, New York, May 2000, pp. 29-40.)

97.  J. Gal-Ezer and D. Harel, "Curriculum and Course Syllabi for a High-School Program in Computer Science", Comput. Sci. Education 9:2 (1999), 114-147. [PS]

98.  D. Harel and O. Kupferman, "On Object Systems and Behavioral Inheritance", IEEE Trans. Software Engineering 28:9 (2002), 889-903. [PDF]
(Preliminary version, titled "On Object Systems and Behavioral Inheritance of State-Based Objects", in Proc. 34th Int. Conf. on Component and Object Technology, IEEE Computer Society, Santa Barbara, CA, August 2000.)

99.  D. Harel and H. Kugler, "Synthesizing State-Based Object Systems from LSC Specifications", Int. J. of Foundations of Computer Science 13:1 (2002), 5-51.[PS]
(Also, Proc. 5th Int. Conf. on Implementation and Application of Automata (CIAA 2000; invited paper), Lecture Notes in Computer Science, Vol. 2088, Springer-Verlag, 2001, pp. 1-33.)

100.                      D. Harel and Y. Koren, "A Fast Multi-Scale Method for Drawing Large Graphs", J. Graph Algorithms and Applications 6:3 (2002), 179-202.  [PDF]
(Also, Proc. Graph Drawing'00 , Lecture Notes in Computer Science, Vol. 1984, Springer-Verlag, pp. 183-196, 2000. Short version in Proc. Working Conf. on Advanced Visual Interfaces (AVI'2000 ), Palermo, Italy, ACM Press, New York, May 1999, pp. 282-285.)

101.                      D. Harel, "From Play-In Scenarios To Code: An Achievable Dream", Computer 34:1 (January 2001), IEEE Press, 53-60. [PDF]
(Also, Proc. Fundamental Approaches to Software Engineering (FASE; invited paper), Lecture Notes in Computer Science, Vol. 1783 (Tom Maibaum, ed.), Springer-Verlag, March 2000, pp. 22-34.)

102.                      D. Harel and Y. Koren, "Drawing Graphs with Non-Uniform Vertices", Proc. Working Conf. on Advanced Visual Interfaces (AVI'2002 ), Trento, Italy, ACM Press, pp. 157-166. [PDF]

103.                      D. Harel and Y. Koren, "On Clustering Using Random Walks", Proc. 21st Conf. on Foundations of Software Technology and Theoretical Computer Science (FST TCS 2001; invited paper), Lecture Notes in Computer Science, Vol. 2245 (R. Hariharan and M. Mukund eds.), Springer-Verlag, Dec. 2001, pp. 18-41. [PDF]

104.                      D. Harel and Y. Koren, "Clustering Spatial Data Using Random Walks", Proc. 7th ACM SIGKDD Int. Conf. on Knowledge Discovery and Data Mining (KDD-2001), ACM Press, 2001, pp. 281-286.

105.                      D. Harel and R. Marelly, "Specifying and Executing Behavioral Requirements: The Play In/Play-Out Approach", Software and System Modeling (SoSyM) 2 (2003), 82-107.  [PDF]

106.                      N. Kam, I.R. Cohen and D. Harel, "The Immune System as a Reactive System: Modeling T Cell Activation with Statecharts", Proc. Visual Languages and Formal Methods (VLFM'01), part of IEEE Symp. on Human-Centric Computing (HCC'01), 2001, pp. 15-22.   [PDF]

107.                      D. Harel, L. Carmel and D. Lancet, "Towards an Odor Communication System", Computational Biology and Chemistry (formerly Computers & Chemistry) 27 (2003), 121-133.  [PDF]
(Early version titled "An Algorithmic Approach to Odor Communication and Reproduction", Technical Report MCS01-16, The Weizmann Institute of Science, 2001.)

108.                      L. Carmel, D. Harel and D. Lancet, "Estimating the Size of the Olfactory Repertoire", Bull. Math. Bio. 63 (2001), 1063-1078.  [PDF]

109.                       N. Kam, D. Harel and I.R. Cohen, "Modeling Biological Reactivity: Statecharts vs. Boolean Logic", 2nd Int. Conf. on Systems Biology (ICSB 2001), California, 2001, pp. 301-310.  [PDF]
(Also in Proc. Working Conf. on Advanced Visual Interfaces (AVI'02), pp. 345-353, Trento, Italy, May 2002.)

110.                       D. Harel, D. Kozen and J. Tiuryn, "Dynamic Logic", in Handbook of Philosophical Logic, 2nd Edition (D. Gabbay and F. Guenthner, eds.), Vol. 4, Kluwer Academic Publishers, Dordrecht, 2002, pp. 99-217.  [PS]

111.                       Y. Koren and D. Harel, "A Multi-Scale Algorithm for the Linear Arrangement Problem", Proc. 28th Int. Workshop on Graph-Theoretic Concepts in Computer Science, Lecture Notes in Computer Science, Vol. 2573, Springer-Verlag,  June 2002, pp. 293-306. [PDF]

112.                       D. Harel, H. Kugler, R. Marelly and A. Pnueli, "Smart Play-Out of Behavioral Requirements", Proc. 4th Int. Conf. on Formal Methods in Computer-Aided Design (FMCAD 2002), November 2002, pp. 378-398. [PDF]

113.                       R. Marelly, D. Harel and H. Kugler, "Multiple Instances and Symbolic Variables in Executable Sequence Charts", Proc. 17th Ann. AM Conf. on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '2002), November, 2002, pp. 83-100.  [PDF]

114.                       E. Gery, D. Harel and E. Palatshy, "A Complete Lifecycle Model-Based Development System", Proc. 3rd Int. Conf. on Integrated Formal Methods (IFM 2002; invited paper), May, 2002.  [PS]

115.                       D. Harel and R. Marelly, "Playing with Time: On the Specification and Execution of Time-Enriched LSCs", Proc. 10th IEEE/ACM Int. Symp. on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2002; invited paper), Fort Worth, Texas, 2002.   [PDF]

116.                       Y. Koren, L. Carmel and D. Harel, "Drawing Huge Graphs by Algebraic Multigrid Optimization", Multiscale Modeling and Simulation 1:4 (2003), 645-673.
 [PDF]
(Early version appeared as "ACE: A Fast Multiscale Eigenvectors Computation for Drawing Huge Graphs", Proc. IEEE Symp. on Information Visualization (InfoVis 2002), October, 2002, pp. 137-144.)  

117.                       D. Harel and Y. Koren, "Graph Drawing by High-Dimensional Embedding", J. Graph Algorithms and Applications 8:2 (2004), 195-214. (Preliminary version is Proc. 10th Int. Symp. on Graph Drawing (GD'02), Lecture Notes in Computer Science, Vol. 2528, Springer Verlag, pp. 207-219, 2002.)  [PDF]

118.                       L. Carmel, D. Harel and Y. Koren, "Combining Hierarchy and Energy for Drawing Directed Graphs", IEEE Transactions on Visualization and Computer Graphics 10:1 (2004), 46-57.  [PDF]  
(Preliminary version appeared as "Drawing Directed Graphs Using One-Dimensional Optimization", Proc. 10th Int. Symp. on Graph Drawing (GD'02), Lecture Notes in Computer Science, Vol. 2528, Springer Verlag, pp. 193-206, 2002.)

119.                       D. Harel, "Can Behavioral Requirements be Executed? (And why would we want to do so?)", Proc. 2nd Int. Conf. on Embedded Software (EMSOFT), 2002, (invited paper), Lecture Notes in Computer Science, Vol. 2491, Springer-Verlag,  Oct. 2002, pp. 30-31.  [PS]

120.                       D. Harel, H. Kugler and R. Marelly, "The Play-in/Play-out Approach and Tool: Specifying and Executing Behavioral Requirements", Proc. Israeli Workshop on Programming Languages & Development Environments (PLE'02), July 2002.

121.                       L. Carmel, S. Levy, D. Lancet and D. Harel, "A Feature Extraction Method for Chemical Sensors in Electronic Noses", Sensors and Actuators B: Chemical 93 (2003), 66-75. (Preliminary version in Proc. 9th Int. Meeting on Chemical Sensors (ICS2002), p. 394, 2002.)  [PDF]

122.                       L. Carmel, N. Sever, D. Lancet and D. Harel, "An E-Nose Algorithm for Identifying Chemicals and Determining their Concentration", Sensors and Actuators B: Chemical 93 (2003), 76-82. (Preliminary version in Proc. 9th International Meeting on Chemical Sensors (ICS2002), pp. 274-275, 2002.)  [PDF]

123.                       L. Carmel, Y. Koren and D. Harel, "Visualizing and Classifying Odors Using a Similarity Matrix", Proc. 9th International Symposium on Olfaction and Electronic Nose (ISOEN 02), Rome, Italy, Sept. 2002.

124.                       D. Harel, "A Grand Challenge for Computing:  Full Reactive Modeling of a Multi-Cellular Animal", Bulletin of the EATCS , European Association for Theoretical Computer Science, no. 81, 2003, pp. 226-235.  [Word]
(Early version prepared for the UK Workshop on Grand Challenges in Computing Research, November 2002. Reprinted in Current Trends in Theoretical Computer Science: The Challenge of the New Century, Algorithms and Complexity, Vol I (Paun, Rozenberg and Salomaa, eds.), World Scientific, pp. 559-568, 2004.)

125.                       N. Kam, D. Harel, H. Kugler, R. Marelly, A. Pnueli, E.J.A. Hubbard and M.J. Stern, "Formal Modeling of C. elegans Development: A Scenario-Based Approach", Proc. 1st Int. Workshop on Computational Methods in Systems Biology (ICMSB 2003), Lecture Notes in Computer Science, Vol. 2602, Springer-Verlag, pp. 4-20, Feb. 2003.  (Revised version in Modeling in Molecular Biology (G. Ciobanu and G. Rozenberg, eds.), Springer, Berlin, 2004, pp. 151-173.)  [PDF]  

126.                       D. Harel, "On the Behavior of Complex Object-Oriented Systems", Proc. Conf. on Object-Oriented Modeling of Embedded Real-Time Systems (OMER '99; Peter P. Hofmann and Andy Schurr, eds.; invited paper), GI-Edition, Lecture Notes in Informatics, Vol. P-5, 2002, pp. 11-15.  

127.                       S. Efroni, D. Harel and I.R. Cohen, "Towards Rigorous Comprehension of Biological Complexity: Modeling, Execution and Visualization of Thymic T Cell Maturation", Genome Research 13 (2003), 2485-2497 (cover feature).  [PDF]   

128.                       D. Harel, S. Efroni and I.R. Cohen, "Reactive Animation", Proc. 1st Int. Symposium on Formal Methods for Components and Objects (FMCO 2002) (invited paper), Lecture Notes in Computer Science, Vol. 2852, Springer-Verlag, 2003, pp. 136-153.  [PS]

129.                       D. Harel and P.S. Thiagarajan, "Message Sequence Charts", in UML for Real: Design of Embedded Real-time Systems (L. Lavagno, G. Martin and B. Selic, eds.), Kluwer Academic Publishers, 2004, pp. 75-105.

130.                       S. Efroni, D. Harel and I.R. Cohen, "A theory for complex systems: reactive animation",  in Studies in Multidisciplinarity, Volume 3 (R. Paton and L. McNamara, eds.), Elsevier, 2006, pp. 309-324. [PDF]

131.                       D. Harel, "From Play-In Scenarios to Code: Capturing and Analyzing Reactive Behavior" (lecture notes for the 2002 Marktoberdorf Summer School; notes written jointly with R. Marelly), Proc. NATO Advanced Study Institute on Models, Algebras and Logic of Engineering Software, IOS Press, 2003, pp. 317-350.

132.                       L. Carmel, N. Sever and D. Harel, "On Predicting Responses to Mixtures in Quarz Microbalance Sensors", Sensors and Actuators B: Chemical 106 (2005), 128-135. (Also, Proc. 10th Int. Symp. on Olfaction and Electronic Nose (ISOEN'03), 2003, pp. 160-163.)  [PDF]

133.                       O. Shaham, L. Carmel and D. Harel, "On Mapping Between Electronic Noses", Sensors and Actuators B: Chemical 106:1 (2005), 76-82. (Also, Proc. 10th Int. Symp. on Olfaction and Electronic Nose (ISOEN'03), 2003, pp. 92-95.)  [PDF]

134.                       Y. Koren and D. Harel , "Axis-by-Axis Stress Minimization", Proc. 11th Int. Symp. on Graph Drawing (GD'03), Springer-Verlag, 2003, pp. 450-459. [PDF]

135.                       D. Harel and H. Kugler, "The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML)", Integration of Software Specification Techniques for Applications in Engineering, (H. Ehrig et al., eds.), Lecture Notes in Computer Science, Vol. 3147, Springer-Verlag, 2004, pp. 325-354. [PDF]

136.                       D. Barak, D. Harel and R. Marelly, "InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming", IEEE Trans. Soft. Eng. 32:7 (2006), 467-485. (Early version in Lectures on Concurrency and Petri Nets (J. Desel, W. Reisig and G. Rozenberg, eds.), Lecture Notes in Computer Science, Vol. 3098, Springer-Verlag, 2004, pp. 66-86.[PDF]

137.                       D. Harel, H. Kugler and A. Pnueli, "Smart Play-Out Extended: Time and Forbidden Elements", Proc. 4th Int. Conf. on Quality Software (QSIC'04), IEEE Computer Society Press, 2004, pp. 2-10.  [PDF]

138.                        J. Fisher, D. Harel, E.J.A. Hubbard, N. Piterman, M.J Stern and N. Swerdlin, "Combining State-based and Scenario-based Approaches in Modeling Biological Systems", Proc. Computational Methods in Systems Biology (CMSB'04), Lecture Notes in Bioinformatics, vol. 3082, Springer-Verlag, 2005, pp. 236-241.  [PDF]

139.                       H. Kugler, D. Harel, A. Pnueli, Y. Lu and Y. Bontemps, "Temporal Logic for Scenario-Based Specifications", Proc. 11th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05), Lecture Notes in Computer Science, Vol. 3440, Springer-Verlag, 2005, 445-460.   [PDF]

140.                       D. Harel, H. Kugler and A. Pnueli, "Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements", Formal Methods in Software and System Modeling (H.-J. Kreowski et al, eds.),  Lecture Notes in Computer Science, Vol. 3393, Springer-Verlag, 2005, 309-324. [PDF]

141.                       D. Harel and B. Rumpe, "Meaningful Modeling: What's the Semantics of 'Semantics'?", Computer 37:10 (October 2004), IEEE Press, 64-72 (cover feature).  [PDF]

142.                       D. Harel, H. Kugler and G. Weiss,  "Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach", Proc. Scenarios: Models, Transformation and Tools ( S. Leue and T.J. Systa, eds.), Lecture Notes in Computer Science, Vol 3466, Springer-Verlag, 2005, 26-42. [PDF]

143.                       J. Fisher, N. Piterman, E.J.A. Hubbard,  M.J Stern and D. Harel, "Computational Insights into Caenorhabditis elegans Vulval Development", Proc. Natl. Acad. Sci. 102:6 (2005), 1951-1956. [PDF]

144.                       S. Efroni, D. Harel and I.R. Cohen, "Reactive Animation: Realistic Modeling of Complex Dynamic Systems", Computer 38:1 (Jan. 2005), IEEE Press, 38-47 (cover feature). [PDF]

145.                      D. Harel, "A Turing-Like Test for Biological Modeling", Nature Biotechnology 23 (2005), 495-496. [PDF]

146.                      P. Combes, D. Harel and H. Kugler, "Modeling and Verification of a Telecommunication Application using Live Sequence Charts and the Play-Engine Tool", Software and System Modeling (SoSyM) 7:2 (2008),157-175. (Preliminary version in Proc. 3rd Int. Symp. on Automated Technology for Verification and Analysis (ATVA '05), Lecture Notes in Computer Science, Vol 3707, Springer-Verlag, 2005, 414-428.)  [PDF]

147.                      R. Haddad, L. Carmel and D. Harel, "A Feature Extraction Algorithm for Multi-peak Signals in Electronic Noses", Sensors & Actuators B: Chemical, in print, 2006. [PDF]

148.                      D. Harel, "Some Challenges for System Development: Reactive Animation, Smart Play-Out and Olfaction", In Engineering Theories of Software Intensive Systems (M. Broy et al., eds), NATO Science Series, Vol. 195, Springer, 2005, pp. 399-404.

149.                      D. Harel, "Statecharts in the Making: A Personal Account", Proc. 3rd ACM SIGPLAN History of Programming Languages Conference (HOPL III), June 2007. [PDF]

150.                      B. Sobolev, D. Harel, C. Vasilakis, and A. Levy, "Using the Statecharts paradigm for simulation of patient flow in surgical care", Health Care Management Science 11 (2008), 79-86. [PDF]

151.                      L. Carmel and D. Harel, "Mix-to-Mimic Odor Synthesis for Electronic Noses", Sensors and Actuators B: Chemical 125 (2007) 635–643. [PDF]

152.                      R. Haddad, L. Carmel, N. Sobel and D. Harel,"Predicting the Receptive Range of Olfactory Receptors", PLoS Computational Biology, 4:2 (2008), e18. [PDF]

153.                      D. Harel, "Comprehensive and Realistic Modeling of Biological Systems: What, How and Why" (abstract), Proc. 6th Int. Conf. on Systems Biology, Boston, MA, Oct. 2004, p. 52.

154.                      D. Harel, "On Comprehensive and Realistic Modeling: Some ruminations on the what, the how and the why", Clinical and Investigative Medicine 28:6 (2005), 334-337. [PDF]

155.                      A. Sadot, J. Fisher, D. Barak, Y. Admanit, M.J. Stern, E.J.A Hubbard and D. Harel, "Towards Verified Biological Models", IEEE/ACM Trans. Comput. Biology and Bioinformatics 5:2 (2008), 223-234. [PDF]

156.                      N. Swerdlin, I.R. Cohen and D. Harel, "The Lymph Node B Cell Immune Response: Dynamic Analysis in-silico", Proceedings of the IEEE (special issue on Computational System Biology) 96:8 (2008), 1421-1443. [PDF]

157.                       D. Harel and S. Maoz, "Assert and Negate Revisited: Modal Semantics for UML Sequence Diagrams", Software and System Modeling (SoSyM) 7:2 (2008), 237-252. (Early version in 5th Int. Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'06), 2006, pp. 13-20.) [PDF]

158.                       E. Shapiro, D. Harel, C. Bishop and S. Muggletton, "The fundamental role of computer science concepts in science", In Towards 2020 Science, Microsoft Corporation, 2006, pp. 24-25.

159.                       S. Efroni, D. Harel and I.R. Cohen, "Emergent Dynamics of Thymocyte Development and Lineage Determination", PLOS Computational Biology 3:1 (2007), 127-136. [PDF]

160.                       I.R. Cohen and D. Harel, "Explaining a Complex Living System: Dynamics, Multi-scaling and Emergence", J. Royal Society Interface 4 (2007), 175-182. [PDF]

161.                       D. Harel and M. Gordon-Kiwkowitz "On Teaching Visual Formalisms", IEEE Software 26:3 (2009), 87-95. [PDF]

162.                       S. Maoz and D. Harel, "From Multi-Modal Scenarios to Code: Compiling LSCs into AspectJ", Proc. 14th ACM SIGSOFT Symp. on Foundations of Software Engineering (FSE'06), Portland, Nov. 2006, pp. 219-230. [PDF]

163.                       D. Harel, "Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs" (abstract of keynote talk), Proc. Computer Aided Verification (CAV 2006), T. Ball and R.B. Jones (Eds.), Lecture Notes in Computer Science, Vol. 4144, Springer-Verlag, 2006. [PDF]

164.                       D. Harel and I. Segall, "Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs", Proc. 13th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'07), 2007, pp. 485-499. [PDF]

165.                       D. Harel, A. Kleinbort, and S. Maoz, "S2A: A Compiler for Multi-Modal UML Sequence Diagrams", Proc. Fundamental Approaches to Software Engineering (FASE'07), 2007, pp. 121-124. [PDF]

166.                      Y. Atir and D. Harel, "Using LSCs for Scenario Authoring in Tactical Simulators", Proc. Summer Computer Simulation Conference (SCSC'07), July, 2007, pp. 437-442. [PDF]

167.                      H. Lapid, R. Khan, D. Harel and N. Sobel, "Pleasantness of Binary Mixtures (abstract)", Association for Chemoreception Sciences (AChemS) Annual Meeting, 2007.

168.                      R. Haddad, R. Khan, Y.K. Takahashi, D. Harel and N. Sobel, "A Metric for Odorant Comparison", Nature Methods 5 (2008), 425 - 429.  [PDF]

169.                      S. Maoz, A. Kleinbort and D. Harel, "Towards Trace Visualization and Exploration for Reactive Systems", Proc. IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'07), 2007, pp. 153-156. [PDF]

170.                      H. M. Sauro, D. Harel, M. Kwiatkowska, C. A. Shaffer, A. M. Uhrmacher, M. Hucka, P. Mendes, L. Strömback, J. J. Tyson, "Challenges for modeling and simulation methods in systems biology", Proc. Winter Simulation Conference, 2006, pp. 1720-1730.

171.                      H. Amir-Kroll, A. Sadot, I.R. Cohen and D. Harel, "GemCell: A Generic Platform for Modeling Multi-Cellular Biological Systems", Theoret. Comput. Sci. 391:3 (2008), 276-290. [PDF]

172.                      E. Fox Keller and D. Harel, "Beyond the Gene", PLoS ONE 2:11 (2007), e1231.  [PDF]

173.                      D. Harel and R. Merom, "Playing Together: Distributed Collaborative Play-Out of Live Sequence Charts", 2007.

174.                      D. Harel, "Can Programming be Liberated, Period?", IEEE Computer 41:1 (2008), 28-37. [PDF]

175.                      N. Kam, H. Kugler, R. Marelly, L. Appleby, J. Fisher, A. Pnueli, D. Harel, M.J. Stern and E.J.A. Hubbard, "A Scenario-based approach to modeling development: A prototype model of C. elegans vulval cell fate specification", Development Biology 323 (2008), 1-5.   [PDF]

176.                      D. Harel and S. Maoz, "Visual Formalisms". In Encyclopedia of Database Systems, L. Liu and M. Tamer Özsu, eds., Springer, 2009, pp. 3370-3374.

177.                      Y. Atir, D. Harel, A. Kleinbort and S. Maoz, "Object Composition in Scenario-Based Programming", Proc. Fundamental Approaches to Software Engineering (FASE'08), 2008, pp. 301-316.  [PDF]

178.                      D. Harel, S. Maoz and I. Segall, "Some Results on the Expressive Power and Complexity of LSCs", in Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday (A. Avron, N. Dershowitz and A. Rabinovich, eds.), Lecture Notes in Computer Science, vol. 4800, Springer-Verlag, Berlin, 2008, pp.351-366.  [PDF]

179.                      D. Harel, Y. Setty, S. Efroni, N. Swerdlin and I.R. Cohen, "Concurrency in Biological Modeling: Behavior, Execution and Visualization", Proc. FBTC 2007, Electronic Notes in Theoretical Computer Science 194 (2008), 119–131.  [PDF]

180.                      Y. Setty, I. R. Cohen, Y, Dor and D. Harel, "Four-Dimensional Realistic Modeling of Pancreatic Organogenesis", Proc. Natl. Acad. Sci. 105:51 (2008), 20374-20379. [PDF]

181.                      H. Lapid, D. Harel and N. Sobel, "Prediction Models for the Pleasantness of Binary Mixtures in Olfaction", Chemical Senses 33 (2008) 599-609.  [PDF]

182.                      D. Harel and I. Segall, "Visualizing Inter-Dependencies Between Scenarios", Proc. ACM Symp. on Software Visualization (SOFTVIS'08), 2008, pp. 145-153.  [PDF]

183.                      J. Fisher and D. Harel, "On Statecharts for Biology", in Symbolic Systems Biology: Theory and Methods, (M. S. Iyengar, ed.), Jones and Bartlett Learning, Boston, 2010, pp. 99-111. [PDF]

184.                      D. Harel, A. Kantor and S. Maoz, "On the Power of Play-Out for Scenario-Based Programs", In Concurrency, Compositionality and Correctness: Essays in Honor of Willem-Paul de Roever (Dams, Hanneman and Steffen, eds. ), Lecture notes in Computer Science, Vol. 5930 Springer, 2010, pp 207-220.  [PDF]

185.                      D. Harel and Y. Setty, "Generic Reactive Animation: Realistic Modeling of Complex Natural Systems", Proc. 1st Int. Workshop on Formal Methods in Systems Biology (FMSB'08) (J. Fisher, ed.), Lecture Notes in Bioinformatics, Vol. 5054  Springer, 2008, pp. 1-16. [PDF]

186.                      D. Harel, I. Segall, H. Kugler and Y. Setty, "Crafting Game-Models using Reactive System Design", Proc. Future Play 2008: The International Conference on the Future of Game Design and Technology, Toronto, 2008, pp.121-128. [PDF]

187.                      R. Haddad, H. Lapid, D. Harel and N. Sobel, "Measuring Smells", Current Opinion in Neurobiology 18 (2008), 438-444. [PDF]

188.                      D. Harel and A. Kantor, "Modal scenarios as automata", in Language, Culture, Computation (N. Dershowitz, E. Nissan, eds.), Lecture Notes in Computer Science, Springer-Verlag, Berlin, to appear.

189.                      D. Harel, "Statecharts in the Making: A Personal Account", Comm. ACM 52:3 (2009), 67-75. [PDF]

190.                      M. Gordon and D. Harel, "Generating Executable Scenarios from Natural Language", Proc. 10th Int. Conf. on Comput. Linguistics and Intelligent Text Processing (CICLing'09),  Lecture Notes In Computer Science, vol. 5449. Springer-Verlag, Berlin, Heidelberg, 2009, pp. 456-467. [PDF]

191.                      D. Harel, H. Kugler, S. Maoz and I. Segall, "How Hard is Smart Play-Out?  On the Complexity of Verification-Driven Execution", In Perspectives in Concurrency Theory  (Festschrift for P.S. Thiagarajan) (K. Lodaya et al, eds.), University Press (India), 2009, pp. 208-230.  [PDF]

192.                      D. Harel, A. Marron and G. Weiss,  "Behavioral Programming", Comm. Assoc. Comput. Mach. 55:7 (2012), 90-100. [PDF]

193.                      H. Kugler, A. Larjo and D. Harel, "Biocharts: A Visual Formalism for Complex Biological Systems", J. Royal Society Interface 6:7 (2010), 1015-1024. [PDF]

194.                      D. Harel, H. Kugler, S. Maoz, and I. Segall, "Accelerating Smart Play-Out", In Proc. 36th Int. Conf. on Current Trends in Theory and Practice of Computer Science (SOFSEM '10),  J. van Leeuwen et al. eds., LNCS, vol. 5901, Springer, 2010, pp. 477-488.  [PDF]

195.                      I. Cohen and D. Harel, "Two Views of a Biology-Computer Science Alliance", In Proc. 2009 Workshop on Complex Systems Modelling and Simulation (CoSMoS’09) (Stepney et al, eds.) Luniver Press, 2009, pp. 1-8. [PDF]

196.                      D. Harel, "Can We Computerize an Elephant?" (abstract), In Proc. 7th ACM-IEEE Int. Conf. on Formal Methods and Models for Codesign (MEMOCODE '09), IEEE Press, 2009, p. 77.

197.                      Y. Setty, I.R. Cohen, A.E. Mayo and D. Harel, “On Using Divide and Conquer in Modeling Natural Systems”, in Algorithmic Bioprocesses (A.Condon, D. Harel, J.N. Kok, A. Salomaa and E. Winfree, eds.), Springer-Verlag, 2008, pp. 661-674. [PDF]

198.                      S. Maoz, D. Harel and A. Kleinbort, "A Compiler for Multi-Modal Scenarios: Transforming LSCs into AspectJ", ACM Trans. on Software Engineering Method. Volume 20, Issue 4. 2011. [PDF]

199.                      D. Harel, A. Marron and G. Weiss, "Programming Coordinated Scenarios in Java", Proc. 24th European Conference on Object-Oriented Programming (ECOOP 2010), 2010. [PDF]

200.                      H. Lapid, H.-S. Seo, B. Schuster, E. Schneidman, Y. Roth, D. Harel, N. Sobel and T. Hummel, "Odorant Concentration Dependence in Electroolfactograms Recorded From the Human Olfactory Epithelium", J. Neurophysiology 102 (2009), 2121-2130. [PDF]

201.                      R. Haddad, A. Medhanie, Y. Roth, D. Harel and N. Sobel, "Predicting Odor Pleasantness with an Electronic Nose", PLoS Computational Biology 6(4), 2010. [PDF]

202.                      J. Fisher, D. Harel and T.A. Henzinger, "Biology as Reactivity", Comm. Assoc. Comput. Mach. 54:10 (2011), 72-82 (cover feature). [PDF]

203.                      M. Gordon and D. Harel, "Semantic Navigation Strategies for Scenario-Based Programming", Proc. IEEE Symp. on Visual Languages and Human-Centric Computing (VL/HCC 2010), 2010, pp. 219-226. [PDF]

204.                      S. Maoz and D. Harel, "On Tracing Reactive Systems", Software and Systems Modeling (SoSyM) 10:4 (2011), 447-468. [PDF]

205.                      Y. Setty, I.R. Cohen and D. Harel, "Modeling Biology using Generic Reactive Animation", Fundamenta Informaticae 123 (2010), 1-12. [PDF]

206.                      D. Harel, S. Maoz, S. Szekely and D. Barkan, "PlayGo: Towards a Comprehensive Tool for Scenario Based Programming", in Proceedings of the IEEE/ACM 25th Int. Conf. on Automated Software Engineering (ASE 2010), Antwerp, Belgium, pp. 359-360. [PDF]

207.                      D. Harel, "Some Thoughts on Behavioral Programming" (Distinguished Carl Adam Petri Lecture), in 31st Int. Conf. on Applications and Theory of Petri Nets, (J. Lilius and W. Penczek, eds.), Braga, Portugal, Lecture Notes in Computer Science, Vol. 6128, Springer-Verlag, 2010, p. 18. (Also, Proc. 17th IEEE Int. Symp. on Formal Methods (FM), Limerick, Ireland, Lecture Notes in Computer Science, Vol. 6664, Springer-Verlag, 2011, p. 2, and Proc. 9th IEEE Int. Conf. on Business Process Management (BPM), Clermont-Ferrand, France, Lecture Notes in Computer Science, Vol. 6896, Springer-Verlag, 2011, p. 1.)

208.                      D. Harel, A. Marron, A. Nissim and G. Weiss, "A Software Engineering Framework for Switched Fuzzy Systems", Proc. IEEE International Conference on Fuzzy Systems, 2012.

209.                      O. Vainas, D. Harel, I.R. Cohen and S. Efroni, "Reactive animation: From piecemeal experimentation to reactive biological systems", Autoimmunity, 44:4 (2011), 1-11. [PDF]

210.                      D. Harel, R. Lampert, A. Marron and G. Weiss, "Model-Checking Behavioral Programs", Proc. 11th Int. Conf. on Embedded Software (EMSOFT), 2011, pp. 279-288. [PDF]

211.                      D. Harel and H. Kugler, "Some Thoughts on the Semantics of Biocharts", in Time for Verification, Essays in Memory of Amir Pnueli, Z. Manna and D. Peled (eds.), Lecture Notes in Computer Science, Vol. 6200, Springer, 2010, pp. 185-194. [PDF]

212.                      D. Harel and I. Segall, "Synthesis from Scenario-Based Specifications", J. Comput. Syst. Sci. 78:3 (2012), 970-980. [PDF]

213.                      N. Eitan, M. Gordon, D. Harel, A. Marron and G. Weiss, "On Visualization and Comprehension of Scenario-Based Programs", Proc. 19th Int. Conf. on Program Comprehension (ICPC), 2011, pp. 189-192. [PDF]

214.                      M. Gordon and D. Harel, "Show-and-Tell Play-In: Combining Natural Language with User Interaction for Specifying Behavior", Proc. IADIS Interfaces and Human Computer Interaction (IHCI), 2011, pp. 360-364. [PDF]

215.                      D. Harel and A. Marron, "The Quest for Runware: On Compositional, Executable and Intuitive Models", Software and System Modeling (SoSyM), 11:4 (2012), 599-608. [PDF]

216.                      Y. Setty, I.R. Cohen and D. Harel, "Executable Modeling of Morphogenesis: A Turing-Inspired Approach", Fundamenta Informaticae (special issue for Turing Centennial), 118:4 (2012), 403-417. [PDF]

217.                      N.Eitan and D.Harel, "Adaptive Behavioral Programming", Proc. 23rd IEEE Int. Conf. on Tools with Artificial Intelligence (ICTAI), 2011, pp. 685-692. [PDF]

218.                      G. Alexandron, M. Armoni and D. Harel, "Programming with the User in Mind", Psychology of Programming Interest Group Annual Conference (PPIG2011), 2011. [PDF]

219.                      D. Harel, A. Marron, G. Weiss and G. Wiener, "Behavioral programming, decentralized control, and multiple time scales", Proc. SPLASH Workshop on Programming Systems, Languages, and Applications based on Agents, Actors, and Decentralized Control (AGERE!), 2011, pp. 171-182. [PDF]

220.                      D. Harel and A. Kantor, "Multi-Modal Scenarios Revisited: A Net-Based Representation", Theoretical Computer Science 429 (2012), 118-127. [PDF]

221.                      D. Harel, "Programming Naturally" (in Hebrew), Igeret (Israel Academy of Sciences and Humanities press) 33 (2011), 6-13. [PDF]

222.                      M. Gordon and D. Harel, "Evaluating a Natural Language Interface for Behavioral Programming", Proc. IEEE Symposium on Visual Languages and Human-Centric Computing, (VL/HCC 2012), 2012, pp. 167-170. [PDF]

223.                      G. Alexandron, M. Armoni, M. Gordon and D. Harel, "The effect of previous programming experience on the learning of scenario-based programming", Proc. 12th Koli Calling Int.Conf. on Computing Education Research, 2012, pp. 151-159. [PDF]

224.                      D. Harel, G. Katz, A. Marron and G. Weiss, "Non-Intrusive Repair of Reactive Programs", Proc. 17th IEEE Int. Conf. on Engineering of Complex Computer Systems (ICECCS), Paris, July 2012, pp. 3-12. [PDF]

225.                      D. Harel, G. Katz, A. Marron and G. Weiss, "Non-Intrusive Repair of Safety Violations in Reactive Programs", Transactions on Computational Collective Intelligence (TCCI), to appear.

226.                      D. Harel, A. Kantor and G. Katz, "Relaxing Synchronization Constraints in Behavioral Programs", Proc. 19th Int. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Lecture Notes in Computer Science, Vol. 8312, 2013, pp. 355-372. [PDF]

227.                      G. Alexandron, M. Armoni, M. Gordon and D. Harel, "On Teaching Programming with Nondeterminism", Proc. 8th Workshop in Primary and Secondary Computing Education (WiPSCE), 2013, pp. 71-74. [PDF]

228.                      D. Sherman, T. Oram, D. Deutsch, G. Gordon, E. Ahissar and D. Harel, "Tactile Modulation of Whisking via the Brainstem Loop: Statechart Modeling and Experimental Validation", PLoS One, 8:11 (2013), e79831. doi:10.1371/journal.pone.0079831. [PDF]

229.                      D. Harel, A. Kantor, G. Katz, A. Marron, L. Mizrahi and G. Weiss, "On Composing and Proving the Correctness of Reactive Behavior", Proc. 13th Int. Conf. on Embedded Software (EMSOFT), 2013, pp. 1-10. [PDF]

230.                      G. Alexandron, M. Armoni, M. Gordon and D. Harel, "Scenario-based programming, usability-oriented perception", ACM Transactions on Computing Education, 2014, submitted.

231.                      D. Harel, "Standing on the Shoulders of a Giant: One Person's Experience of Turing's Impact" (Alan M. Turing Lecture), Proc. 39th Int. Colloq. on Automata, Languages and Programming (ICALP), Lecture Notes in Computer Science, Vol. 7392 (A. Czumaj, et al., eds.), p. 16-22, Springer, 2012. [PDF]

232.                      D. Harel, "A Turing-Like test for Modeling Nature" in Alan Turing: His Work and Impact (Cooper and van Leeuwen, eds.), Elsevier, 2013, pp. 611-614. [PDF]

233.                      D. Harel, A. Kantor, G. Katz, A. Marron, G. Weiss and G. Wiener, "Towards Behavioral Programming in Distributed Architectures", Science of Computer Programming, 2014, to appear.

234.                      G. Alexandron, M. Armoni, M. Gordon and D. Harel, "Scenario-based programming: Reducing the cognitive load, fostering abstract thinking", Proc. 36th Int. Conf. on Software Engineering (ICSE` SEET session), Hyderabad, India, 2014, to appear. [PDF]

235.                      D. Harel, G. Katz, R. Lampert, A. Marron and G. Weiss, "On the Succinctness of Idioms for Concurrent Programming", submitted.

236.                      D. Harel and M. Gordon, "Steps Towards Scenario-Based Programming with a Natural Language Interface", Proc. ETAPS Workshop: From Programs to Systems, in honor of Joseph Sifakis, Lecture Notes in Computer Science, Vol. 8415 (Bensalem, Lakhneck and Legay, eds.), Springer, 2014, pp. 129-144. [PDF]

237.                      B. Sandak, E. Huss, O. Sarid and D. Harel, "Computational Paradigm for Tracking, Analyzing and Documenting Dynamic Processes in the Creative Arts and its Use in Artwork", submitted.

238.                      G. Alexandron, M. Armoni, M. Gordon and D. Harel, "Teaching Scenario-Based Programming: An Additional Paradigm for the High School Computer Science Curriculum", submitted, 2014.

239.                      D. Harel and G. Katz, "Scaling-Up Behavioral Programming: Steps from Basic Principles to Application Architectures", submitted, 2014.

240.                      N. Bloch, G. Weiss, S. Szekely and D. Harel, "An Interactive Tool for Animating Biology, and Its Use in Spatial and Temporal Modeling of a Cancerous Tumor and Its Microenvironment", submitted, 2014.

241.                      R. Tsarfaty, E. Pogrebezky, G. Weiss, Y. Natan, S. Szekely and D. Harel, "Semantic Parsing Using Content and Context: A Case Study from Requirements Elicitation", Proc. Int. Conf. on Empirical Methods in Natural Language Processing (EMNLP), to appear, 2014.

242.                      G. Alexandron, M. Armoni, M. Gordon and D. Harel, "Teaching Nondeterminism Through Programming", submitted, 2014.

Back to top

Non-scientific articles

  1. D. Harel, "Computer Science in Israel" (in Hebrew), in Israel 2000 (M. Aharoni, ed.), Miksam Publishers, 2000, pp. 75-77.
  2. D. Harel, "Why is it easier to beat Kasparov than to beat Turing?" (in Hebrew), in Z. Yannai, ed., The Infinite Search: Conversations with Scientists, Am Oved Publishers , Tel Aviv, 2000, pp. 48-56.
  3. D. Harel, "Excellence or Professionalism?" (in Hebrew), delivered at the graduation ceremony of the Open University of Israel, May 2006, and of the Faculty of Exact Sciences at Tel-Aviv University, June 2006.  [PDF] (This is the Tel-Aviv Univ. version, which is slightly expanded from the Open Univ. one.) Also delivered at the announcement ceremony of the Wolf Prize winners, Jan. 2013; see here.
  4. D. Harel, "Amir Pnueli, A Gentle Giant: Lord of the φ's and the ψ's ", Formal Aspects of Computing 22 (2010), 663-665. [PDF]
  5. D. Harel, "Aspiring for Professionalism, not Excellence" (in Hebrew), Globes daily newspaper, Nov. 24-25, 2010. [PDF]
  6. D. Harel, "Why Protest, When All is Fine?" (in Hebrew), Ma'ariv internet version (nrg), Aug. 9, 2011. [PDF]
  7. D. Harel, "You Missed Out on Greatness Bibi, Twice" (in Hebrew), Yedi'ot Achronot internet version (Ynet), Aug. 24, 2011. [PDF]
  8. J. Gal-Ezer and D. Harel, "The Profession of the Future is in Danger" (in Hebrew), Ha'aretz, Sep. 16, 2011. [JPG]
  9. D. Harel, "The Candle has been Snuffed" (in Hebrew), Ha'aretz, Oct. 24, 2011. [JPG] (English version [PDF] ).
  10. D. Harel, "Netanyahu's Virtual Reality" (in Hebrew), Yedi'ot Achronot internet version (Ynet), Nov. 27, 2011. [PDF]
  11. D. Harel, "Who will win the next Nobel?" (in Hebrew), Haaretz, Jan. 30, 2012. [PDF]
  12. D. Harel, "Back to the Sources" (in Hebrew), Ma'ariv, Feb. 21, 2012. [JPG]
  13. D. Harel and B. Ovadia, "Breaking the Deadlock" (in Hebrew), Ha'aretz, Aug. 29, 2012. [JPG]
  14. D. Harel and B. Ovadia, "We Have Sinned and Have Been Disloyal: What Now?" (in Hebrew), Soul Searching, Published by the New Israel Fund, September, 2012. [PDF] (English version [PDF]).
  15. D. Harel, "Only Peres can do it" (in Hebrew), Haaretz, Nov. 26, 2012. [JPG]
  16. D. Harel, "Israel Needs Life-Saving Surgery" (in Hebrew), Yedi'ot Achronot internet version (Ynet), Dec. 22, 2012. [PDF]
  17. D. Harel, "Dexter Kozen: A Winning Combination of Brilliance, Depth, and Elegance", Proc. Logic and Program Semantics (R.L. Constable and A. Silva, eds.), Lecture Notes in Computer Science, Vol. 7230, Springer-Verlag, 2012, pp. 326-327. [PDF]
  18. D. Harel, "Run, Bibi, Run!" (in Hebrew), Yedi'ot Achronot internet version (Ynet), Aug. 7, 2013. [PDF] (English version [PDF]).
  19. D. Harel, "Pregnancy Guarding for the Peace Process" (in Hebrew), Walla! web portal, Aug. 20, 2013. [PDF]

Back to top

Patents

  1. D. Drusinsky and D. Harel, "Electronic Controller Based on the Use of Statecharts as an Abstract Model", USA Patent no. 4,799,141, granted January 1989.
  2. D. Harel and R. Marelly, "Playing Scenarios of System Behavior", USA Patent 7,213,23, granted May 2007.
  3. R. Haddad, D. Harel and N. Sobel, "Predicting Odor Pleasantness with an Electronic Nose", international PCT patent WO 2011/010312, granted January 2011.

Back to top