Amnon Naamad

Publication Activity (10 Years)

Years Active: 1979-2012
Publications (10 Years): 0

Top Topics

Application Scenarios

Technical Challenges

Mechanical Engineering

Top Venues

Publications

Amnon Naamad
New challenges in performance engineering. ICPE (2012)
David Harel, Amnon Naamad
The STATEMATE Semantics of Statecharts. ACM Trans. Softw. Eng. Methodol. 5 (4) (1996)
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) (1990)
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)
Amnon Naamad, D. T. Lee, Wen-Lian Hsu
On the maximum empty rectangle problem. Discret. Appl. Math. 8 (3) (1984)
I. G. Gowda, David G. Kirkpatrick, D. T. Lee, Amnon Naamad
Dynamic Voronoi diagrams. IEEE Trans. Inf. Theory 29 (5) (1983)
Zvi Galil, Amnon Naamad
An O(EVlog²V) Algorithm for the Maximal Flow Problem. J. Comput. Syst. Sci. 21 (2) (1980)
Zvi Galil, Amnon Naamad
Network Flow and Generalized Path Compression STOC (1979)