Travelled to:1 × Singapore
1 × USA
Collaborated with:Z.Galil D.Harel H.Lachover A.Pnueli M.Politi R.Sherman A.Shtull-Trauring
Talks about:compress (1) reactiv (1) network (1) general (1) environ (1) develop (1) complex (1) system (1) statem (1) work (1)
Person: Amnon Naamad
DBLP: Naamad:Amnon
Contributed to:
1988
1979Wrote 2 papers:
- ICSE-1988-HarelLNPPSS #development
- STATEMATE; A Working Environment for the Development of Complex Reactive Systems (DH, HL, AN, AP, MP, RS, AST), pp. 396–406.
- STOC-1979-GalilN #network
- Network Flow and Generalized Path Compression (ZG, AN), pp. 13–26.