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

4862 Results:

  1. Jurymitglied bei BMWi-Wettbewerb (06.03.2017)

    befinden, die Gründung muss vor dem 01.06.2016 erfolgt und die Firma darf nicht älter als 5 Jahre sein. Der Gewinner erhält 5.000 Euro; die beiden Sonderpreise „Mut zur Selbstständigkeit“ und „Interessante Gr [...] Förderer der Universität Rostock 2017 (04.12.2017) 04.12.2017 B.Sc. Mohamad Albadawi (Syrien), Student im 5. Fachsemester im Master-Studiengang Visual Computing, erhält am 4. Dezember 2017 den Preis der Gesellschaft [...] 10.2017 Dr.-Ing. Peter Danielis (Institut für Angewandte Mikroelektronik und Datentechnik) erhält am 5. Oktober 2017 einen Best Paper Award der 8. IEEE Annual Information Technology, Electronics and Mobile

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

  2. Weiterbildungsformate

    eigene Zeiteinteilung Sprache: deutsch Link zum Kurs H5P Inhalte in der Lehre H5P Inhalte in der Lehre Der Onlinekurs zeigt, wie mit der Software H5P interaktive Lerninhalte wie Quizze, Videos oder Übungen [...] in einem Land vor eurer Zeit Der Kurs Die DDR – In einem Land vor eurer Zeit vermittelt anhand von 5 Lerneinheiten, Einblicke in die Lebenssituation der Großeltern- und Elterngeneration im DDR-Staat, der [...] können. Teilnehmende lernen anhand von Tutorials, Praxisbeispielen und rechtlichen Hinweisen, eigene H5P-Lernmodule zu entwickeln. Zielgruppe: Hochschullehrende, Lehrerinnen und Lehrer, die interaktive, digitale

    https://www.uni-rostock.de/en/weiterbildung/angebote/formate/

  3. Weiterbildungsthemen

    jederzeit möglich Link zur Micro-Lecture H H5P Inhalte in der Lehre | Onlinekurs H5P Inhalte in der Lehre | Onlinekurs Der Onlinekurs zeigt, wie mit der Software H5P interaktive Lerninhalte wie Quizze, Videos [...] Land vor eurer Zeit | Onlinekurs Der Kurs Die DDR – In einem Land vor eurer Zeit vermittelt anhand von 5 Lerneinheiten, Einblicke in die Lebenssituation der Großeltern- und Elterngeneration im DDR-Staat, der [...] können. Teilnehmende lernen anhand von Tutorials, Praxisbeispielen und rechtlichen Hinweisen, eigene H5P-Lernmodule zu entwickeln. Zielgruppe: Hochschullehrende, Lehrerinnen und Lehrer, die interaktive, digitale

    https://www.uni-rostock.de/en/weiterbildung/angebote/formate-1/

  4. Journals

    Meschede, Dieter Bauer Steering Edge Currents through a Floquet-Topological Insulator Phys. Rev. Research 5, 023056 (2023) [arXiv:2204.08873] Yaroslav Lutsyshyn, Francisco Navarrete, Dieter Bauer The N-shaped [...] Concealment Due to Loss of Coherence of the Incident Beam of Projectiles in Collision Processes Atoms 9, 5 (2021) 2020 2020 (Group members bold ) Francisco Navarrete and Uwe Thumm Two-color-driven enhanced [...] absorption and emission of harmonics by clusters subject to intense short laser pulses Las. Phys. Lett. 5, 631 (2008) (invited short review) N.I. Shvetsov-Shilovski, S.P. Goreslavski, S.V. Popruzhenko, and

    https://www.qtmps.physik.uni-rostock.de/en/forschung/publikationen/journals/

  5. Activities

    Zoological Society (DZG) , Bonn, 12. - 16.09.2022 Presentations Hazerli, D. , Richter, S. (2022): The P5-swimming crab morphotype – once evolved and several times reduced? Höpel C.G. , Schwentner, M., Richter [...] C.S. (2022): Evolutionary morphology and phylogeny of chelicerates. (as invited symposium speaker) 5th International Congress of Invertebrate Morphology , Vienna, 08 - 12.08.2022 Naumann, B. Günther, A [...] (Euphausiacea, Crustacea). Keiler, J., Richter, S. : Functional and evolutionary morphology of the 5th pereiopods in anomalan decapods (Reptantia; Decapoda; Crustacea). Møller, O.S.: Dipteropeltis revisited:

    https://www.zoologie.uni-rostock.de/en/activities/

  6. Publications

    Bauwe H, Wolkenhauer O (2011) Modelling the Calvin-Benson cycle. BMC Systems Biology 5:185 doi:10.1186/1752-0509-5-185 Kern R, Bauwe H, Hagemann M (2011) Evolution of enzymes involved in the photorespiratory [...] manipulation affects Arabidopsis photosynthesis, growth and stomatal behavior. New Phytologist 246(5): 2102-2117 DOI: 10.1111/nph.70124 Lee K, Doello S, Hagemann M, Forchhammer K (2025) Deciphering the [...] Methods and Protocols, Methods in Molecular Biology, vol. 2792, https://doi.org/10.1007/978-1-0716-3802-6_5 Sokolova IM, Kovalev A, Timm S, Marchenko J, Sukhotin A (2024) Species-specific metabolome changes during

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

  7. DFG-Sonderforschungsbereich SFB 1270 ELAINE

    und arbeiten: Dritte Förderperiode 6,5 Post-Doc’s (davon 1,5 an der IEF) 18 Promovierende (davon 6 an der IEF) 1,5 nichtwissenschaftliche Mitarbeitende (davon 1,5 an der IEF) Zweite Förderperiode 10 Post-Doc’s [...] Post-Doc’s (davon 3 an der IEF) 19 Promovierende (davon 7 an der IEF) Erste Förderperiode 5 Post-Doc’s (davon … an der IEF) 22 Promovierende (davon … an der IEF) In den SFB 1270 ELAINE sind neben den f [...] DFG-Sonderforschungsbereich SFB 1270 ELAINE – Elektrisch Aktive Implantate von 2024 bei Vimeo (Laufzeit 5:41 min) → Bitte beachten Sie: Sobald Sie sich das Video ansehen, werden Informationen darüber an Vimeo

    https://www.ief.uni-rostock.de/en/forschung/projekte/projekte-an-der-ief/dfg-sonderforschungsbereich-sfb-1270-elaine/

  8. Prof. Dr.-Ing. Harald Aschemann

    (Journal of Computer and Systems Sciences International), No. 5, pp. 5-16, 2010 (Journal of Computer and Systems Sciences International, Vol. 49, No. 5, pp. 683-695, 2010). H. Aschemann; G. V. Kostin; A. Rauh; [...] Liebherr-Werk Nenzing GmbH. Drehleiter. H. Aschemann, E.P. Hofer, O. Sawodny, Patentanmeldung DE 100 16 137.5, Anmeldetag 31.03.2000, Anmelder: IVECO Magirus Brandschutztechnik GmbH. Drehleiter-Regelung. H. Aschemann

    https://www.com.uni-rostock.de/en/arbeitsgruppe/lehrstuhlinhaber/prof-dr-ing-harald-aschemann/

  9. Prof. Dr. Stefan Richter

    (Decapoda, Anomura, Paguridae). Zoomorphology 144, 22 (2025). https://doi.org/10.1007/s00435-025-00707-5 143. Höpel, C. G. ; Yeo, D.; Ahyong, S. T.; Meier, R.; Richter, S. (2023). First mitochondrial genomes [...] neither synonymous nor equivalent but different perspectives on the same phenomenon. Cladistics 33(5): 540-544. 110. Wirkner, C.S. ; Göpel, T.; Runge, J.; Keiler, J.; Klußmann-Fricke, B.-J.; Huckstorf [...] integration into a novel formalization scheme for morphological descriptions. Systematic Biology 66(5): 754-768. 109. Keiler, J.; Wirkner, C.S. ; Richter, S. (2017): 100 years of carcinization – the evolution

    https://www.zoologie.uni-rostock.de/en/team/translate-to-english-mitarbeitende/prof-dr-stefan-richter/

  10. Dipl.-Ing. Claudia Oehlschläger

    with light microscopy, SEM, TEM and AFM. EMC 2008;3: Life Science:371-2. doi: 10.1007/978-3-540-85228-5_186. Schmitt L, Lurtz C , Behrend D, Schmitz K-P. Registered microhardness of human tooth parts and

    https://www.werkstoffe-medizin.uni-rostock.de/en/team/arbeitsgruppe/dipl-ing-claudia-oehlschlaeger/

Displaying results 3561 to 3570 of 4862.
  • 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