Lev Nachmanson

According to our database1, Lev Nachmanson authored at least 24 papers between 2003 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

A New Approach to GraphMaps, a System Browsing Large Graphs as Interactive Maps.
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.
J. Graph Algorithms Appl., 2017

Monadic Decomposition.
J. ACM, 2017

2016
Representing Permutations with Few Moves.
SIAM J. Discret. Math., 2016

Edge routing with ordered bundles.
Comput. Geom., 2016

Spherical Similarity Explorer for Comparative Case Analysis.
Proceedings of the Visualization and Data Analysis 2016, 2016

2015
GraphMaps: Browsing Large Graphs as Interactive Maps.
Proceedings of the Graph Drawing and Network Visualization - 23rd International Symposium, 2015

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

2014
Graph Drawing Contest Report.
Proceedings of the Graph Drawing - 22nd International Symposium, GD 2014, Würzburg, 2014

2013
Effectively Monadic Predicates.
Proceedings of the LPAR 2013, 2013

Drawing Permutations with Few Corners.
Proceedings of the Graph Drawing - 21st International Symposium, 2013

2012
Graph Drawing Contest Report.
Proceedings of the Graph Drawing - 20th International Symposium, 2012

2010
Improving Layered Graph Layouts with Edge Bundling.
Proceedings of the Graph Drawing - 18th International Symposium, GD 2010, Konstanz, 2010

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

Fast Edge-Routing for Large Graphs.
Proceedings of the Graph Drawing, 17th International Symposium, 2009

2008
Visual analysis of importance and grouping in software dependency graphs.
Proceedings of the ACM 2008 Symposium on Software Visualization, 2008

Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer.
Proceedings of the Formal Methods and Testing, 2008

2007
Drawing Graphs with GLEE.
Proceedings of the Graph Drawing, 15th International Symposium, 2007

2005
Testing Concurrent Object-Oriented Systems with Spec Explorer.
Proceedings of the FM 2005: Formal Methods, 2005

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

2004
Optimal strategies for testing nondeterministic systems.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

2003
Towards a Tool Environment for Model-Based Testing with AsmL.
Proceedings of the Formal Approaches to Software Testing, 2003

Test Case Generation from AsmL Specifications.
Proceedings of the Abstract State Machines, 2003


  Loading...