Lev Nachmanson
About
Lev Nachmanson has authored 9 papers that have received a total of 35 indexed citations.
This includes 4 papers in Artificial Intelligence, 4 papers in Computer Vision and Pattern Recognition and 3 papers in Computational Theory and Mathematics. The topics of these papers are Data Visualization and Analytics (4 papers), Formal Methods in Verification (3 papers) and Logic, programming, and type systems (2 papers). Lev Nachmanson is often cited by papers focused on Data Visualization and Analytics (4 papers), Formal Methods in Verification (3 papers) and Logic, programming, and type systems (2 papers) and collaborates with scholars based in United States, United Kingdom and Germany. Lev Nachmanson's co-authors include Nikolaj Bjørner, Alexander E. Holroyd, Sergey Pupyrev, Sergey Bereg and Margus Veanes and has published in prestigious journals such as Bioinformatics, Journal of the ACM and SIAM Journal on Discrete Mathematics
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Harshit Srivastava are about Top fields papers by Anna Bartholomew are about Top authors papers by S. Kailas are co-authored with Top authors papers by Winfried Gebhardt are co-authored with Top fields papers by R. L. Sacramento are about Top fields papers by R. R. Akhmerov are about Top countries impacted by papers by G. Zito Top journals papers by Stuart Chase are published in