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

4888 Results:

  1. Publikationen

    Personenlexikon, Band 5, hrsg. von Franklin Kopitzsch u. Dirk Brietzke, Göttingen 2010, S. 113-114. Heinz Erhardt, Artikel für die „Hamburgische Biografie“, Personenlexikon, Band 5, hrsg. von Franklin Kopitzsch

    https://www.imf.uni-rostock.de/en/forschung/arbeitsbereich-mediengeschichte/schwedische-landesaufnahme-von-pommern-1692-1709-dfg/prof-dr-michael-busch/publikationen/

  2. Niagara Falls

    certain amount of change over time, which had to be accounted for and explained in the stories. Figure 5: Sketch showing some of the changes of Niagara Falls over the last 2,000 years. It provides some insights [...] Anthology_and_bibliography_of_Niagara_Falls_(1921)_(19362442752).jpg ; Accessed 04/27/2018. Figure 5: Berton, Pierre. Niagara: A History of the Falls , p. 19.

    https://www.iaa.uni-rostock.de/en/forschung/laufende-forschungsprojekte/american-antiquities-prof-mackenthun/landmark-stories/niagara-falls-1/

  3. Publikationen

    nostik. In D.H. Rost, J.R. Sparfeldt & S.R. Buch (Hrsg.), Handwörterbuch Pädagogische Psychologie (5. Aufl.) (S. 417-424). Weinheim: Beltz. Jungjohann, J., DeVries, J. M., Gebhardt, M. & Mühling, A. (2018) [...] DeVries, J. M., Gebhardt, M. F. & Voß, S. (2017). An assessment of measurement invariance in the 3- and 5-factor models of the Strengths and Difficulties Questionnaire: New insights from a longitudinal study

    https://www.aesf.uni-rostock.de/en/arbeitskreis-lern-verlaufsdiagnostik-im-schulischen-feld/publikationen/

  4. Publikationen 2016

    A Platform for Monitoring In-Situ Experiments Tagungsband des 5. Jahreskolloquiums Bildverarbeitung in der Automation (BVAu 2016), pp. 1-5, ISBN: 978-3-9814062-7-6, Lemgo, Deutschland, Dezember 2016 Kevin

    https://www.imd.uni-rostock.de/en/forschung/veroeffentlichungen/publikationen/publikationen-2016/

  5. Ehrung mit der Fraunhofer-Medaille (10.03.2020)

    ng – Homepage Humboldt-Forschungspreis – Homepage GFUR-Förderpreis 2020 (05.11.2020) 05.11.2020 Am 5. November 2020 wurde Ahmad Abdulaal (Student im Bachelor Informatik) mit dem Förderpreis der Gesellschaft [...] Studierende und Promovierende der Universität Rostock vergeben. DAAD-Preis 2020 (05.11.2020) 05.11.2020 Am 5. November 2020 wurde der indische Mathematiker Saptarshi Bej (Doktorand am Lehrstuhl für Systembiologie

    https://www.ief.uni-rostock.de/en/fakultaet/geschichte/preise-und-ehrungen/preise-und-ehrungen-2020/liste-langansicht/

  6. 2021

    (STELLA) for preclinical deep brain stimulation research in rodents . J Neural Eng. 2021 Sep 21;18(5). DOI: 10.1088/1741-2552/ac23e1 Lange H-E, Arbeiter N, Bader R, Kluess D. Performance of a Piezoelectric [...] impedance measurements by effective medium approximation , AIP Advances 11, 105316 (2021). DOI: 10.1063/5.0070182 Sill, A., Nestler, P., Thran, P., & Helm, C. A. (2021). Dependence of PSS Diffusion in Multilayers

    https://www.elaine.uni-rostock.de/en/research/publications/2021/

  7. Invited talks

    University of Göttingen, Germany, 2024. 2023 B. Corzilius : MAS DNP – transfer mechanisms and methods, 5 th G-NMR school, Heinrich Heine University Düsseldorf, Germany, 2023. B. Corzilius : The role of methyl [...] under MAS DNP for localized enhancement in biomolecules, Intercontinental NMR Conference Series (ICONS) 5 , online conference, 2022. B. Corzilius : NMR signal enhancement and more: Dynamic nuclear polarization

    https://www.corzilius.chemie.uni-rostock.de/en/hauptmenue/publications/conference-contributions/invited-talks/

  8. Christian Russenberger

    Blütezeit , in: A. Furger u.a., Die Schweiz zur Zeit der Römer. Multikulturelles Kräftespiel vom 1. bis 5. Jahrhundert, Archäologie und Kulturgeschichte der Schweiz 3 (Zürich 2001) 131–194. Grabungsberichte [...] "Sarkophage der Römischen Kaiserzeit: Produktion in den Zentren – Kopien in den Provinzen", Paris, 2.–5. November 2005, Sarkophag-Studien 6 (Ruhpolding 2013) , Antike Welt online. http://www.antikewelt.de/index

    https://www.altertum.uni-rostock.de/en/institut/mitarbeitende/christian-russenberger/

  9. Former Group Members

    9 months (2021-2022) M.Sc. Muhammad Uzair (Pakistan) 6 months Prof. Dr. Jamshed Iqbal (Pakistan) 3.5 months 2021 M.Sc. Saquib Jalil (Pakistan) 6 months M.Sc. Farooq Ahmad (Pakistan) 6 months M.Sc. Muhammad [...] Gushchina (Russia) 2012 Anna Ilinova (Russia) Eduard Shmalenyuk (Russia) 2011 Nayane de Souza (Brazil), 5 months 2009 Rolf Heilemann (Norway), 2 months 2008 Hüseyin Ongun (Turkey), 2 months Georgina Ofori-Yeboah

    https://www.langer.chemie.uni-rostock.de/en/workgroup/alumni/ehemalige-gruppenmitglieder/

  10. Masterarbeiten

    Policing in zeitgesteuerten TSN-Netzwerken 2026 M. Sharukh A Resource Consumption Study of different 5G Positioning Procedures on Resource-Constrained Devices 2026 A. Hamda Schaltungen für schnelle Matr [...] Field of Automated Parking 2020 M. Shoaib Development of an OPC UA Based Configuration Concept for 5G Industrial Networks 2020 F. Priyanta Development of an OPC UA based Configuration Concept for Deterministic

    https://www.imd.uni-rostock.de/en/lehre/abgeschlossene-arbeiten/masterarbeiten/

Displaying results 3561 to 3570 of 4888.
  • Previous
  • ...
  • 353
  • 354
  • 355
  • 356
  • 357
  • 358
  • 359
  • 360
  • 361
  • 362
  • ...
  • 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