Publikationsart: Konferenzbeitrag / Autor: Althaus, Ernst and Kupilas, Joschka - Universitätsbibliographie Suchergebnisse

Neu anfangen Publikationsart Konferenzbeitrag Autor Althaus, Ernst Autor Kupilas, Joschka

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
Typ:: Konferenzbeitrag

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
Typ:: Konferenzbeitrag

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
Typ:: Konferenzbeitrag