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 authors papers by Sweni Shah are co-authored with Top fields papers by Val Dusek are about Top fields papers by Preeti Khurana are about Top countries impacted by papers by Oleg Markin Top authors papers by Tian Liu are co-authored with Top countries impacted by papers by Kelly Olson Top authors papers by Nikita Joji are co-authored with Top journals papers by S. Harrison Thomson are published in