Statecharts: A visual formalism for complex systems D Harel Science of computer programming 8 (3), 231-274, 1987 | 11498 | 1987 |
Dynamic logic D Harel, D Kozen, J Tiuryn ACM SIGACT News 32 (1), 66-69, 2001 | 3212 | 2001 |
On visual formalisms D Harel Communications of the ACM 31 (5), 514-530, 1988 | 2083 | 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 | 1980 | 1990 |
The STATEMATE semantics of statecharts D Harel, A Naamad ACM Transactions on Software Engineering and Methodology (TOSEM) 5 (4), 293-333, 1996 | 1837 | 1996 |
On the development of reactive systems D Harel, A Pnueli Logics and models of concurrent systems, 477-498, 1984 | 1571 | 1984 |
LSCs: Breathing life into message sequence charts W Damm, D Harel Formal methods in system design 19, 45-80, 2001 | 1308 | 2001 |
Executable object modeling with statecharts D Harel, E Gery Proceedings of IEEE 18th International Conference on Software Engineering …, 1996 | 1113 | 1996 |
First-order dynamic logic D Harel Springer Berlin Heidelberg, 1979 | 1060 | 1979 |
Modeling reactive systems with statecharts: the STATEMATE approach D Harel, M Politi McGraw-Hill, Inc., 1998 | 1009 | 1998 |
Algorithmics: The spirit of computing D Harel, YA Feldman Pearson Education, 2004 | 862 | 2004 |
Drawing graphs nicely using simulated annealing R Davidson, D Harel ACM Transactions on Graphics (TOG) 15 (4), 301-331, 1996 | 862 | 1996 |
Meaningful modeling: What's the semantics of" semantics"? D Harel, B Rumpe Computer 37 (10), 64-72, 2004 | 855 | 2004 |
On the Formal Semantics of Statecharts. D Harel, A Pnueli, JP Schmidt, R Sherman Unknown Host Publication Title, 54-64, 1987 | 853 | 1987 |
Come, let's play: scenario-based programming using LSCs and the play-engine D Harel, R Marelly Springer, 2003 | 832 | 2003 |
Structure and complexity of relational queries A Chandra, D Harel Journal of Computer and system Sciences 25 (1), 99-128, 1982 | 765 | 1982 |
Computable queries for relational data bases (preliminary report) AK Chandra, D Harel Proceedings of the eleventh annual ACM symposium on Theory of computing, 309-318, 1979 | 658 | 1979 |
A fast multi-scale method for drawing large graphs D Harel, Y Koren Proceedings of the working conference on Advanced visual interfaces, 282-285, 2000 | 559* | 2000 |
Horn clause queries and generalizations AK Chandra, D Harel The Journal of Logic Programming 2 (1), 1-15, 1985 | 443 | 1985 |
Modeling languages: Syntax, semantics and all that stu D Harel, B Rumpe N/A n/a, 1-28, 2000 | 366 | 2000 |