Skip to content Skip to footer

Search for Research output

67306 Research output
  1. 2018
  2. Published
  3. Published

    Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes

    Baier, C., Bertrand, N., Dubslaff, C., Gburek, D. & Sankur, O., 2018, LICS '18: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery (ACM), New York, p. 86-94 9 p.

    Research output: Contribution to book/conference proceedings/anthology/reportConference contributionContributedpeer-review

  4. Published

    Stochastic transition systems: bisimulation, logic, and composition

    Gburek, D., 2018

    Research output: Types of ThesisDoctoral thesis

  5. Published

    Stochastic unfolding and homogenization of spring network models

    Neukamm, S. M. & Varga, M., 2018, In: Multiscale Modeling and Simulation. 2

    Research output: Contribution to journalResearch articleContributedpeer-review

  6. Published

    Störungsstatistik in Relaisstellwerken

    Kunze, M., 2018, In: Deine Bahn. 2018, 8

    Research output: Contribution to journalResearch articleContributed

  7. Published

    Strain-hardening cement-based composites: SHCC4

    Mechtcherine, V., Slowik, V. & Kabele, P., 2018, RILEM bookseries. Vol. 15. p. iii-iv (RILEM bookseries).

    Research output: Contribution to book/conference proceedings/anthology/reportChapter in book/anthology/reportContributedpeer-review

  8. Published

    Strategien und Prozesse der Nachhaltigkeitsberichterstattung an Hochschulen in Deutschland

    Azizi, L. & Sassen, R., 2018, In: Zeitschrift für Umweltpolitik & Umweltrecht. p. 185-219

    Research output: Contribution to journalResearch articleContributedpeer-review

  9. Published

    Strategisches Marketing in der Gesundheits- und Sozialwirtschaft

    Hanke, S. & Erler, M., 2018, Bremen

    Research output: Other contributionOtherContributedpeer-review

  10. Published

    Strategy for a transnational network of transfer promotors

    Mogila, Z., Tiukalo, A., Giebel, M. & Krause-Jüttler, G., 2018, Strategy for a transnational network of transfer promotors. Neuerscheinung ed. Dresden, p. 1-28 28 p.

    Research output: Contribution to book/conference proceedings/anthology/reportChapter in book/anthology/reportContributed

  11. Published

    Strengthening and repair with carbon concrete composites – the first general building approval in Germany

    Scheerer, S., Schütze, E. & Curbach, M., 2018, Strain-Hardening Cement-Based Composites: Proc. of SHCC 4, 18.–20.9.2017 in Dresden (Germany). Mechtcherine, V., Kabele, P. & Slowik, V. (eds.). Springer Nature, p. 743-751 9 p. (RILEM Bookseries, Vol. 15).

    Research output: Contribution to book/conference proceedings/anthology/reportConference contributionContributedpeer-review

Export list (max. 500):