Skip to main content Skip to footer
Deutsch Login

Vorlesungsverzeichnis

Stud.IP

Bibliothek

DFG

Petri Nets 2017

Model Checking Contest @ Petri Nets

Universität Rostock
Theoretische Informatik
  • Team
    • Portalseite Lehre
    • Lehrveranstaltungen
    • Studentische Arbeiten
    • Absolventen
      • Dissertationen
      • Diplomarbeiten
      • Masterarbeiten
      • Bachelorarbeiten
      • Hausarbeiten
      • Studienarbeiten
    • Didaktisches Kabinett
    • Forschungsziele
    • Projekte
    • Publikationen
    • Werkzeuge
    • Tools
      • Tool Listing
  • Institut für Informatik
  • Startseite
  • Suche
Reset

4797 Results:

  1. Publications PEED

    Reliability, Vol. 168, May 2025 278 Vishwamitra, G., Fuhrmann, J., Wikström, T., Eckel, H.-G. A novel 4.5 kV nonlatching IGCT for turn-on di/dt controllability without a clamp circuit ISPSD 2025 277 Hildebrandt [...] Conference EPE 2023 240 Vishwamitra, G., Eckel, H.-G. Low forward voltage gate controllable diode for 6.5 kV HVDC application ISPS 2023, Prag 239 Acharya, V. Fuhrmann, J. Eckel, H.-G. Desaturation Pulse based [...] quium Freiburg (Breisgau), 2022 234 Vishwamitra Yoganath, G., Eckel, H.-G. A simulation study of 6.5kV Inhomogeneous IGBT Leistungshalbleiterkolloquium Freiburg (Breisgau), 2022 233 To, P. H. T., Eckel

    https://www.iee.uni-rostock.de/en/research/power-electronics-and-electrical-drives-lea/publications-peed/

  2. Archiv Kolloquium

    Grabraubs Do., 28.4. 2022 Dr. Fabian Neuwahl Scaligers Pesthymnus Do., 12.5. 2022 Prof. Dr. Heinz-Günther Nesselrath Do., 19.5. 2022 Prof. Dr. Christian Rollinger Do., 2.6. 2022 Jun.-Prof. Tobias MörtzTobias [...] als hermeneutische Herausforderung Do., 08.06. 2023 Dr. Enno Friedrich Ein Kreuz im Zentrum – Carm. 5, 6 als Mittelpunkt der Carmina des Venantius Fortunatus Do., 15. 06. 2023 Prof. Dr. Filippo Carlà-Uhink [...] Orpheus als Opfer seiner Musik. Ein unbeachteter Aspekt der Orpheusdarstellungen auf attischen Vasen des 5. Jhs. v. Chr. WS 2009/10 05.11.2009 PD Dr. Anja Bettenworth / Münster Ovids Elegien und die Konstruktion

    https://www.altertum.uni-rostock.de/en/institut/archiv/archiv-kolloquium/

  3. Publikationen

    submaximal and submaximal fatiguing voluntary contractions in knee osteoarthrosis patients. Plos One 12(5)e0176976. Behrens, M., Husmann, F., Gube, M., Felser, S., Weippert, M., Zschorlich, V., Bruhn, S., [...] study. Archives of Orthopaedic and Trauma Surgery , 137 (2), 195-207, DOI: 10.1007/s00402-016-2607-5 Husmann, F., Gube, M., Felser, S., Weippert, M., Mau-Moeller, A., Bruhn, S., Behrens, M. (2016). Central [...] Deutschlands bester Mittelstreckenläufer – Eine Analyse der vergangenen 25 Jahre. Leistungssport, 45 (5), 28-32. Stöckel, T. , Jacksteit, R., Behrens, M. , Skripitz, R., Bader, R., Mau-Moeller, A. (2015)

    https://www.isportwi.uni-rostock.de/en/forschung/trainingswissenschaft/portalseite-trainingswissenschaft/publikationen/

  4. Leitfaden "datenschutzkonforme Verarbeitung"

    Excel-Tabelle abbilden oder in einem Word-Dokument als Fließtext beschreiben, bleibt Ihnen überlassen. 5. Schritt: Verwendung einer Software/eines IT-Systems oder sonstigen technischen Hilfsmittels? Sofern [...] Erste Prüfung der Unterlagen durch die Datenschutzbeauftragte Sobald Sie die in Schritt 4 und Schritt 5 beschriebenen Unterlagen erstellt haben, reichen Sie diese bitte gebündelt und im DOC.X-Format (Word-Foormat [...] personenbezogene Informationen mit Hilfe von Software/(Audio-/Video)Technik verarbeiten (s. Schritt 5 ), wird der IT-Sicherheitsbeauftragte einbezogen. Nach der ersten Sichtung der Unterlagen werden wir

    https://www.uni-rostock.de/en/universitaet/vertretungen-und-beauftragte/datenschutzbeauftragte/leitfaden-datenschutzkonforme-verarbeitung/

  5. Liste

    ist. read more 24.09.2019 5. Workshop zum Stand, den Herausforderungen und Impulsen des Geschäftsprozessmanagements – zuGPM 2019 (24.09.2019) Am 24. September 2019 findet der 5. Workshop zum Stand, den [...] durchgeführt. read more 05.12.2019 Internationale X-Mas Party 2019 der Universität Rostock (05.12.2019) Am 5. Dezember 2019 findet die Internationale X-Mas Party 2019 der Universität Rostock ab 19:00 Uhr im P [...] und Prof. Dr. rer. nat. habil. Karsten Wolf (Universität Rostock, Institut für Informatik) werden 5. September 2019 mit dem Test of Time Award 2019 Runner-Up auf der 17th… read more 04.09.2019 4. Herbstliche

    https://www.ief.uni-rostock.de/en/fakultaet/ueber-uns/news-archiv/news-2019/liste/

  6. Dr. Joachim Schmidt

    and related ground beetles (Coleoptera: Carabidae: Bembidiini). Insect Systematics and Diversity , 8(5), 9; 2024, ixae025. https://doi.org/10.1093/isd/ixae025 Hofmann, S., Podsiadlowski, L., Andermann, T [...] (Coleoptera: Carabidae: Trechini). Zootaxa 4544 (1): 103–112. https://doi.org/10.11646/zootaxa.4544.1.5 Belousov, I.A., Kabak, I.L., Schmidt, J. ( 2019 ): A new genus of Trechini beetles from the Eastern [...] Löbl, D. (eds): Catalogue of Palearctic Coleoptera, Volume 1. Second edition . Brill, Leiden, Boston: 5–6. Wiesner, J., Will, K., Schmidt, J. ( 2017 ): Two new genera and species of tiger beetles from Baltic

    https://www.zoologie.uni-rostock.de/en/team/translate-to-english-mitarbeitende/dr-joachim-schmidt/

  7. Publications

    H., Müller, F. (eds.). Ecological Studies 246, Springer, Berlin, pp. 387 10.1007/978-3-031-13682-5_5 Schumann, R., Berthold, M., Eggert, A., Blindow, I., Forster, S. , Schubert, H. (2023). Short-Term [...] Integrative … 1 2009 Molecular characterization and expression of a novel homolog of uncoupling protein 5 (UCP5) from the eastern oyster Crassostrea virginica (Bivalvia: Ostreidae) B Kern, AV Ivanina, H Piontkivska [...] Müller, F. (eds.). Ecological Studies 246, Springer, Berlin, pp. 117-128. 10.1007/978-3-031-13682-5_12 Forster, S., Morys, C., Powilleit, M . (2023). Patterns of Bioturbation and Associated Matter Fluxes

    https://www.meeresbiologie.uni-rostock.de/en/publications/

  8. Ostseefluchten aus der DDR. Eine deutsch-deutsch-skandinavische Verflechtungsgeschichte

    ktes. Alleine zwischen „Mauerbau“ 1961 und „Mauerfall“ 1989 haben nach bisherigen Kenntnissen rund 5.600 Menschen versucht, über das kleine, aber tückische Meer der zweiten deutschen Diktatur zu entfliehen

    https://www.dokumentationsstelle.uni-rostock.de/en/forschungsstelle/laufende-forschungsprojekte-ii/ostseefluchten-aus-der-ddr-eine-deutsch-deutsch-skandinavische-verflechtungsgeschichte/

  9. Förderung von Wohlbefinden

    relationship between nature connectedness and happiness: a meta-analysis .- Frontiers in Psychology 5(976), 1-15. Pollin, S. & C. Retzlaff-Fürst (2018): Förderung von Wohlbefinden und sozialer Kompetenz

    https://www.biodidaktik.uni-rostock.de/en/forschung/garten-und-gesundheit/foerderung-von-wohlbefinden/

  10. Konstitutionsaufklärung

    ischen Lösungen und den Verlauf dieser SN2-Reaktion" [Journal für praktische Chemie, Bd. 331, Heft 5 (1989), S. 709ff.] A. Flint et al. "Ethanol - Probleme der Aufklärung der Konstitutionsformel und des

    https://www.didaktik.chemie.uni-rostock.de/en/forschung/weitere-forschungsgebiete/konstitutionsaufklaerung/

Displaying results 2921 to 2930 of 4797.
  • Previous
  • ...
  • 289
  • 290
  • 291
  • 292
  • 293
  • 294
  • 295
  • 296
  • 297
  • 298
  • ...
  • Next

Kontakt

Universität Rostock
Institut für Informatik
Theoretische Informatik
Albert-Einstein-Straße 22
18059 Rostock Tel.: +49 381 498 7641
Fax: +49 381 498 7642
E-Mail senden

Service

  • Imprint
  • Privacy
  • Barrierefreiheit
  • Maps

E-Mail Webmaster

Social Media

  • Facebook
  • YouTube
  • Instagram

© 2026  Universität Rostock