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 journals papers by S. Calzaferri are published in Top authors papers by Kristen Lee are co-authored with Top authors papers by Jane Roberts are co-authored with Top authors papers by Ronald A. Rohrer are co-authored with Top countries impacted by papers by O. Sima Top authors papers by James Walls are co-authored with Top authors papers by Ekaterina Pronizius are co-authored with Top journals papers by Stefano Rodotà are published in