Nissan Levi
Orcid: 0000-0001-8884-0597
According to our database1,
Nissan Levi
authored at least 4 papers
between 2006 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
2018
2020
0
1
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Proceedings of the Logic, Language, Information, and Computation, 2021
2018
Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018
2017
Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, 2017
2006
Proceedings of the Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, 2006