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

Start Over Author Althaus, Ernst Organizational unit JGU 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. Trunk Packing Revisited

Autoren:: Althaus, Ernst; Baumann, Tobias; Schömer, Elmar; Werth, Kai
Editoren:: Demetrescu, Camil
Veröffentlichungsdatum:: 2007
Type:: Conference

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

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

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

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

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