| [1] | Utz-Uwe Haus and Carla Michini. Compact representations of all members of an independence system. Annals of Mathematics and Artificial Intelligence, 79(1):145--162, 2017. [ bib | DOI ] |
| [2] | Utz-Uwe Haus, Carla Michini, and Marco Laumanns. Scenario aggregation using binary decision diagrams for stochastic programs with endogenous uncertainty. arxiv eprint arXiv:1701.04055, arxiv.org, 2017. [ bib | http ] |
| [3] | David Adjiashvili, Utz-Uwe Haus, and Adrian Tate. Model-driven automatic tiling with cache associativity lattices. eprint arXiv:1511.05585 [cs.PF], arXiv.org, November 2015. [ bib | http ] |
| [4] | Utz-Uwe Haus. Bounding stochastic dependence, joint mixability of matrices, and multidimensional bottleneck assignment problems. Operations Research Letters, 43(1):74--79, January 2015. [ bib | DOI ] |
| [5] | Utz-Uwe Haus and Carla Michini. Representations of all solutions of a Boolean programming problem. In G. Túran, editor, Proceedings of the Thirteenth International Symposium on Artificial Intelligence and Mathematics, 2014. http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_Boolean_Haus_Michini.pdf. [ bib ] |
| [6] | Elke Eisenschmidt and Utz-Uwe Haus. A polynomial time approximation algorithm for the two-commodity splittable flow problem. Mathematical Methods of Operations Research, 77(3):381--391, 2013. [ bib | DOI ] |
| [7] | Kathrin Ballerstein, Utz-Uwe Haus, Jonathan A. Lindquist, Tilo Beyer, Burkhart Schraven, and Robert Weismantel. Discrete, qualitative models of interaction networks. In Wolfgamg Schamel, editor, Systems Immunology, volume S5, pages 149--166. Frontiers in Bioscience, 2013. [ bib | DOI | http ] |
| [8] | Utz-Uwe Haus and Frank Pfeuffer. Split cuts for robust mixed-integer optimization. Operations Research Letters, 40:165--171, 2012. [ bib | DOI ] |
| [9] | Elke Eisenschmidt and Utz-Uwe Haus. Discovering all associations in discrete data using frequent minimally infrequent attribute sets. Discrete Applied Mathematics, 160(12):1730--1741, 2012. [ bib | DOI ] |
| [10] | Elke Eisenschmidt and Utz-Uwe Haus. Bi-tone and k-tone decompositions of Boolean functions. In Robert H. Sloan, editor, Proceedings of the Twelfth International Symposium on Artificial Intelligence and Mathematics, Ft. Lauderdale, January 2012. https://ece.uic.edu/bin/view/Isaim2012/AcceptedPapers. [ bib ] |
| [11] | Kathrin Ballerstein, Axel von Kamp, Steffen Klamt, and Utz-Uwe Haus. Minimal cut sets in a metabolic network are elementary modes in a dual network. Bioinformatics, 28(3):381--387, 2012. [ bib | DOI ] |
| [12] | Thilo Kähne, Angela Kolodziej, Karl-Heinz Smalla, Elke Eisenschmidt, Utz-Uwe Haus, Robert Weismantel, Siegfried Kropf, Wolfram Wetzel, Frank W. Ohl, Wolfgang Tischmeyer, Michael Naumann, and Eckart D. Gundelfinger. Synaptic proteome changes in mouse brain regions upon auditory discrimination learning. Proteomics, 12(15-16):2433--2444, 2012. [ bib | DOI ] |
| [13] | Rainer Pielot, Karl-Heinz Smalla, Anke Müller, Peter Landgraf, Anne-Christin Lehmann, Elke Eisenschmidt, Utz-Uwe Haus, Robert Weismantel, Eckart D. Gundelfinger, and Daniela C. Dieterich. Synprot: A database for proteins of detergent-resistant synaptic protein preparations. Frontiers in Synaptic Neuroscience, 4(00001), 2012. [ bib | DOI ] |
| [14] | Tilo Beyer, Mandy Busse, Kroum Hristov, Slavyana Gurbiel, Michal Smida, Utz-Uwe Haus, Kathrin Ballerstein, Frank Pfeuffer, Robert Weismantel, Burkhart Schraven, and Jonathan Axel Lindquist. Integrating signals from the T-cell receptor and the interleukin-2 receptor. PLoS Computational Biology, 7(8):e1002121, August 2011. [ bib | DOI ] |
| [15] | Utz-Uwe Haus, Raymond Hemmecke, and Sebastian Pokutta. Reconstructing biochemical cluster networks. Journal of Mathematical Chemistry, 49(10):2441--2456, 2011. [ bib | DOI ] |
| [16] | Steffen Borchers, Sandro Bosio, Rolf Findeisen, Utz-Uwe Haus, Phillip Rumschinski, and Robert Weismantel. Graph problems arising from parameter identification of discrete dynamical systems. Mathematical Methods of Operations Research, 73:381--400, 2011. [ bib | DOI ] |
| [17] | Utz-Uwe Haus and Raymond Hemmecke. Decomposition of reaction networks: the initial phase of the permanganate/oxalic acid reaction. Journal of Mathematical Chemistry, 48(2):305--312, 2010. [ bib | DOI ] |
| [18] | Elke Eisenschmidt, Utz-Uwe Haus, Enrico Schmidt, and Julia Saemann. Monotone and almost-monotone Boolean functions: Frequent maximally infrequent sets. In J. Franco, editor, Proceedings of the Eleventh International Symposium on Artificial Intelligence and Mathematics, Ft. Lauderdale, January 2010. http://gauss.ececs.uc.edu/Workshops/isaim2010/proceedings.html. [ bib ] |
| [19] | Cedric Chauve, Utz-Uwe Haus, Tamon Stephen, and Vivija P. You. Minimal conflicting sets for the consecutive ones property in ancestral genome reconstruction. Journal of Computational Biology, 17(9):1167--1181, 2010. [ bib | DOI ] |
| [20] | Utz-Uwe Haus, Kathrin Niermann, Klaus Truemper, and Robert Weismantel. Logic integer programming models for signaling networks. Journal of Computational Biology, 16(5):725--743, May 2009. [ bib | DOI ] |
| [21] | Steffen Klamt, Utz-Uwe Haus, and Fabian Theis. Hypergraphs and cellular networks. PLoS Computational Biology, 5(5):e1000385, May 2009. [ bib | DOI ] |
| [22] | Cedric Chauve, Utz-Uwe Haus, Tamon Stephen, and Vivija P. You. Minimal conflicting sets for the consecutive ones property in ancestral genome reconstruction. In Comparative Genomics. Proceedings of International Workshop RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009, volume 5817 of Lecture Notes in Bioinformatics, pages 48--58. Springer, 2009. [ bib | DOI ] |
| [23] | Utz-Uwe Haus, Klaus Truemper, and Robert Weismantel. Linear satisfiability algorithm for 3CNF formulas of certain signaling networks. Journal on Satisfiability, Boolean Modeling and Computations (JSAT), 6:13--22, September 2008. [ bib | .pdf ] |
| [24] | Utz-Uwe Haus, Eckart Mayer, Jörg Raisch, and Robert Weismantel. Throughput-optimal sequences for cyclically operated plants. Discrete Event Dynamic Systems, 18(3):355--383, 2008. [ bib | DOI ] |
| [25] | Utz-Uwe Haus, Dennis Michaels, and Anton Savchenko. Extended formulations for MINLP problems by value decompositions. In Proceedings of the EngOpt 2008 conference, June 1--5, 2008, Rio de Janeiro, Brazil, 2008. [ bib ] |
| [26] | Utz-Uwe Haus, Steffen Klamt, and Tamon Stephen. Computing knockout strategies in metabolic networks. Journal of Computational Biology, 15:259--268, 2008. [ bib | DOI ] |
| [27] | Utz-Uwe Haus, Dennis Michaels, Andreas Seidel-Morgenstern, and Robert Weismantel. A method to evaluate the feasibility of TMB chromatography for reduced efficiency and purity requirements based on discrete optimization. Computers & Chemical Engineering, 31(11):1525--1534, November 2007. [ bib | DOI ] |
| [28] | Julio Saez-Rodriguez, Luca Simeoni, Jonathan Lindquist, Rebecca Hemenway, Ursula Bommhardt, Boerge Arndt, Utz-Uwe Haus, Robert Weismantel, Ernst D. Gilles, Steffen Klamt, and Burkhart Schraven. An extensive logical model predicts key events in the T-cell receptor signaling network. PLoS Computational Biology, August 2007. [ bib | DOI ] |
| [29] | Thomas Böhlke, Utz-Uwe Haus, and Volker Schulze. Crystallographic texture approximation by quadratic programming. Acta Materialia, 54(5):1359--1368, March 2006. [ bib | DOI ] |
| [30] | Jignesh Gangadwala, Achim Kienle, Utz-Uwe Haus, Dennis Michaels, and Robert Weismantel. Global Bounds on Optimal Solutions for the Production of 2,3-Dimethylbutene-1. Industrial & Engineering Chemistry Research, 45(7):2261--2271, February 2006. [ bib | DOI ] |
| [31] | Utz-Uwe Haus, Jignesh Gangadwala, Achim Kienle, Dennis Michaels, Andreas Seidel-Morgenstern, and Robert Weismantel. Global bounds on optimal solutions in chemical process design. In 16th European Symposium on Computer-Aided Process Engineering and 9th International Symposium on Process Systems Engineering, volume 21 of Computer-aided chemical engineering, pages 155--160, Garmisch-Partenkirchen, July 9--July 13 2006, 2006. Elsevier. [ bib | DOI ] |
| [32] | Claudio Gentile, Utz-Uwe Haus, Matthias Köppe, Giovanni Rinaldi, and Robert Weismantel. On the way to perfection: Primal operations for stable sets in graphs. In Martin Grötschel, editor, The Sharpest Cut: The Impact of Manfred Padberg and His Work. MPS/SIAM, 2004. [ bib | DOI ] |
| [33] | Utz-Uwe Haus. An Augmentation Framework for Integer Programming. Dissertation, Otto-von-Guericke Universität Magdeburg, 2004. ISBN 3-89959-269-7, Der Andere Verlag, Tönning. [ bib ] |
| [34] | Utz-Uwe Haus, Matthias Köppe, and Robert Weismantel. A primal all-integer algorithm based on irreducible solutions. Math. Programming, Series B, 96(2):205--246, 2003. [ bib | DOI ] |
| [35] | Claudio Gentile, Utz-Uwe Haus, Matthias Köppe, Giovanni Rinaldi, and Robert Weismantel. A primal approach to the stable set problem. In Rolf Möhring and Rajeev Raman, editors, Algorithms -- ESA 2002: 10th Annual European Symposium, Rome, Italy, September 17--21, 2002, Proceedings, volume 2461 of Lecture Notes in Computer Science, pages 525--537. Springer, 2002. [ bib | DOI ] |
| [36] | Utz-Uwe Haus, Matthias Köppe, and Robert Weismantel. The Integral Basis Method for integer programming. Mathematical Methods of Operations Research, 53(3):353--361, 2001. [ bib | DOI ] |
| [37] | Utz-Uwe Haus. Gitterpackungen konvexer Körper. Diplomarbeit, Technische Universität Berlin, 1999. [ bib ] |
| [38] | Dimitrios Dais, Utz-Uwe Haus, and Martin Henk. On crepant resolutions of 2-parameter series of Gorenstein cyclic quotient singularities. Results in Math., 33:208--265, 1998. [ bib ] |
This file was generated by bibtex2html 1.98.