Concepedia

Lev Nachmanson

LN

Statistics

Publications

7

Citations

162

H-Index

7

Active since

2001

Affiliations

Microsoft (United States)(Current)

Microsoft Research (United Kingdom)

The University of Texas at Dallas

Lev Nachmanson is an author at Microsoft (United States) specializing in engineering, combinatorial optimization, and computer science.

Top concepts

Publications per year

2001–2017

7

Publications

7

Optimal strategies for testing nondeterministic systems

Lev Nachmanson, Margus Veanes, Wolfram Schulte et al. · 2004 · 73 citations

, , +19

Optimal strategies for testing nondeterministic systems

Lev Nachmanson, Margus Veanes, Wolfram Schulte et al. · ACM SIGSOFT Software Engineering Notes · 2004 · 19 citations

, , +19

Conformance Checking of Components Against Their Non-deterministic Specifications

Mike Barnett, Lev Nachmanson, Wolfram Schulte · 2001 · 18 citations

Edge routing with ordered bundles

Sergey Pupyrev, Lev Nachmanson, Sergey Bereg et al. · Computational Geometry · 2015 · 18 citations · Full text

, , +7

Model-Based Testing with AsmL .NET

Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson et al. · 2003 · 14 citations

1–5 of 7