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

4889 Results:

  1. Dr. Kristina Koebe

    Günter Görlich. Schriftenreihe der Arbeitsstelle Pädagogische Lesungen an der Universität Rostock, 2 (5). Verfügbar unter: https://doi.org/10.18453/rosdok_id00002723 . Koch, K. & Koebe, K. (2021). Die E [...] Lesungen der DDR. Schriftenreihe der Arbeitsstelle Pädagogische Lesungen an der Universität Rostock 5 (19). Verfügbar unter: https://doi.org/10.18453/rosdok_id00004107 . Koch, K., Brand, T. von, Linström [...] icht der DDR. Schriftenreihe der Arbeitsstelle Pädagogische Lesungen an der Universität Rostock, 5 (20). Verfügbar unter: https://doi.org/10.18453/rosdok_id00004263 . Koebe, K. (2023). Fake und Fakt

    https://www.germanistik.uni-rostock.de/en/personen/wiss-mitarbeitende/kristina-koebe/

  2. 1st semester

    Monday till Thursday 9:00 a.m. to 5:00 p.m. | Friday 9:00 a.m. to 1:00 p.m. | Phone: +49 381 498-1230 Office hours Ulmenstraße 69, House 3: Monday till Thursday 9:00 a.m. to 5:00 p.m. | Friday 9:00 a.m. to [...] can only be made by them. Please do not staple or clip the documents and submit them in at least A5 format. The submitted documents will be destroyed after processing. Therefore, in your own interest

    https://www.uni-rostock.de/en/study/german-prospective-students/enrolment/1st-semester/

  3. Häufig gestellte Fragen

    kannst du als Student:in für etwa 3-5 Euro Mittag essen. Wie sieht es mit Essensmöglichkeiten auf dem Campus aus? Die Rostocker Mensa Süd liegt auf dem Südstadt-Campus in 5-10 Gehminuten Entfernung vom Institut [...] veganen Optionen, und das Essen ist immer lecker! Studierende zahlen einen ermäßigten Preis von etwa 3-5 Euro für ein Mittagsgericht. Außerdem findest du verschiedene Supermärkte, Bäcker, Imbisse etc. in näherer

    https://www.chemie.uni-rostock.de/en/studium-lehre/studiengaenge/haeufig-gestellte-fragen/

  4. M.Sc. Uwe Etzien

    fuel type and photochemical aging" , (2025) Environmental Science: Atmospheres, 5 (9), pp. 973 - 986, DOI: 10.1039/d5ea00040h Saraji-Bozorgzad, M.R., Bendl, J., Jeong, S., Padoan, S., Mudan, A., Etzien [...] engine operation on sulfur-containing fuels”, 8th MTZ Conference Heavy-Duty On- and Off-Highway Engines, 5.-6. November 2013; Bank, R.; Buchholz, B.; Harndorf, H.; Rabe, R.; Etzien, U.: "Analyse des Konvers

    https://www.lkv.uni-rostock.de/en/team/research-fellows-and-assistants/msc-uwe-etzien/

  5. Publications

    R. Schoch, H. Egold, J. Steube, F. R. Fischer, S. Lochbrunner and M. Bauer Dalton Trans. 25 (12), D5DT02915E (2026) involved projects: W06 Cross-Process Interference in Single-Cycle Electron Emission from [...] pper Perovskite Nanostripes S.B. Malani, E. Klein, R.M. Piehler, R. Lesyuk and C. Klinke Small 22 (5), e09443 (2026) involved projects: W05 Imaging domain boundaries of rubrene thin crystallites by ph [...] T. Völzer, R. Lange, K. Oldenburg, S. Lochbrunner, I. Barke and S. Speller Adv. Optical Mater. 14 (5), e02744 (2025) involved projects: W06 High-order harmonic generation in an organic molecular crystal

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

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

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

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

  9. Publications

    Unstructured Peer-To-Peer Networks (Student Paper & Poster) IEEE Sarnoff Symposium 2008, pp. 1-5, ISBN: 978-1-4244-1843-5, Princeton, USA, April 2008 Jakob Salzmann, Jens Schulz, Ralf Behnke, Peter Danielis, Dirk [...] Annual IEEE Consumer Communications & Networking Conference (CCNC), pp. 1-2, ISBN: 978-1-5386-4790-5, Las Vegas, NV, USA, January 2018 2017 Peter Danielis, György Dán, James Gross, André Berger: Dynamic [...] Award) Henning Puttnies, Peter Danielis, Christian Koch, Dirk Timmermann: Java Extensions for OMNeT++ 5.0 In Proceedings of the OMNeT++ Community Summit 2017, pp. 38-42, arxiv.org/abs/1709.02823 , Bremen

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

  10. Publications

    University of Science and Technology, Department of Marine Technology, 607-614. ISBN: 978-82-691120-5-4 DOI: 10.15480/882.9297 2023 Lindemann, T, La Ferlita, A, Di Nardo, E, Kaeding, P (2023). Application [...] al Conference on Marine Structures, Chalmers University of Technology, Gothenburg, Sweden, April 3-5, MARSTRUCT 2023, 761-771. DOI: 10.1201/9781003399759-84 2022 Akkuş, Ö (2022). Evaluation of the Pos [...] collapse of ship structural components , Proc 32nd Int Ocean and Polar Eng Conf, Shanghai, China, June 5–10, ISOPE, Vol 4: 3117-3123. La Ferlita, A, Di Nardo, E, Macera, M, Lindemann, T, Ciaramella, A, Koulianos

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

Displaying results 2871 to 2880 of 4889.
  • Previous
  • ...
  • 284
  • 285
  • 286
  • 287
  • 288
  • 289
  • 290
  • 291
  • 292
  • 293
  • ...
  • 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