- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c3 |      | |
| 1996 | ||
| j4 | | David Harel, Amnon Naamad: The STATEMATE Semantics of Statecharts. ACM Trans. Softw. Eng. Methodol. 5(4): 293-333 (1996) |
| 1990 | ||
| j3 | | 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 | ||
| c2 | | 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 |
| 1983 | ||
| j2 | | I. G. Gowda, David G. Kirkpatrick, D. T. Lee, Amnon Naamad: Dynamic Voronoi diagrams. IEEE Transactions on Information Theory 29(5): 724-730 (1983) |
| 1980 | ||
| j1 | | Zvi Galil, Amnon Naamad: An O(EVlog²V) Algorithm for the Maximal Flow Problem. J. Comput. Syst. Sci. 21(2): 203-217 (1980) |
| 1979 | ||
| c1 | | |
| 1 | Zvi Galil | |
| 2 | I. G. Gowda | |
| 3 | David Harel | |
| 4 | David G. Kirkpatrick | |
| 5 | Hagi Lachover | |
| 6 | D. T. Lee (Der-Tsai Lee) | |
| 7 | Amir Pnueli | |
| 8 | Michal Politi | |
| 9 | Rivi Sherman | |
| 10 | Aharon Shtull-Trauring | |
| 11 | Mark B. Trakhtenbrot |
Colors in the list of coauthors
Last update Wed May 22 03:39:01 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page