Organisationseinheit: Algorithmics / Datenquelle: DBLP - Universitätsbibliographie Suchergebnisse

Neu anfangen Organisationseinheit Algorithmics Datenquelle DBLP

31. A Combinatorial Approach to Protein Docking with Flexible Side Chains

Autoren:: Althaus, Ernst; Kohlbacher, Oliver; Lenhof, Hans-Peter; Müller, Peter
Veröffentlichungsdatum:: 2002
Typ:: Zeitschriftenaufsatz

32. TSP-based curve reconstruction in polynomial time.

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

33. Approximation Algorithms for the Interval Constrained Coloring Problem

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

34. Superposition Modulo Linear Arithmetic SUP(LA).

Autoren:: Althaus, Ernst; Kruglov, Evgeny; Weidenbach, Christoph
Editoren:: Ghilardi, Silvio; Sebastiani, Roberto
Veröffentlichungsdatum:: 2009
Typ:: Konferenzbeitrag

35. Integration of an LP Solver into Interval Constraint Propagation.

Autoren:: Althaus, Ernst; Becker, Bernd; Dumitriu, Daniel; Kupferschmid, Stefan
Editoren:: Wang, Weifan; Zhu, Xuding; Du, Ding-Zhu
Veröffentlichungsdatum:: 2011
Typ:: Konferenzbeitrag

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

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

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

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

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