| |
| 2008 | ||
|---|---|---|
| 3 | EE | Ziv Nevo: User-Friendly Model Checking: Automatically Configuring Algorithms with RuleBase/PE. Haifa Verification Conference 2008: 210-214 |
| 2006 | ||
| 2 | EE | Ziv Nevo, Monica Farkash: Distributed dynamic BDD reordering. DAC 2006: 223-228 |
| 2002 | ||
| 1 | EE | Ziv Nevo, Ran El-Yaniv: On Online Learning of Decision Lists. Journal of Machine Learning Research 3: 271-301 (2002) |
| 1 | Ran El-Yaniv | [1] |
| 2 | Monica Farkash | [2] |