Skip to content Skip to footer

Search for Research output

43131 - 43140 out of 65,319Page size: 10
65319 Research output
  1. 2014
  2. Published

    Probabilistic Model Checking for Energy Analysis in Software Product Lines

    Dubslaff, C., Klüppelholz, S. & Baier, C., 2014, MODULARITY '14: Proceedings of the 13th international conference on Modularity. Association for Computing Machinery (ACM), New York, p. 169-180 12 p.

    Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

  3. Published

    Probabilistic Model Checking for Energy-Utility Analysis

    Baier, C., Dubslaff, C., Klein, J., Klüppelholz, S. & Wunderlich, S., 2014, Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. Breugel, F., Kashefi, E., Palamidessi, C. & Rutten, J. (eds.). Springer, Cham, p. 96-123 28 p. (Lecture Notes in Computer Science, Volume 8464).

    Research output: Contribution to book/conference proceedings/anthology/report › Chapter in book/anthology/report › Contributed

  4. Published

    Probenecid as a sensitizer of bisphosphonate-mediated effects in breast cancer cells

    Ebert, R., Meissner-Weigl, J., Zeck, S., Maatta, J., Auriola, S., de Sousa, S. C., Mentrup, B., & 4 othersGraser, S., Rachner, T. D., Hofbauer, L. C. & Jakob, F., 2014, In: Molecular cancer. 13, 265 .

    Research output: Contribution to journal › Research article › Contributed › peer-review

  5. Published

    Proceedings of the 1st OMNeT++ Community Summit, Hamburg, Germany, September 2, 2014.

    Förster, A., Sommer, C., Steinbach, T. & Wählisch, M., 2014

    Research output: Book/Conference proceeding/Anthology/Report › Conference proceeding › Contributed

  6. Published

    Proceedings of the First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness: PRUV 2014, co-located with 7th International Joint Conference on Automated Reasoning (IJCAR 2014), Vienna, Austria, July 23-24, 2014

    Lukasiewicz, T. (ed.), Peñaloza, R. (ed.) & Turhan, A-Y. (ed.), 2014

    Research output: Book/Conference proceeding/Anthology/Report › Conference proceeding › Contributed

  7. Published

    Proceedings of the SMART Rockets Project: Development of a Sounding Rocket and the Corresponding Ground Support Equipment

    Bach, C., Sieder, J., Grasselt-Gille, S., Przybilski, O. & Tajmar, M., 2014, Proceedings of the 63rd German Aerospace Congress (DGLR). Augsburg, Sept. 16-18

    Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed

  8. Published

    Process-Adapted Control to Maximize Dynamics of Speed- and Displacement-Variable Pumps

    Willkomm, J., Wahler, M. & Weber, J., 2014.

    Research output: Contribution to conferences › Paper › Contributed

  9. Published

    Process-Efficient Real-Time Simulation to Test the Functionality of Drive and Control Systems - 17. ITI-Symposium

    Koch, O., Richter, S., Weber, J. & Eichler, A., 2014.

    Research output: Contribution to conferences › Paper › Contributed

  10. Published

    Process for the design, optimization and production of lightweight structures

    Stelzer, R., Sembdner, P. & Schöne, C., 2014, In: Konstruktion. 66, 7-8, p. 61-62

    Research output: Contribution to journal › Research article › Contributed › peer-review

  11. Published

    Process Simulation of Energy Behaviour of Pneumatic Drives

    Rakova, E. & Weber, J., 2014.

    Research output: Contribution to conferences › Paper › Contributed

Previous 1...4310 4311 4312 4313 4314 4315 4316 4317 ...6532 Next
Export list (max. 500):