GraphMaps: Browsing Large Graphs as Interactive Maps von Nachmanson, Lev, Prutkin, Roman, Lee, Bongshin, Riche, Nathalie Henry, Holroyd, Alexander E., Chen, Xiaoji

Volltext

Monadic Decomposition von Veanes, Margus, Bjørner, Nikolaj, Nachmanson, Lev, Bereg, Sergey

Volltext

Edge routing with ordered bundles von Pupyrev, Sergey, Nachmanson, Lev, Bereg, Sergey, Holroyd, Alexander E.

Volltext

Navigating the Universe of Z3 Theory Solvers von Bjørner, Nikolaj, Nachmanson, Lev

Volltext

Node Overlap Removal by Growing a Tree von Nachmanson, Lev, Nocaj, Arlind, Bereg, Sergey, Zhang, Leishi, Holroyd, Alexander

Volltext

Programming Z3 von Bjørner, Nikolaj, de Moura, Leonardo, Nachmanson, Lev, Wintersteiger, Christoph M.

Volltext

Representing Permutations with Few Moves von Bereg, Sergey, Holroyd, Alexander E., Nachmanson, Lev, Pupyrev, Sergey

Volltext

Improving Layered Graph Layouts with Edge Bundling von Pupyrev, Sergey, Nachmanson, Lev, Kaufmann, Michael

Volltext

Graph Drawing Contest Report von Gutwenger, Carsten, Löffler, Maarten, Nachmanson, Lev, Rutter, Ignaz

Volltext

Monadic Decomposition von Veanes, Margus, Bjørner, Nikolaj, Nachmanson, Lev, Bereg, Sergey

Volltext

Play to Test von Blass, Andreas, Gurevich, Yuri, Nachmanson, Lev, Veanes, Margus

Volltext

PhyloDet: a scalable visualization tool for mapping multiple traits to large evolutionary trees von Lee, Bongshin, Nachmanson, Lev, Robertson, George, Carlson, Jonathan M., Heckerman, David

Volltext

Node Overlap Removal by Growing a Tree von Nachmanson, Lev, Nocaj, Arlind, Bereg, Sergey, Zhang, Leishi, Holroyd, Alexander

Volltext

Edge Routing with Ordered Bundles von Pupyrev, Sergey, Nachmanson, Lev, Bereg, Sergey, Holroyd, Alexander E.

Volltext

Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer von Veanes, Margus, Campbell, Colin, Grieskamp, Wolfgang, Schulte, Wolfram, Tillmann, Nikolai, Nachmanson, Lev

Volltext

Fast Edge-Routing for Large Graphs von Dwyer, Tim, Nachmanson, Lev

Volltext

A New Approach to GraphMaps, a System Browsing Large Graphs as Interactive Maps von Mondal, Debajyoti, Nachmanson, Lev

Volltext bestellen

Graph Drawing Contest Report von Kindermann, Philipp, Löffler, Maarten, Nachmanson, Lev, Rutter, Ignaz

Volltext

Graph Drawing Contest Report von Kindermann, Philipp, Löffler, Maarten, Nachmanson, Lev, Rutter, Ignaz

Volltext

Drawing Permutations with Few Corners von Bereg, Sergey, Holroyd, Alexander E., Nachmanson, Lev, Pupyrev, Sergey

Volltext