Publikationsart: Konferenzbeitrag / Autor: Althaus, Ernst - Universitätsbibliographie Suchergebnisse

Neu anfangen Publikationsart Konferenzbeitrag Autor Althaus, Ernst

31. Precise and efficient parametric path analysis.

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

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

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

34. Graph Rewriting Based Search for Molecular Structures: Definitions, Algorithms, Hardness

Autoren:: Althaus, Ernst; Hildebrandt, Andreas; Mosca, Domenico
Editoren:: Seidl, Martina; Zschaler, Steffen
Veröffentlichungsdatum:: 2017
Typ:: Konferenzbeitrag

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

36. Global uniform stability analysis of biological networks with different time-scales under perturbations

Autoren:: Meyer-Baese, Anke; Cappendijk, Susanne; Althaus, Ernst
Veröffentlichungsdatum:: 2009
Typ:: Konferenzbeitrag

37. SCIL - Symbolic Constraints in Integer Linear Programming.

Autoren:: Althaus, Ernst; Bockmayr, Alexander; Elf, Matthias; Jünger, Michael; Kasper, Thomas; Mehlhorn, Kurt
Editoren:: Möhring, Rolf H; Raman, Rajeev
Veröffentlichungsdatum:: 2002
Typ:: Konferenzbeitrag

38. Discrete Fitting of Hydrogen-Deuterium-Exchange-data of Overlapping Fragments.

Autoren:: Althaus, Ernst; Canzar, Stefan; Ehrler, Carsten; Emmett, Mark R; Karrenbauer, Andreas; Marshall, Alan G; Meyer-Bäse, Anke; Tiptopn, Jeremiah; Zhang, Huimin
Editoren:: Arabnia, Hamid R; Yang, Mary Qu
Veröffentlichungsdatum:: 2009
Typ:: Konferenzbeitrag

39. Reconstructing Phylogenetic Networks with One Recombination.

Autoren:: Althaus, Ernst; Naujoks, Rouven
Editoren:: McGeoch, Catherine C
Veröffentlichungsdatum:: 2008
Typ:: Konferenzbeitrag

40. Improving Linear Programming Approaches for the Steiner Tree Problem.

Autoren:: Althaus, Ernst; Polzin, Tobias; Daneshmand, Siavash Vahdati
Editoren:: Jansen, Klaus; Margraf, Marian; Mastrolilli, Monaldo; Rolim, José DP
Veröffentlichungsdatum:: 2003
Typ:: Konferenzbeitrag