Organizational unit: Algorithmics and FB 08 Physik, Mathematik und Informatik / Data source: DBLP - Universitätsbibliographie Search Results

Start Over Organizational unit Algorithmics Organizational unit FB 08 Physik, Mathematik und Informatik Data source DBLP

31. Improving Interpolants for Linear Arithmetic.

Autoren:: Althaus, Ernst; Beber, Björn; Kupilas, Joschka; Scholl, Christoph
Editoren:: Finkbeiner, Bernd; Pu, Geguang; Zhang, Lijun
Veröffentlichungsdatum:: 2015
Type:: Conference

32. An efficient algorithm for the configuration problem of dominance graphs.

Autoren:: Althaus, Ernst; Duchier, Denys; Koller, Alexander; Mehlhorn, Kurt; Niehren, Joachim; Thiel, Sven
Editoren:: Kosaraju, S Rao
Veröffentlichungsdatum:: 2001
Type:: Conference

33. Integer Linear Programming in Computational Biology.

Autoren:: Althaus, Ernst; Klau, Gunnar W; Kohlbacher, Oliver; Lenhof, Hans-Peter; Reinert, Knut
Editoren:: Albers, Susanne; Alt, Helmut; Näher, Stefan
Veröffentlichungsdatum:: 2009
Type:: Conference

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

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

36. 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
Type:: Conference

37. 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
Type:: Journal article

38. 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
Type:: Journal article

39. An efficient graph algorithm for dominance constraints

Autoren:: Althaus, Ernst; Duchier, Denys; Koller, Alexander; Mehlhorn, Kurt; Niehren, Joachim; Thiel, Sven
Veröffentlichungsdatum:: 2003
Type:: Journal article

40. Precise and efficient parametric path analysis.

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