| Statecharts: A visual formalism for complex systems D Harel Science of computer programming 8 (3), 231-274, 1987 | 10436 | 1987 |
| On visual formalisms D Harel Communications of the ACM 31 (5), 514-530, 1988 | 1905 | 1988 |
| Statemate: A working environment for the development of complex reactive systems D Harel, H Lachover, A Naamad, A Pnueli, M Politi, R Sherman, ... IEEE Transactions on software engineering 16 (4), 403-414, 1990 | 1874 | 1990 |
| Dynamic logic D Harel, D Kozen, J Tiuryn Handbook of philosophical logic, 99-217, 2001 | 1787 | 2001 |
| The STATEMATE semantics of statecharts D Harel, A Naamad ACM Transactions on Software Engineering and Methodology (TOSEM) 5 (4), 293-333, 1996 | 1690 | 1996 |
| On the development of reactive systems D Harel, A Pnueli Logics and models of concurrent systems, 477-498, 1985 | 1363 | 1985 |
| Fast algorithms for finding nearest common ancestors D Harel, RE Tarjan siam Journal on Computing 13 (2), 338-355, 1984 | 1332 | 1984 |
| Dynamic logic D Harel Handbook of philosophical logic, 497-604, 1984 | 1296 | 1984 |
| LSCs: Breathing life into message sequence charts W Damm, D Harel Formal methods in system design 19 (1), 45-80, 2001 | 1199 | 2001 |
| Executable object modeling with statecharts D Harel, E Gery Proceedings of IEEE 18th International Conference on Software Engineering …, 1996 | 1036 | 1996 |
| Modeling reactive systems with statecharts: the STATEMATE approach D Harel, M Politi McGraw-Hill, Inc., 1998 | 936 | 1998 |
| First-order dynamic logic D Harel Springer, 1979 | 901 | 1979 |
| The star graph: an attractive alternative to the n-cube SB Akers, D Harel, B Krishnamurthy Interconnection networks for high-performance parallel computers, 145-152, 1994 | 870 | 1994 |
| On the formal semantics of statecharts D Harel IEEE Symposium on Logic in Computer Science, 1987, 54-64, 1987 | 788 | 1987 |
| Drawing graphs nicely using simulated annealing R Davidson, D Harel ACM Transactions on Graphics (TOG) 15 (4), 301-331, 1996 | 760 | 1996 |
| Come, let’s play: scenario-based programming using LSCs and the play-engine D Harel, R Marelly Springer Science & Business Media, 2003 | 752 | 2003 |
| Design of embedded systems: Formal models, validation, and synthesis S Edwards, L Lavagno, EA Lee, A Sangiovanni-Vincentelli Proceedings of the IEEE 85 (3), 366-390, 1997 | 745 | 1997 |
| Algorithmics: the spirit of computing D Harel, YA Feldman Pearson Education, 2004 | 720 | 2004 |
| Structure and complexity of relational queries A Chandra, D Harel Journal of Computer and system Sciences 25 (1), 99-128, 1982 | 710 | 1982 |
| Meaningful modeling: what's the semantics of" semantics"? D Harel, B Rumpe Computer 37 (10), 64-72, 2004 | 704 | 2004 |
