Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1616 Publications
2013 | Conference Paper | LibreCat-ID: 517
S. Walther and H. Wehrheim, “Knowledge-Based Verification of Service Compositions - An SMT approach,” in Proceedings of the 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), 2013, pp. 24–32.
LibreCat
| Files available
| DOI
2013 | Report | LibreCat-ID: 557
C. Hallmann, An Approach for a Decision Support Systems to optimize Water Tanks in Water Supply Systems by combining Network Reduction, Optimization and Simulation. Universität Paderborn, 2013.
LibreCat
| Files available
2013 | Book Chapter | LibreCat-ID: 16670
O. Schütze, K. Witting, S. Ober-Blöbaum, and M. Dellnitz, “Set Oriented Methods for the Numerical Treatment of Multiobjective Optimization Problems,” in EVOLVE- A Bridge between Probability, Set Oriented Numerics and Evolutionary Computation, Berlin, Heidelberg, 2013.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 15755
R. Busa-Fekete, T. Fober, and E. Hüllermeier, “Preference-based evolutionary optimization using generalized racing algorithms,” in in Proceedings 23th Workshop Computational Intelligence, Dortmund Germany, 2013, pp. 237–246.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15094
S. Böttcher, M. Brandenburg, and R. Hartel, “DAG - Index - A Compressed Index for XML Keyword Search,” in WEBIST 2013 - Proceedings of the 9th International Conference on Web Information Systems and Technologies, 2013, pp. 137–140.
LibreCat
2013 | Book | LibreCat-ID: 1626
D. Krimphove, “Ihr betet an, was ihr nicht kennt” (Jo 4, 22) - Eine neue Sicht auf die Trinität . Hamburg: Verlag Kovač, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 29966
C. Romaus, D. Wimmelbücker, K. S. C. Stille, and J. Böcker, “Self-optimization energy management considering stochastic influences for a hybrid energy storage of an electric road vehicle,” 2013, doi: 10.1109/iemdc.2013.6556194.
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 29419
O. Schütze, K. Witting, S. Ober-Blöbaum, M. Dellnitz, and E. Tantar, “Set oriented methods for the numerical treatment of multi-objective optimization problems,” in EVOLVE - A Bridge Between Probability, Set Oriented Numerics, and Evolutionary Computation, Berlin Heidelberg: Springer, 2013, pp. 187–219.
LibreCat
2013 | Journal Article | LibreCat-ID: 29406
K. Witting, S. Ober-Blöbaum, and M. Dellnitz, “A variational approach to define robustness for parametric multiobjective optimization problems,” Journal of Global Optimization, vol. 57(2), pp. 331–345, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 29443
S. Ober-Blöbaum and A. Seifried, “A multiobjective optimization approach for optimal control problems of mechanical systems with uncertainties,” in European Control Conference, Zurich, Switzerland, 2013, pp. 204–209.
LibreCat
2013 | Conference Paper | LibreCat-ID: 29442
K. Flaßkamp, T. Murphey, and S. Ober-Blöbaum, “Discretized switching time optimization problems,” in European Control Conference, Zurich, Switzerland, 2013, pp. 3179–3184.
LibreCat
2013 | Conference Paper | LibreCat-ID: 29490
K. Flaßkamp, T. Murphey, and S. Ober-Blöbaum, “Optimization for discretized switched systems,” in Proceedings of Applied Mathematics and Mechanics, 2013, vol. 13(1), pp. 401–402.
LibreCat