Lev Nachmanson

According to our database, Lev Nachmanson authored at least 26 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of two.

2024

Arithmetic Solving in Z3.

Nikolaj S. Bjørner, Lev Nachmanson

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2020

Navigating the Universe of Z3 Theory Solvers.

Nikolaj S. Bjørner, Lev Nachmanson

Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020

2018

Programming Z3.

Nikolaj S. Bjørner, Leonardo de Moura, Lev Nachmanson, Christoph M. Wintersteiger

Proceedings of the Engineering Trustworthy Software Systems - 4th International School, 2018

A New Approach to GraphMaps, a System Browsing Large Graphs as Interactive Maps.

Debajyoti Mondal, Lev Nachmanson

Proceedings of the 13th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISIGRAPP 2018), 2018

2017

Node Overlap Removal by Growing a Tree.

Lev Nachmanson, Arlind Nocaj, Sergey Bereg, Leishi Zhang, Alexander E. Holroyd

J. Graph Algorithms Appl., 2017

Monadic Decomposition.

Margus Veanes, Nikolaj S. Bjørner, Lev Nachmanson, Sergey Bereg

J. ACM, 2017

2016

Representing Permutations with Few Moves.

Sergey Bereg, Alexander E. Holroyd, Lev Nachmanson, Sergey Pupyrev

SIAM J. Discret. Math., 2016

Edge routing with ordered bundles.

Sergey Pupyrev, Lev Nachmanson, Sergey Bereg, Alexander E. Holroyd

Comput. Geom., 2016

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

Proceedings of the Visualization and Data Analysis 2016, 2016

Graph Drawing Contest Report.

Philipp Kindermann, Maarten Löffler, Lev Nachmanson, Ignaz Rutter

Proceedings of the Graph Drawing and Network Visualization - 24th International Symposium, 2016

2015

GraphMaps: Browsing Large Graphs as Interactive Maps.

Lev Nachmanson, Roman Prutkin, Bongshin Lee, Nathalie Henry Riche, Alexander E. Holroyd, Xiaoji Chen

Proceedings of the Graph Drawing and Network Visualization - 23rd International Symposium, 2015

2014

Graph Drawing Contest Report.

Carsten Gutwenger, Maarten Löffler, Lev Nachmanson, Ignaz Rutter

Proceedings of the Graph Drawing - 22nd International Symposium, 2014

2013

Effectively Monadic Predicates.

Margus Veanes, Nikolaj S. Bjørner, Lev Nachmanson, Sergey Bereg

Proceedings of the LPAR 2013, 2013

Drawing Permutations with Few Corners.

Sergey Bereg, Alexander E. Holroyd, Lev Nachmanson, Sergey Pupyrev

Proceedings of the Graph Drawing - 21st International Symposium, 2013

2010

Improving Layered Graph Layouts with Edge Bundling.

Sergey Pupyrev, Lev Nachmanson, Michael Kaufmann

Proceedings of the Graph Drawing - 18th International Symposium, 2010

Graph Drawing Contest Report.

Christian A. Duncan, Carsten Gutwenger, Lev Nachmanson, Georg Sander

Proceedings of the Graph Drawing - 18th International Symposium, 2010

2009

PhyloDet: a scalable visualization tool for mapping multiple traits to large evolutionary trees.

Bongshin Lee, Lev Nachmanson, George G. Robertson, Jonathan M. Carlson, David Heckerman

Bioinform., 2009

Fast Edge-Routing for Large Graphs.

Tim Dwyer, Lev Nachmanson

Proceedings of the Graph Drawing, 17th International Symposium, 2009

2008

Visual analysis of importance and grouping in software dependency graphs.

Christian Pich, Lev Nachmanson, George G. Robertson

Proceedings of the ACM 2008 Symposium on Software Visualization, 2008

Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer.

Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson

Proceedings of the Formal Methods and Testing, 2008

2007

Drawing Graphs with GLEE.

Lev Nachmanson, George G. Robertson, Bongshin Lee

Proceedings of the Graph Drawing, 15th International Symposium, 2007

2005

Testing Concurrent Object-Oriented Systems with Spec Explorer.

Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes

Proceedings of the FM 2005: Formal Methods, 2005

Play to Test.

Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes

Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005

2004

Optimal strategies for testing nondeterministic systems.

Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

2003

Towards a Tool Environment for Model-Based Testing with AsmL.

Michael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes

Proceedings of the Formal Approaches to Software Testing, 2003

Test Case Generation from AsmL Specifications.

Wolfgang Grieskamp, Lev Nachmanson, Nikolai Tillmann, Margus Veanes

Proceedings of the Abstract State Machines, 2003