Skip to content Skip to footer

Search for Research output

86834 Research output
  1. 2018
  2. Published

    ProFeat: Feature-oriented Engineering for Family-based Probabilistic Model Checking

    Chrszon, P., Dubslaff, C., Klüppelholz, S. & Baier, C., 2018, In: Formal Aspects of Computing. 30, 1, p. 45-75 31 p.

    Research output: Contribution to journalResearch articleContributedpeer-review

  3. Published

    Prognoseverfahren zur Bestimmung der zeitabhängigen undrainierten Scherfestigkeit von Tagebaukippen

    Uhlig, M. & Herle, I., 2018.

    Research output: Contribution to conferencesPaperContributedpeer-review

  4. Published

    PROGNOSIS OF REMEDIATION TIMES AND COSTS

    Fischer, A. R., Unruh, T., Penckert, P. & Dornack, C., 2018, Crete 2018 - 6th International Conference on Industrial & Hazardous Waste Management - Abstracts. Technical University of Crete

    Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributed

  5. Published

    Project Control and Emotions: Understanding the Dynamics of Controlee Resistance Behaviors

    Murungi, D., Wiener, M. & Marabelli, M., 2018, Proceedings of the 78th Annual Meeting of the Academy of Management (AoM). Chicago, IL

    Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review

  6. Published

    Projekt Heimspiel: Wo Inhaftierung endet und Freiheit beginnt/ Übergangseinrichtung für inhaftierte junge Männer. Evaluationsbericht 2012-2016.

    Blume, S., 2018, Dresden: Verein für soziale Rechtspflege Dresden e.V. 49 p.

    Research output: Book/Conference proceeding/Anthology/ReportMonographContributed

  7. Published

    Prolonged-release fampridine in multiple sclerosis: clinical data and real-world experience. Report of an expert meeting

    Albrecht, P., Bjørnå, I. K., Brassat, D., Farrell, R., Feys, P., Hobart, J., Hupperts, R., & 6 othersLinnebank, M., Magdič, J., Oreja-Guevara, C., Pozzilli, C., Salgado, A. V. & Ziemssen, T., 2018, In: Therapeutic advances in neurological disorders.

    Research output: Contribution to journalResearch articleContributedpeer-review

  8. Published

    PROMISES AND PITFALLS OF HOME-BASED VS. LAB-BASED HAIR COLLECTION - AN EMPIRICAL STUDY

    Skoluda, N., Piroth, I., Kirschbaum, C. & Nater, UM., 2018, In: Psychosomatic medicine. 80, 3, p. A8-A8

    Research output: Contribution to journalResearch articleContributedpeer-review

  9. Published

    Prompt and non-prompt $J/\psi $ and $\psi (2\mathrm {S})$ suppression at high transverse momentum in $5.02~\mathrm {TeV}$ Pb+Pb collisions with the ATLAS experiment

    The ATLAS collaboration, Straessner, A., Kobel, M., Siegert, F. & Aaboud, M., 2018, In: European Physical Journal C. 78, 9, 762.

    Research output: Contribution to journalResearch articleContributedpeer-review

  10. Published

    Prompt and non-prompt $J/\psi $ elliptic flow in Pb+Pb collisions at $\sqrt{s_{_\text {NN}}} = 5.02$ Tev with the ATLAS detector

    The ATLAS collaboration, Straessner, A., Kobel, M., Siegert, F. & Aaboud, M., 2018, In: European Physical Journal C. 78, 9, 784.

    Research output: Contribution to journalResearch articleContributedpeer-review

  11. Published

    Protecting Communication in Many-Core Systems against Active Attackers.

    Moriam, S., Franz, E., Walther, P., Kumar, A., Strufe, T. & Fettweis, G. P., 2018, ACM Great Lakes Symposium on VLSI. p. 45-50 6 p.

    Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review

Export list (max. 500):