Autor: Althaus, Ernst / Organisationseinheit: FB 08 Physik, Mathematik und Informatik / Datenquelle: DBLP - Universitätsbibliographie Suchergebnisse

Neu anfangen Autor Althaus, Ernst Organisationseinheit FB 08 Physik, Mathematik und Informatik Datenquelle DBLP

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

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

43. A Greedy Algorithm for Hierarchical Complete Linkage Clustering

Autoren:: Althaus, Ernst; Hildebrandt, Andreas; Hildebrandt, Anna Katharina
Editoren:: Dediu, Adrian-Horia; Martín-Vide, Carlos; Truthe, Bianca
Veröffentlichungsdatum:: 2014
Typ:: Konferenzbeitrag

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

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

46. Precise and efficient parametric path analysis.

Autoren:: Althaus, Ernst; Altmeyer, Sebastian; Naujoks, Rouven
Editoren:: Vitek, Jan; Sutter, Bjorn De
Veröffentlichungsdatum:: 2011
Typ:: Konferenzbeitrag

47. Certifying feasibility and objective value of linear programs

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

48. Point containment in the integer hull of a polyhedron.

Autoren:: Althaus, Ernst; Eisenbrand, Friedrich; Funke, Stefan; Mehlhorn, Kurt
Editoren:: Munro, J Ian
Veröffentlichungsdatum:: 2004
Typ:: Konferenzbeitrag

49. Robust Stability Analysis of the Tryptophan Regulatory Network of E.Coli.

Autoren:: Meyer-Bäse, Anke; Cappendijk, Susanne; Althaus, Ernst
Editoren:: Arabnia, Hamid R; Yang, Mary Qu
Veröffentlichungsdatum:: 2009
Typ:: Konferenzbeitrag

50. Simple interpolants for linear arithmetic.

Autoren:: Scholl, Christoph; Pigorsch, Florian; Disch, Stefan; Althaus, Ernst
Editoren:: Fettweis, Gerhard P; Nebel, Wolfgang
Veröffentlichungsdatum:: 2014
Typ:: Konferenzbeitrag