Organisationseinheit: Algorithmics and Institut für Informatik / Datenquelle: Crossref and DBLP - Universitätsbibliographie Suchergebnisse

Neu anfangen Organisationseinheit Algorithmics Organisationseinheit Institut für Informatik Datenquelle Crossref Datenquelle DBLP

1. Traveling Salesman-Based Curve Reconstruction in Polynomial Time

Autoren:: Althaus, Ernst; Mehlhorn, Kurt
Veröffentlichungsdatum:: 2001
Typ:: Zeitschriftenaufsatz

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

Autoren:: Althaus, Ernst; Kupilas, Joschka; Naujoks, Rouven
Veröffentlichungsdatum:: 2013
Typ:: Zeitschriftenaufsatz

3. Maximum network flow with floating point arithmetic

Autoren:: Althaus, Ernst; Mehlhorn, Kurt
Veröffentlichungsdatum:: 1998
Typ:: Zeitschriftenaufsatz

4. Computing Euclidean Steiner trees over segments

Autoren:: Althaus, Ernst; Rauterberg, Felix; Ziegler, Sarah
Veröffentlichungsdatum:: 2020
Typ:: Zeitschriftenaufsatz

5. Trunk Packing Revisited

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

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

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

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

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

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