Skip to content Skip to footer

Search for Research output

86778 Research output
  1. 2013
  2. Published

    Modalised conditionals: A response to Willer

    Schulz, M., 2013, In: Philosophical Studies. 163, p. 673–682 19 p.

    Research output: Contribution to journalResearch articleContributedpeer-review

  3. Published

    Model Checking for Performability

    Baier, C., Hahn, E. M., Haverkort, B. R., Herrmanns, H. & Katoen, J-P., 2013, In: Mathematical Structures in Computer Science. 23, 4, p. 751-795 45 p.

    Research output: Contribution to journalResearch articleContributedpeer-review

  4. Published

    Model-driven Self-optimization Using Integer Linear Programming and Pseudo-Boolean Optimization

    Götz, S., Wilke, C., Richly, S., Püschel, G. & Aßmann, U., 2013.

    Research output: Contribution to conferencesPaperContributedpeer-review

  5. Published

    Model for IP transfer and shareholding for university spin-offs: "The Dresden Model“. A good practice case study within the EU Project ETTBio.

    Uecke, O., Schmieder-Galfe, N. & Funkner, A., 2013, ettbio.eu.

    Research output: Contribution to book/Conference proceedings/Anthology/ReportChapter in book/Anthology/ReportContributed

  6. Published

    Modeling and Simulation

    Brecher, C., Bouabid, A., Deichmueller, M., Denkena, B., Großmann, K., Hardtmann, A., Hömberg, D., & 6 othersHermes, R., Klocke, F., Löser, M., Rott, O., Steinmann, P. & Weiß, M., 2013, Process Machine Interactions: Predicition and Manipulation of Interactions between Manufacturing Processes and Machine Tool Structures. Springer Nature, p. 29-51 23 p. (Lecture Notes in Production Engineering, Vol. Part F1131).

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

  7. Published

    Modeling and validation of the mechanism of pulsed flow cleaning

    Föste, H., Schöler, M., Majschak, J. P., Augustin, W. & Scholl, S., 2013, In: Heat transfer engineering. 34, 8-9, p. 753-760 8 p.

    Research output: Contribution to journalResearch articleContributedpeer-review

  8. Published

    Modeling Clinical Pathways - Design and Application of a Domain-specific Modeling Language

    Burwitz, M., Schlieter, H. & Esswein, W., 2013.

    Research output: Contribution to conferencesPaperContributedpeer-review

  9. Modeling Consonant-Vowel Coarticulation for Articulatory Speech Synthesis

    Birkholz, P., 2013, In: PloS one. 8, 4, e60603.

    Research output: Contribution to journalResearch articleContributedpeer-review

  10. Published

    Modeling in OWL 2 without Restrictions

    Schneider, M., Rudolph, S. & Sutcliffe, G., 2013, OWLED.

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

Export list (max. 500):