Joschka Kupilas

Publication Activity (10 Years)

Years Active: 2011-2015
Publications (10 Years): 0

Top Topics

Embedding Space

Minimum Spanning Tree

Nonlinear Dimensionality Reduction

Top Venues

Theor. Comput. Sci.

Publications

Ernst Althaus, Björn Beber, Joschka Kupilas, Christoph Scholl
Improving Interpolants for Linear Arithmetic. ATVA (2015)
Ernst Althaus, Joschka Kupilas, Rouven Naujoks
On the low-dimensional Steiner minimum tree problem in Hamming metric. Theor. Comput. Sci. 505 (2013)
Ernst Althaus, Joschka Kupilas, Rouven Naujoks
On the Low-Dimensional Steiner Minimum Tree Problem in Hamming Metric. TAMC (2011)