- CSB - MetaPress - Google - Bing - Yahoo
 | 1990 | |
|---|---|---|
| j4 |      | 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) |
| 1988 | ||
| c4 | | 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 |
| 1987 | ||
| c3 |  | David Harel, Amir Pnueli, Jeanette P. Schmidt, Rivi Sherman: On the Formal Semantics of Statecharts (Extended Abstract). LICS 1987: 54-64 |
| 1985 | ||
| j3 | | David Harel, Rivi Sherman: Propositional Dynamic Logic of Flowcharts. Information and Control 64(1-3): 119-135 (1985) |
| 1984 | ||
| j2 | | 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 | ||
| c2 | | |
| 1982 | ||
| j1 | | David Harel, Rivi Sherman: Looping vs. Repeating in Dynamic Logic. Information and Control 55(1-3): 175-192 (1982) |
| c1 | | Rivi Sherman, Amir Pnueli, David Harel: Is the Interesting Part of Process Logic Uninteresting - A Translation from PL to PDL. POPL 1982: 347-360 |
| 1 | David Harel | |
| 2 | Hagi Lachover | |
| 3 | Amnon Naamad | |
| 4 | Amir Pnueli | |
| 5 | Michal Politi | |
| 6 | Jeanette P. Schmidt | |
| 7 | Aharon Shtull-Trauring | |
| 8 | Mark B. Trakhtenbrot |
Data released under the ODC-BY 1.0 license — See also our legal information page