|  | 2001 | 
|---|
| 3 |            | Asaf Adi,
David Botzer,
Opher Etzion,
Tali Yatzkar-Haham:
Monitoring Business Processes through Event Correlation based on Dependency Model.
SIGMOD Conference 2001: 610 | 
| 2 |            | Yael Abarbanel-Vinov,
Neta Aizenbud-Reshef,
Ilan Beer,
Cindy Eisner,
Daniel Geist,
Tamir Heyman,
Iris Reuveni,
Eran Rippel,
Irit Shitsevalov,
Yaron Wolfsthal,
Tali Yatzkar-Haham:
On the Effective Deployment of Functional Formal Verification.
Formal Methods in System Design 19(1): 35-44 (2001) | 
|  | 2000 | 
|---|
| 1 |            | Asaf Adi,
David Botzer,
Opher Etzion,
Tali Yatzkar-Haham:
Push Technology Personalization through Event Correlation.
VLDB 2000: 643-645 |