Skip to content Skip to footer

Search for Research output

87078 Research output
  1. 2013
  2. Published

    Verification of Golog Programs over Description Logic Actions

    Baader, F. & Zarrieß, B., 2013, Dresden, Germany, (LTCS-Report, Vol. 13-08).

    Research output: Preprint/Documentation/ReportWorking paper

  3. Published

    Verification of Golog Programs over Description Logic Actions

    Baader, F. & Zarrieß, B., 2013, Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings. Springer, Berlin [u. a.], p. 181-196 16 p. (Lecture Notes in Computer Science, Volume 8152).

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

  4. Published

    Vermittlung von Themen des Arbeits- und Gesundheitsschutzes in der Pflegeausbildung - Studiendesign und erste Ergebnisse des Versorgungsforschungs-Projektes "DemoPrax Pflege".

    Seidler, A., Thinschmidt, M., Michaelis, M., Berger, I., Dröge, P., Girbig, M., Schulz, A., & 1 othersNienhausq, A., 2013, Dokumentation der 53. Wissenschaftlichen Jahrestagung der DGAUM 2013 in Bregenz.. p. 267-271 5 p.

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

  5. Published
  6. Published

    Verwendung fremder Werke in der Lehre: Urheberrechtliche Rahmenbedingungen

    Götting, H-P. & Lauber-Rönsberg, A., 2013, In: Forschung & Lehre : alles was die Wissenschaft bewegt. 15, 11, p. 904-906

    Research output: Contribution to journalReview articleContributed

  7. Published

    Verwendung von Naturstein an Bauwerken in Plauen / Vogtland

    Heinz, F. & Siedel, H., 2013, Mitteilungen des Vereins für vogtländische Geschichte, Volks- und Landeskunde. Plauen, Vol. 19. p. 129-159

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

  8. Published

    Vibration in Music Perception

    Merchel, S. & Altinsoy, M. E., 2013.

    Research output: Contribution to conferencesPaperContributedpeer-review

  9. Published

    Vibration of the human tympanic membrane measured with OCT in a range between 0.4 kHz and 6.4 kHz on an ex vivo sample

    Burkhardt, A., Kirsten, L., Bornitz, M., Zahnert, T. & Koch, E., 2013, Head and Neck Optical Diagnostics. 4 p. (Proceedings of SPIE: 9798, Vol. 8805).

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

  10. Published

    Virtual reality in material handling system engineering

    Rank, S. & Schulze, F., 2013, Zentrum Virtueller Maschinenbau, Journal II. Neuerscheinung ed. Dresden, p. 8-8 1 p.

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

Export list (max. 500):