Lev Nachmanson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
22
Venues
7
Active years
2004–2026
Best venue rank
A*
Where they publish
Papers
22 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TACAS | Syntactically Convex Model-Based Projection for Linear Real Arithmetic. | Anna Becchi, Grigory Fedyukovich, Arie Gurfinkel, Lev Nachmanson |
| 2024 | CAV | Arithmetic Solving in Z3. | Nikolaj S. Bjrner, Lev Nachmanson |
| 2016 | GD | Graph Drawing Contest Report. | Philipp Kindermann, Maarten Lffler, Lev Nachmanson, Ignaz Rutter |
| 2016 | GD | Node Overlap Removal by Growing a Tree. | Lev Nachmanson, Arlind Nocaj, Sergey Bereg, Leishi Zhang, Alexander E. Holroyd |
| 2016 | VDA | Spherical Similarity Explorer for Comparative Case Analysis. | Leishi Zhang, Chris Rooney, Lev Nachmanson, B. L. William Wong, Bum Chul Kwon, Florian Stoffel, Michael Hund, Nadeem Qazi, Uchit Singh, Daniel A. Keim |
| 2015 | GD | Graph Drawing Contest Report. | Philipp Kindermann, Maarten Lffler, Lev Nachmanson, Ignaz Rutter |
| 2015 | GD | GraphMaps: Browsing Large Graphs as Interactive Maps. | Lev Nachmanson, Roman Prutkin, Bongshin Lee, Nathalie Henry Riche, Alexander E. Holroyd, Xiaoji Chen |
| 2014 | CAV | Monadic Decomposition. | Margus Veanes, Nikolaj S. Bjrner, Lev Nachmanson, Sergey Bereg |
| 2014 | GD | Graph Drawing Contest Report. | Carsten Gutwenger, Maarten Lffler, Lev Nachmanson, Ignaz Rutter |
| 2013 | GD | Drawing Permutations with Few Corners. | Sergey Bereg, Alexander E. Holroyd, Lev Nachmanson, Sergey Pupyrev |
| 2013 | GD | Graph Drawing Contest Report. | Christian A. Duncan, Carsten Gutwenger, Lev Nachmanson, Georg Sander |
| 2013 | LPAR | Effectively Monadic Predicates. | Margus Veanes, Nikolaj S. Bjrner, Lev Nachmanson, Sergey Bereg |
| 2012 | GD | Graph Drawing Contest Report. | Christian A. Duncan, Carsten Gutwenger, Lev Nachmanson, Georg Sander |
| 2011 | GD | Graph Drawing Contest Report. | Christian A. Duncan, Carsten Gutwenger, Lev Nachmanson, Georg Sander |
| 2011 | GD | Edge Routing with Ordered Bundles. | Sergey Pupyrev, Lev Nachmanson, Sergey Bereg, Alexander E. Holroyd |
| 2010 | GD | Graph Drawing Contest Report. | Christian A. Duncan, Carsten Gutwenger, Lev Nachmanson, Georg Sander |
| 2010 | GD | Improving Layered Graph Layouts with Edge Bundling. | Sergey Pupyrev, Lev Nachmanson, Michael Kaufmann |
| 2009 | GD | Graph Drawing Contest Report. | Christian A. Duncan, Carsten Gutwenger, Lev Nachmanson, Georg Sander |
| 2009 | GD | Fast Edge-Routing for Large Graphs. | Tim Dwyer, Lev Nachmanson |
| 2007 | GD | Drawing Graphs with GLEE. | Lev Nachmanson, George G. Robertson, Bongshin Lee |
| 2005 | FM | Testing Concurrent Object-Oriented Systems with Spec Explorer. | Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes |
| 2004 | ISSTA | Optimal strategies for testing nondeterministic systems. | Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp |