Publication type: Conference / Author: Althaus, Ernst and Kupilas, Joschka / Organizational unit: FB 08 Physik, Mathematik und Informatik - Universitätsbibliographie Search Results

Start Over Publication type Conference Author Althaus, Ernst Author Kupilas, Joschka Organizational unit FB 08 Physik, Mathematik und Informatik

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

Autoren:: Althaus, Ernst; Kupilas, Joschka; Naujoks, Rouven
Editoren:: Ogihara, Mitsunori; Tarui, Jun
Veröffentlichungsdatum:: 2011
Type:: Conference

2. A Column Generation Approach to Scheduling of Real-Time Networks - Best Paper Award of International Conference on Computer Science and Applications 2012

Autoren:: Althaus, Ernst; Hoffmann, Sebastian; Kupilas, Joschka; Thaden, Eike
Editoren:: Ao, SI; Douglas, Craig; Grundfest, WS; Burgstone, Jon
Veröffentlichungsdatum:: 2012
Type:: Conference

3. Improving Interpolants for Linear Arithmetic.

Autoren:: Althaus, Ernst; Beber, Björn; Kupilas, Joschka; Scholl, Christoph
Editoren:: Finkbeiner, Bernd; Pu, Geguang; Zhang, Lijun
Veröffentlichungsdatum:: 2015
Type:: Conference