Autor: Althaus, Ernst / Datenquelle: DBLP - Universitätsbibliographie Suchergebnisse

Neu anfangen Autor Althaus, Ernst Datenquelle DBLP

31. Approximating the Interval Constrained Coloring Problem.

Autoren:: Althaus, Ernst; Canzar, Stefan; Elbassioni, Khaled M; Karrenbauer, Andreas; Mestre, Julián
Editoren:: Gudmundsson, Joachim
Veröffentlichungsdatum:: 2008
Typ:: Konferenzbeitrag

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

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

34. An efficient algorithm for the configuration problem of dominance graphs.

Autoren:: Althaus, Ernst; Duchier, Denys; Koller, Alexander; Mehlhorn, Kurt; Niehren, Joachim; Thiel, Sven
Editoren:: Kosaraju, S Rao
Veröffentlichungsdatum:: 2001
Typ:: Konferenzbeitrag

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

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

37. 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
Typ:: Zeitschriftenaufsatz

38. A Greedy Algorithm for Hierarchical Complete Linkage Clustering

Autoren:: Althaus, Ernst; Hildebrandt, Andreas; Hildebrandt, Anna Katharina
Editoren:: Dediu, Adrian-Horia; Martín-Vide, Carlos; Truthe, Bianca
Veröffentlichungsdatum:: 2014
Typ:: Konferenzbeitrag

39. An efficient graph algorithm for dominance constraints

Autoren:: Althaus, Ernst; Duchier, Denys; Koller, Alexander; Mehlhorn, Kurt; Niehren, Joachim; Thiel, Sven
Veröffentlichungsdatum:: 2003
Typ:: Zeitschriftenaufsatz

40. Precise and efficient parametric path analysis.

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