Lev Nachmanson

	2011
15		Sergey Pupyrev, Lev Nachmanson, Sergey Bereg, Alexander E. Holroyd: Edge Routing with Ordered Bundles. Graph Drawing 2011: 136-147
14		Christian A. Duncan, Carsten Gutwenger, Lev Nachmanson, Georg Sander: Graph Drawing Contest Report. Graph Drawing 2011: 449-455
	2010
13		Sergey Pupyrev, Lev Nachmanson, Michael Kaufmann: Improving Layered Graph Layouts with Edge Bundling. Graph Drawing 2010: 329-340
12		Christian A. Duncan, Carsten Gutwenger, Lev Nachmanson, Georg Sander: Graph Drawing Contest Report. Graph Drawing 2010: 406-411
	2009
11		Tim Dwyer, Lev Nachmanson: Fast Edge-Routing for Large Graphs. Graph Drawing 2009: 147-158
10		Christian A. Duncan, Carsten Gutwenger, Lev Nachmanson, Georg Sander: Graph Drawing Contest Report. Graph Drawing 2009: 428-433
9		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. Bioinformatics 25(19): 2611-2612 (2009)
	2008
8		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: 39-76
7		Christian Pich, Lev Nachmanson, George G. Robertson: Visual analysis of importance and grouping in software dependency graphs. SOFTVIS 2008: 29-32
	2007
6		Lev Nachmanson, George G. Robertson, Bongshin Lee: Drawing Graphs with GLEE. Graph Drawing 2007: 389-394
	2005
5		Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes: Play to Test. FATES 2005: 32-46
4		Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes: Testing Concurrent Object-Oriented Systems with Spec Explorer. FM 2005: 542-547
	2004
3		Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp: Optimal strategies for testing nondeterministic systems. ISSTA 2004: 55-64
	2003
2		Wolfgang Grieskamp, Lev Nachmanson, Nikolai Tillmann, Margus Veanes: Test Case Generation from AsmL Specifications. Abstract State Machines 2003: 413
1		Michael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes: Towards a Tool Environment for Model-Based Testing with AsmL. FATES 2003: 252-266

Coauthor Index

1	Michael Barnett	[1]
2	Sergey Bereg (Sergei Bespamyatnikh)	[15]
3	Andreas Blass	[5]
4	Colin Campbell	[4] [8]
5	Jonathan M. Carlson	[9]
6	Christian A. Duncan	[10] [12] [14]
7	Tim Dwyer	[11]
8	Wolfgang Grieskamp	[1] [2] [3] [4] [8]
9	Yuri Gurevich	[5]
10	Carsten Gutwenger	[10] [12] [14]
11	David Heckerman	[9]
12	Alexander E. Holroyd	[15]
13	Michael Kaufmann	[13]
14	Bongshin Lee	[6] [9]
15	Christian Pich	[7]
16	Sergey Pupyrev	[13] [15]
17	George G. Robertson	[6] [7] [9]
18	Georg Sander	[10] [12] [14]
19	Wolfram Schulte	[1] [3] [4] [8]
20	Nikolai Tillmann	[1] [2] [3] [4] [8]
21	Margus Veanes	[1] [2] [3] [4] [5] [8]

Colors in the list of coauthors

Last update Sun Feb 12 22:50:56 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page