| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 4 |      | Flavio M. de Paula, Amir Nahir, Ziv Nevo, Avigail Orni, Alan J. Hu: TAB-BackSpace: unlimited-length trace buffers with zero additional on-chip overhead. DAC 2011: 411-416 |
| 2008 | ||
| 3 | | Ziv Nevo: User-Friendly Model Checking: Automatically Configuring Algorithms with RuleBase/PE. Haifa Verification Conference 2008: 210-214 |
| 2006 | ||
| 2 | | Ziv Nevo, Monica Farkash: Distributed dynamic BDD reordering. DAC 2006: 223-228 |
| 2002 | ||
| 1 | | 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] |
| 3 | Alan J. Hu | [4] |
| 4 | Amir Nahir | [4] |
| 5 | Avigail Orni | [4] |
| 6 | Flavio M. de Paula | [4] |
Colors in the list of coauthors
Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page