Lev Nachmanson

40 papers A* 1A 16B 1Misc 1Journal 10Unranked 11

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