Author: Althaus, Ernst / Organizational unit: JGU / Data source: DBLP - Universitätsbibliographie Search Results

Start Over Author Althaus, Ernst Organizational unit JGU Data source DBLP

21. TSP-based curve reconstruction in polynomial time.

Autoren:: Althaus, Ernst; Mehlhorn, Kurt
Editoren:: Shmoys, David B
Veröffentlichungsdatum:: 2000
Type:: Conference

22. Approximation Algorithms for the Interval Constrained Coloring Problem

Autoren:: Althaus, Ernst; Canzar, Stefan; Elbassioni, Khaled; Karrenbauer, Andreas; Mestre, Julián
Veröffentlichungsdatum:: 2011
Type:: Journal article

23. Power efficient range assignment in ad-hoc wireless networks.

Autoren:: Althaus, Ernst; Calinescu, Gruia; Mandoiu, Ion I; Prasad, Sushil K; Tchervenski, N; Zelikovsky, Alexander
Veröffentlichungsdatum:: 2003
Type:: Conference

24. 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

25. Integer Linear Programming in Computational Biology.

Autoren:: Althaus, Ernst; Klau, Gunnar W; Kohlbacher, Oliver; Lenhof, Hans-Peter; Reinert, Knut
Editoren:: Albers, Susanne; Alt, Helmut; Näher, Stefan
Veröffentlichungsdatum:: 2009
Type:: Conference

26. Algorithms for the maximum weight connected k-induced subgraph problem

Autoren:: Althaus, Ernst; Blumenstock, Markus; Disterhoft, Alexej; Hildebrandt, Andreas; Krupp, Markus
Editoren:: Zhang, Zhao; Wu, Lidong; Xu, Wen; Du, Ding-Zhu
Veröffentlichungsdatum:: 2014
Type:: Conference

27. Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement

Autoren:: Althaus, Ernst; Beber, Björn; Damm, Werner; Disch, Stefan; Hagemann, Willem; Rakow, Astrid; Scholl, Christoph; Waldmann, Uwe; Wirtz, Boris
Veröffentlichungsdatum:: 2017
Type:: Journal article

28. Precise and efficient parametric path analysis.

Autoren:: Althaus, Ernst; Altmeyer, Sebastian; Naujoks, Rouven
Editoren:: Vitek, Jan; Sutter, Bjorn De
Veröffentlichungsdatum:: 2011
Type:: Conference

29. Certifying feasibility and objective value of linear programs

Autoren:: Althaus, Ernst; Dumitriu, Daniel
Veröffentlichungsdatum:: 2012
Type:: Journal article

30. Point containment in the integer hull of a polyhedron.

Autoren:: Althaus, Ernst; Eisenbrand, Friedrich; Funke, Stefan; Mehlhorn, Kurt
Editoren:: Munro, J Ian
Veröffentlichungsdatum:: 2004
Type:: Conference