Lev Nachmanson

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 13

Top Topics

Information Visualization

Top Venues

VISIGRAPP (3: IVAPP)

Publications

Nikolaj S. Bjørner, Lev Nachmanson
Arithmetic Solving in Z3. CAV (1) (2024)
Nikolaj Bjørner, Lev Nachmanson
Navigating the Universe of Z3 Theory Solvers. SBMF (2020)
Debajyoti Mondal, Lev Nachmanson
A New Approach to GraphMaps, a System Browsing Large Graphs as Interactive Maps. VISIGRAPP (3: IVAPP) (2018)
Nikolaj Bjørner, Leonardo de Moura, Lev Nachmanson, Christoph M. Wintersteiger
Programming Z3. SETSS (2018)
Debajyoti Mondal, Lev Nachmanson
A New Approach to GraphMaps, a System Browsing Large Graphs as Interactive Maps. CoRR (2017)
Lev Nachmanson, Arlind Nocaj, Sergey Bereg, Leishi Zhang, Alexander E. Holroyd
Node Overlap Removal by Growing a Tree. J. Graph Algorithms Appl. 21 (5) (2017)
Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
Monadic Decomposition. J. ACM 64 (2) (2017)
Leishi Zhang, Chris Rooney, Lev Nachmanson, B. L. William Wong, Bum Chul Kwon, Florian Stoffel, Michael Hund, Nadeem Qazi, Uchit Singh, Daniel A. Keim
Spherical Similarity Explorer for Comparative Case Analysis. Visualization and Data Analysis (2016)
Lev Nachmanson, Arlind Nocaj, Sergey Bereg, Leishi Zhang, Alexander E. Holroyd
Node Overlap Removal by Growing a Tree. CoRR (2016)
Philipp Kindermann, Maarten Löffler, Lev Nachmanson, Ignaz Rutter
Graph Drawing Contest Report. Graph Drawing (2016)
Sergey Pupyrev, Lev Nachmanson, Sergey Bereg, Alexander E. Holroyd
Edge routing with ordered bundles. Comput. Geom. 52 (2016)
Lev Nachmanson, Arlind Nocaj, Sergey Bereg, Leishi Zhang, Alexander E. Holroyd
Node Overlap Removal by Growing a Tree. Graph Drawing (2016)
Sergey Bereg, Alexander E. Holroyd, Lev Nachmanson, Sergey Pupyrev
Representing Permutations with Few Moves. SIAM J. Discret. Math. 30 (4) (2016)
Philipp Kindermann, Maarten Löffler, Lev Nachmanson, Ignaz Rutter
Graph Drawing Contest Report. Graph Drawing (2015)
Lev Nachmanson, Roman Prutkin, Bongshin Lee, Nathalie Henry Riche, Alexander E. Holroyd, Xiaoji Chen
GraphMaps: Browsing Large Graphs as Interactive Maps. Graph Drawing (2015)
Lev Nachmanson, Roman Prutkin, Bongshin Lee, Nathalie Henry Riche, Alexander E. Holroyd, Xiaoji Chen
GraphMaps: Browsing Large Graphs as Interactive Maps. CoRR (2015)
Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
Monadic Decomposition. CAV (2014)
Carsten Gutwenger, Maarten Löffler, Lev Nachmanson, Ignaz Rutter
Graph Drawing Contest Report. Graph Drawing (2014)
Christian A. Duncan, Carsten Gutwenger, Lev Nachmanson, Georg Sander
Graph Drawing Contest Report. Graph Drawing (2013)
Sergey Bereg, Alexander E. Holroyd, Lev Nachmanson, Sergey Pupyrev
Drawing Permutations with Few Corners. CoRR (2013)
Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
Effectively Monadic Predicates. LPAR (short papers) (2013)
Sergey Bereg, Alexander E. Holroyd, Lev Nachmanson, Sergey Pupyrev
Drawing Permutations with Few Corners. Graph Drawing (2013)
Christian A. Duncan, Carsten Gutwenger, Lev Nachmanson, Georg Sander
Graph Drawing Contest Report. Graph Drawing (2012)
Sergey Bereg, Alexander E. Holroyd, Lev Nachmanson, Sergey Pupyrev
Edge Routing with Ordered Bundles CoRR (2012)
Christian A. Duncan, Carsten Gutwenger, Lev Nachmanson, Georg Sander
Graph Drawing Contest Report. Graph Drawing (2011)
Sergey Pupyrev, Lev Nachmanson, Sergey Bereg, Alexander E. Holroyd
Edge Routing with Ordered Bundles. Graph Drawing (2011)
Christian A. Duncan, Carsten Gutwenger, Lev Nachmanson, Georg Sander
Graph Drawing Contest Report. Graph Drawing (2010)
Sergey Pupyrev, Lev Nachmanson, Michael Kaufmann
Improving Layered Graph Layouts with Edge Bundling. Graph Drawing (2010)
Christian A. Duncan, Carsten Gutwenger, Lev Nachmanson, Georg Sander
Graph Drawing Contest Report. Graph Drawing (2009)
Bongshin Lee, Lev Nachmanson, George G. Robertson, Jonathan M. Carlson, David Heckerman
PhyloDet: a scalable visualization tool for mapping multiple traits to large evolutionary trees. Bioinform. 25 (19) (2009)
Tim Dwyer, Lev Nachmanson
Fast Edge-Routing for Large Graphs. Graph Drawing (2009)
Christian Pich, Lev Nachmanson, George G. Robertson
Visual analysis of importance and grouping in software dependency graphs. SOFTVIS (2008)
Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer. Formal Methods and Testing (2008)
Lev Nachmanson, George G. Robertson, Bongshin Lee
Drawing Graphs with GLEE. Graph Drawing (2007)
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
Testing Concurrent Object-Oriented Systems with Spec Explorer. FM (2005)
Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes
Play to Test. FATES (2005)
Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp
Optimal strategies for testing nondeterministic systems. ISSTA (2004)
Wolfgang Grieskamp, Lev Nachmanson, Nikolai Tillmann, Margus Veanes
Test Case Generation from AsmL Specifications. Abstract State Machines (2003)
Michael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
Towards a Tool Environment for Model-Based Testing with AsmL. FATES (2003)