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

4887 Results:

  1. 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/

  2. 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/

  3. Ältere Lehrveranstaltungen

    2 SWS DI 13.15-16.45, Jacobi-Passage, SR 2 Blockveranstaltung, 14-tägig. Termine: 7.4., 21.4., 5.5., 19.5., 2.6., 30.6.2020 Ulmenstr. 69, H. 3, SR 421 Immer wieder in der Geschichte der Musik gibt es [...] Flugschrift Early History of Mass Media: Broadsheet 2 SWS, 5.–8. Sem., wo Hs: Mi 07.30-09.00, SR 4039, A.-Bebel-Str. 28 Schmitt Module TK4, TK5, IDS Obligatorische Vorleistung ist ein absolviertes Grundstudium [...] Flugblatt und Flugschrift (Early History of Mass Media: Broadsheet) 2 SWS, 5.-8. Sem., wo. Mi., 09.15-10.45,SR 50, PHF F, G, TK 4, TK 5,IDS Anmeldung Per Stud.IP Das Seminar behandelt illustrierte Flugblätter

    https://www.wossidlo.uni-rostock.de/en/lehre/aeltere-lehrveranstaltungen/

  4. 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/

  5. 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/

  6. 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/

  7. Kostenlose Software

    Festplattenausnutzung isorecorder.alexfeinman.com/v2.htm windirstat.sourceforge.net Datei-Tools A.F.5 GUI-Tool: Ermöglicht das gleichzeitige Umbenennen von Dateien www.fauland.com Ant Renamer GUI-Tool:

    https://www.itmz.uni-rostock.de/en/anwendungen/software/windows/allgemeines/kostenlose-software/

  8. Liste

    Rostock und wissenschaftlicher Mitarbeiter an der Jade Hochschule Wilhelmshaven) mit dem Preis des 5. Science Slam der Universität Rostock 2022 für seinen Vortrag „Compact modelling of high-tech systems

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

  9. Newsletter 25 (German)

    Jahr wurden 37 wissenschaftliche Anträge von 53 Antragstellern im SPP eingereicht. Davon 32 Neu- und 5 Fortsetzungsanträge. Zusätzlich zu den wissenschaftlichen Anträgen wurde dieses Mal auch wieder ein

    https://www.spp-antarktisforschung.uni-rostock.de/en/about-us/current/newsletters/newsletter-25-german/

  10. Vorträge & Publikationen

    Didaktiken“. Newsletter Hier finden Sie unsere „Mission ICH“-Newsletter: „Mission ICH“ - Newsletter Nr. 5: April 2023 „Mission ICH“ - Newsletter Nr. 4: Oktober 2022 „Mission ICH“ - Newsletter Nr. 3: Oktober

    https://www.ibp.uni-rostock.de/en/probo-net/vortraege-publikationen/

Displaying results 3581 to 3590 of 4887.
  • Previous
  • ...
  • 355
  • 356
  • 357
  • 358
  • 359
  • 360
  • 361
  • 362
  • 363
  • 364
  • ...
  • 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