Nils Becker

According to our database, Nils Becker authored at least 2 papers between 2010 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations.

Nils Becker, Peter Müller, Alexander J. Summers

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2010

SLOPE: a quick and accurate method for locating non-SNP structural variation from targeted next-generation sequence data.

Haley J. Abel, Eric J. Duncavage, Nils Becker, Jon R. Armstrong, Vincent J. Magrini, John D. Pfeifer

Bioinform., 2010