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)

The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations. - Nils Becker; Peter Müller 001; Alexander J. Summers (TACAS (1), 2019)