Joschka Kupilas

According to our database, Joschka Kupilas authored at least 2 papers between 2011 and 2015.

Collaborative distances:

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

2015

Improving Interpolants for Linear Arithmetic.

Ernst Althaus, Björn Beber, Joschka Kupilas, Christoph Scholl

Proceedings of the Automated Technology for Verification and Analysis, 2015

2011

On the Low-Dimensional Steiner Minimum Tree Problem in Hamming Metric.

Ernst Althaus, Joschka Kupilas, Rouven Naujoks

Proceedings of the Theory and Applications of Models of Computation, 2011