On the Low-Dimensional Steiner Minimum Tree Problem in Hamming Metric. - Ernst Althaus; Joschka Kupilas; Rouven Naujoks (TAMC, 2011)

Improving Interpolants for Linear Arithmetic. - Ernst Althaus; Björn Beber; Joschka Kupilas; Christoph Scholl 001 (ATVA, 2015)