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

4868 Results:

  1. Prof. Dr. Udo Kragl

    Technische Chemie 1 (BSc WCh, LA Ch) Vorlesung + Seminar TC 2: Lebensmitteltechnologie (LA Ch) Seminar AnC 5: Moderne Methoden der Massenspektrometrie und Chromatographie (MSc Ch) Vorlesung + Seminar PC 8: Wasser

    https://www.chemie.uni-rostock.de/en/arbeitsgruppen/analytische-technische-chemie/prof-dr-udo-kragl/

  2. M.Sc. Yannic Ege

    (Decapoda, Anomura, Paguridae). Zoomorphology 144, 22 (2025). https://doi.org/10.1007/s00435-025-00707-5 Ege, Y., Foth, C., Baum, D., Wirkner, C.S. , Richter, S. (2020): Adapting spherical-harmonics-based

    https://www.zoologie.uni-rostock.de/en/team/translate-to-english-doktorandinnen/msc-yannic-ege/

  3. 13. Rostocker Baggergutseminar

    im Rot markierten Bereich (s. Lageplan) Anreise mit der Bahn Das Gelände der Fakultät liegt etwa 2,5 km vom Hauptbahnhof entfernt und ist gut an den öffentlichen Nahverkehr angebunden. Ziel-Haltestelle

    https://www.auf.uni-rostock.de/en/professuren/bau-und-umweltbereich/geotechnik-und-kuestenwasserbau/veranstaltungen/13-rostocker-baggergutseminar/

  4. Ionita-Scholz_2024

    (e.g., wind, heat and moisture advection, air pressure pattern, sea surface temperature) from the ERA5 meteorological reanalysis data. In addition, we look at another kind of extreme events, polar lows.

    https://www.spp-antarktisforschung.de/en/research/projects/current-projects/physics-chemistry/ionita-scholz-2024/

  5. Seifert_2021

    (4) studying the vertical structure of clouds and its relationship to precipitation formation, and (5) on the evaluation of regional contrasts in the properties of aerosols and clouds and the associated

    https://www.spp-antarktisforschung.de/en/research/projects/current-projects/physics-chemistry/translate-to-english-seifert-2021/

  6. Downloads

    institutions abroad who are significantly involved in the project. New : → Please note points 6.4 and 6.5 of the new guidelines for submitting applications, in particular the reference to any agreements on

    https://www.spp-antarktisforschung.de/en/organisation/application-process/downloads/

  7. Christian Rode

    (2024). Posture-induced modulation of lower-limb joint powers in perturbed running. Plos one , 19 (5), e0302867. Rode C, Tomalka A, Blickhan R, Siebert T. (2024). Structurally motivated models to explain

    https://www.isportwi.uni-rostock.de/en/institut/mitarbeitende/finanzen-1/christian-rode/

  8. Publications

    Mengel M. 2019. Stabilizing the West Antarctic Ice Sheet by surface mass deposition. Science advances 5 (7): eaaw4132. Gong D, Fan X, Li Y, Li B, Zhang N, et al. 2019. Coring of antarctic subglacial sediments [...] ice: insights from numerical models and ice core microstructure analysis. Frontiers in Earth Science 5 : 66. 2016 Boy J, Godoy R, Shibistova O, Boy D, McCulloch R, et al. 2016. Successional patterns along [...] increase in surface mass balance in coastal Dronning Maud Land, East Antarctica. The Cryosphere 10 (5): 2501-2516. Ronge TA, Tiedemann R, Lamy F, Köhler P, Alloway BV, et al. 2016. Radiocarbon constraints

    https://www.spp-antarktisforschung.uni-rostock.de/en/research/fachbereiche/geological-sciences/translate-to-english-publikationen/

  9. GRK 1387/1 dIEM oSIRIS

    Rule-based multi-level modeling of cell biological systems . - BMC Systems Biology, 5(166). doi: 10.1186/1752-0509-5-166 2010 Roland Ewald (2010): Automatic Algorithm Selection for Complex Simulation Problems [...] doi: 10.1074/jbc.M114.573519 . C. Mussmann, R. Hübner, M. Trilck, A. Rolfs, and M. J. Frech (2014): HES5 is a key mediator of Wnt-3a-induced neuronal differentiation. Stem Cells Dev. 23, 1328–1339. doi: 10 [...] and visualizing chemical reaction networks from pi-calculus models. - Formal Aspects of Computing, 25(5):723-742. doi: 10.1007/s00165-011-0209-0 . H. Lemcke, M.L. Nittel, D.G. Weiss, S.A. Kuznetsov (2013):

    https://www.ief.uni-rostock.de/en/forschung/projekte/projekte-an-der-ief/erfolgreich-abgeschlossene-grossprojekte/dfg-graduiertenkollegs/grk-1387/1-diem-osiris/

  10. Conference Contributions

    Lennartz, B. (2018) Impact of increased sulfate concentrations on fen peat. Workshop “Peat under Water”, 5-6 September 2018, Salem/Malchin, Germany. (Poster) Haider, F. , Sokolov, E., Sokolova, I . 2018. Combined [...] coastal sediments impacted by submerged peat: A column experiment study. Peat Under Water Workshop, 5 th -6 th September 2018 Salem/Malchin, Germany. (Poster) Rezanezhad, R., Van Cappellen, P., Lennartz [...] Grundwassereintrags in marinen Bodengrenzschichten, Experimentelle Strömungsmechanik, 25. Fachtagung, 5.-7. September 2017 Karlsruhe, Herausgeber: B. Ruck, C. Gromke, A. Leder, D. Dopheide Kreuzburg, M .

    https://www.baltic-transcoast.uni-rostock.de/en/research/publications/conference-contributions/

Displaying results 2901 to 2910 of 4868.
  • Previous
  • ...
  • 287
  • 288
  • 289
  • 290
  • 291
  • 292
  • 293
  • 294
  • 295
  • 296
  • ...
  • 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