Amnon Naamad
Loading Google Thumbnails...
from Google Images |
- Sorted by Year/Conf, Year/Citation, Citation
| 1996 | ||
|---|---|---|
| 4 | The STATEMATE Semantics of Statecharts. David Harel, Amnon Naamad. ACM Trans. Softw. Eng. Methodol. (5): 293-333 (1996). Web SearchBibTeXDownload | |
| 1990 | ||
| 3 | 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. (16): 403-414 (1990). Web SearchBibTeXDownload | |
| 1988 | ||
| 2 | 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, 396-406. Web SearchBibTeX | |
| 1983 | ||
| 1 | Dynamic Voronoi diagrams. I. G. Gowda, David G. Kirkpatrick, D. T. Lee, Amnon Naamad. IEEE Transactions on Information Theory (29): 724-730 (1983). Web SearchBibTeXDownload | |
from DBLP and Google Scholar