Ziv Nevo

	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)

Coauthor Index

1	Ran El-Yaniv	[1]
2	Monica Farkash	[2]

Colors in the list of coauthors