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

4883 Results:

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

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

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

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

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

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

  7. Tagungen

    on ATUS-Jahrestagung 2022 (Arbeitsgruppe Trainings von Unterrichts- und Sozialkompetenz) Am 4. und 5. März 2022 fand am Institut für Sonderpädagogische Entwicklungsförderung und Rehabilitation der Universität

    https://www.sopaed.uni-rostock.de/en/institut/das-iser/tagungen/

  8. Reaktionsmechanismen

    ischen Lösungen und den Verlauf dieser SN2-Reaktion" [Journal für praktische Chemie, Bd. 331, Heft 5 (1989), S. 709ff.] A. Flint et al. "Neue Ergebnisse zur alkalischen Hydrolyse von Alkylhalogeniden in

    https://www.didaktik.chemie.uni-rostock.de/en/forschung/weitere-forschungsgebiete/reaktionsmechanismen/

  9. Audio

    Uhr Rostock" in October 2022. Aired 15.11.2023 in the "Kulturmagazin" program at 7:05 p.m.. Duration 5 min. Author: Ramon Gerwien. Audio file HERE with kind permission.

    https://www.aur.uni-rostock.de/en/table-of-contents/audio-and-video/audio/

  10. 2. Spieltags-Bericht 24.04.2024 (Sommersaison 2024) 
    29.04.2024

    Durch den Feiertag am kommenden Mittwoch, findet der nächste Spieltag der Uni-Liga erst wieder am 8.5.2024 statt. Wie gewohnt wird dann ab 16:00 Uhr der Ball an der Waldessaumsportanlage (Am Waldessaum

    https://www.hochschulsport.uni-rostock.de/en/vorlage-aktuelles/detailansicht-der-news/n/2-spieltags-bericht-uni-liga-fussball-24042024-sommersaison-2024-193379/

Displaying results 2871 to 2880 of 4883.
  • 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