Amnon Naamad

According to our database, Amnon Naamad authored at least 8 papers between 1979 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2012

New challenges in performance engineering.

Amnon Naamad

Proceedings of the Third Joint WOSP/SIPEW International Conference on Performance Engineering, 2012

1996

The STATEMATE Semantics of Statecharts.

David Harel, Amnon Naamad

ACM Trans. Softw. Eng. Methodol., 1996

1990

STATEMATE: A Working Environment for the Development of Complex Reactive Systems.

David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, Mark B. Trakhtenbrot

IEEE Trans. Software Eng., 1990

1988

STATEMATE; A Working Environment for the Development of Complex Reactive Systems.

David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring

Proceedings of the Proceedings, 1988

1984

On the maximum empty rectangle problem.

Amnon Naamad, D. T. Lee, Wen-Lian Hsu

Discret. Appl. Math., 1984

1983

Dynamic Voronoi diagrams.

I. G. Gowda, David G. Kirkpatrick, D. T. Lee, Amnon Naamad

IEEE Trans. Inf. Theory, 1983

1980

An O(EVlog²V) Algorithm for the Maximal Flow Problem.

Zvi Galil, Amnon Naamad

J. Comput. Syst. Sci., 1980

1979

Network Flow and Generalized Path Compression

Zvi Galil, Amnon Naamad

Proceedings of the 11h Annual ACM Symposium on Theory of Computing, April 30, 1979