Publication type: Journal article / Author: Althaus, Ernst / Data source: Crossref and DBLP - Universitätsbibliographie Search Results

Start Over Publication type Journal article Author Althaus, Ernst Data source Crossref Data source DBLP

1. Traveling Salesman-Based Curve Reconstruction in Polynomial Time

Autoren:: Althaus, Ernst; Mehlhorn, Kurt
Veröffentlichungsdatum:: 2001
Type:: Journal article

2. On the low-dimensional Steiner minimum tree problem in Hamming metric

Autoren:: Althaus, Ernst; Kupilas, Joschka; Naujoks, Rouven
Veröffentlichungsdatum:: 2013
Type:: Journal article

3. Maximum network flow with floating point arithmetic

Autoren:: Althaus, Ernst; Mehlhorn, Kurt
Veröffentlichungsdatum:: 1998
Type:: Journal article

4. Computing Euclidean Steiner trees over segments

Autoren:: Althaus, Ernst; Rauterberg, Felix; Ziegler, Sarah
Veröffentlichungsdatum:: 2020
Type:: Journal article

5. Computing H/D-Exchange rates of single residues from data of proteolytic fragments

Autoren:: Althaus, Ernst; Canzar, Stefan; Ehrler, Carsten; Emmett, Mark R; Karrenbauer, Andreas; Marshall, Alan G; Meyer-Bäse, Anke; Tipton, Jeremiah D; Zhang, Hui-Min
Veröffentlichungsdatum:: 2010
Type:: Journal article

6. Efficient computation of root mean square deviations under rigid transformations

Autoren:: Hildebrandt, Anna Katharina; Dietzen, Matthias; Lengauer, Thomas; Lenhof, Hans-Peter; Althaus, Ernst; Hildebrandt, Andreas
Veröffentlichungsdatum:: 2014
Type:: Journal article

7. A branch-and-cut algorithm for multiple sequence alignment

Autoren:: Althaus, Ernst; Caprara, Alberto; Lenhof, Hans-Peter; Reinert, Knut
Veröffentlichungsdatum:: 2006
Type:: Journal article

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

Autoren:: Althaus, Ernst; Kohlbacher, Oliver; Lenhof, Hans-Peter; Müller, Peter
Veröffentlichungsdatum:: 2002
Type:: Journal article

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

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