Network Flow and Generalized Path Compression - Zvi Galil; Amnon Naamad (STOC, 1979)

An O(EVlog²V) Algorithm for the Maximal Flow Problem. - Zvi Galil; Amnon Naamad (J. Comput. Syst. Sci., 1980)

Dynamic Voronoi diagrams. - I. G. Gowda; David G. Kirkpatrick; D. T. Lee; Amnon Naamad (IEEE Trans. Inf. Theory, 1983)

On the maximum empty rectangle problem. - Amnon Naamad; D. T. Lee; Wen-Lian Hsu (Discret. Appl. Math., 1984)

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 (ICSE, 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; Mark B. Trakhtenbrot (IEEE Trans. Software Eng., 1990)

The STATEMATE Semantics of Statecharts. - David Harel; Amnon Naamad (ACM Trans. Softw. Eng. Methodol., 1996)

New challenges in performance engineering. - Amnon Naamad (ICPE, 2012)