Nils Becker

Publication Activity (10 Years)

Years Active: 2010-2019
Publications (10 Years): 1

Top Topics

Abstract Argumentation

Multi Agent Systems

Top Venues

Publications

Nils Becker, Peter Müller, Alexander J. Summers
The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations. TACAS (1) (2019)
Haley J. Abel, Eric J. Duncavage, Nils Becker, Jon R. Armstrong, Vincent J. Magrini, John D. Pfeifer
SLOPE: a quick and accurate method for locating non-SNP structural variation from targeted next-generation sequence data. Bioinform. 26 (21) (2010)