| 1996 |
|---|
| 6 | EE | David Harel,
Amnon Naamad:
The STATEMATE Semantics of Statecharts.
ACM Trans. Softw. Eng. Methodol. 5(4): 293-333 (1996) |
| 1990 |
|---|
| 5 | EE | 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 |
|---|
| 4 | | 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 |
|---|
| 3 | | 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 |
|---|
| 2 | | Zvi Galil,
Amnon Naamad:
An O(EVlog²V) Algorithm for the Maximal Flow Problem.
J. Comput. Syst. Sci. 21(2): 203-217 (1980) |
| 1979 |
|---|
| 1 | | Zvi Galil,
Amnon Naamad:
Network Flow and Generalized Path Compression
STOC 1979: 13-26 |
