Publikationsart: Zeitschriftenaufsatz / Organisationseinheit: Algorithmics - Universitätsbibliographie Suchergebnisse

Neu anfangen Publikationsart Zeitschriftenaufsatz Organisationseinheit Algorithmics

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

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

13. Approximating k-hop minimum-spanning trees

Autoren:: Althaus, Ernst; Funke, Stefan; Har-Peled, Sariel; Könemann, Jochen; Ramos, Edgar A; Skutella, Martin
Veröffentlichungsdatum:: 2005
Typ:: Zeitschriftenaufsatz

14. Power Efficient Range Assignment for Symmetric Connectivity in Static Ad Hoc Wireless Networks

Autoren:: Althaus, E; Călinescu, G; Măndoiu, II; Prasad, S; Tchervenski, N; Zelikovsky, A
Veröffentlichungsdatum:: 2006
Typ:: Zeitschriftenaufsatz

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

16. Certifying feasibility and objective value of linear programs

Autoren:: Althaus, Ernst; Dumitriu, Daniel
Veröffentlichungsdatum:: 2012
Typ:: Zeitschriftenaufsatz

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

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

Autoren:: Althaus, Ernst; Caprara, Alberto; Lenhof, Hans-Peter; Reinert, Knut
Veröffentlichungsdatum:: 2006
Typ:: Zeitschriftenaufsatz

19. A Lagrangian relaxation approach for the multiple sequence alignment problem

Autoren:: Althaus, Ernst; Canzar, Stefan
Veröffentlichungsdatum:: 2008
Typ:: Zeitschriftenaufsatz

20. Scheduling shared continuous resources on many-cores

Autoren:: Althaus, Ernst; Brinkmann, Andre; Kling, Peter; Heide, Friedhelm Meyer Auf Der; Nagel, Lars; Riechers, Soeren; Sgall, Jiri; Suess, Tim
Veröffentlichungsdatum:: 2018
Typ:: Zeitschriftenaufsatz