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

4861 Results:

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

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

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

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

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

  6. Christoph Schmitt

    Archive und ihrer Präsentation im Internet (= Rostocker Beiträge zur Volkskunde und Kulturgeschichte, 5). Münster/New York/München/Berlin: Waxmann 2014. 319 S. URL: [http://rosdok.uni-rostock.de/resolve/ [...] Archive und ihrer Präsentation im Internet (= Rostocker Beiträge zur Volkskunde und Kulturgeschichte, 5). Münster/New York/München/Berlin: Waxmann 2014, S. 61-84. Introduction/Einleitung. In: Corpora eth [...] in der Griesen Gegend, hg. von Raimund Klatt, Heiko Klatt und Mario Müller. Books on Demand 2014, S. 5-9. Helfer und Helden. Rollenverteilung und Rollenkonflikt in der volkskundlichen Wissensproduktion.

    https://www.wossidlo.uni-rostock.de/en/wossidlo-forschungsstelle/forschung/forschung/publikationen/christoph-schmitt/

  7. GRK 1505 welisa

    Advanced Engineering Materials, 13 (5), pp. 165-171. DOI:10.1002/adem.201080116. ZHANG, F., OTTERSTEIN, E., and BURKEL, E., 2011. Processing of porous Ti and Ti5Mn Foams by Spark Plasma sintering. Materials [...] Dresden 9. - 11. Dezember 2013, AMA Service GmbH, Wunstorf, 2013. ISBN 978-3-9813484-5-3, pp. 68-72. DOI: 10.5162/11dss2013/3.5. GIMSA, J., and STUBBE, M., 2013. Exploiting structural polarization effects for [...] electro-thermal micro-pumps (ETµPs) for glass chips in sensorized cell-culture systems. Biosensors, 5, pp. 513-536. DOI: 10.3390/bios5030513. BONK, S.M., OLDORF, P., PETERS, R., BAUMANN, W. and GIMSA, J

    https://www.ief.uni-rostock.de/en/forschung/projekte/projekte-an-der-ief/erfolgreich-abgeschlossene-grossprojekte/dfg-graduiertenkollegs/grk-1505-welisa/

  8. apl. Prof. Dr.-Ing. habil. Dr. rer. nat. Mareike Warkentin

    tric studies: the example of dental implants. Biomedizinische Technik - Biomedical Engineering, 57(5): 365-370 Pau HW, Warkentin M , Specht O, Krentz H, Herrmann A, Ehrt K (2011) Experiments on the mechanism [...] results of a pilot study in beagle dogs. 93rd Annual Congress of the European Orthodontic Society, 5.-10.06.2017 Montreux, Schweiz Duske K, Kretzschmar S, Warkentin M , Lenz JH, Prinz C, Weltmann KD, Kundt [...] coated miniscews with regard to inflammation, osseointegration and rate of loss in a beagle pilot study. 5th International Symposium Interface Biology of Implants. 6. - 8.05.2015 Warnemünde Krüger J, Specht

    https://www.werkstoffe-medizin.uni-rostock.de/en/team/arbeitsgruppe/apl-prof-dr-ing-habil-dr-rer-nat-mareike-warkentin/

  9. LA IN Gym und RegSch (SPSO 2017)

    Anwesenheitspflicht 3.4 Prüfungen 3.5 Erweiterungsfächer und Beifächer 3.6 Freiwilliger Studienaufenthalt im Ausland 5. Broschüren / Videos / Ordnungen (Downloads) 5.3 Ordnungen 6. Beratungsmöglichkeiten [...] Studien- und Fördermöglichkeiten im Ausland erfolgt im Rostock International House. 5. Broschüren / Videos / Ordnungen (Downloads) 5.3 Ordnungen Studiengangsspezifische Prüfungs- und Studienordnung Lehramt an [...] 2.1 Ziele und Charakteristik 2.2 Inhaltliche Anforderungen 2.3 Besonderheiten 2.4 Berufspraktikum 2.5 Tätigkeitsfelder für Absolventen (Berufsfelder) 2.6 Weiterführende Qualifizierungsmöglichkeiten (Promotion)

    https://www.ief.uni-rostock.de/en/studiengaenge/staatsexamen-lehramt/informatik-fuer-lehramt-an-gymnasien-1-staatsexamen/la-in-gym-und-regsch-spso-2017/

  10. Weitere Veranstaltungen

    Wannagat: Der Rostocker Adonis-Sarkophag Abguss-Sammlung Antiker Plastik , Am Campus, Ulmenstraße 69, Haus 5 geöffnet 18:00 - 23:00 18:45, 20:00, 21:15, 22:30 Sketche des Dionysostheaters Oktober 2019 - Lange [...] Aura" (Wolfgang Friedrich: Skulptur-Grafik), 2011 Abguss-Sammlung antiker Plastik, Ulmenstraße 69, Haus 5 14.10.2011 – 04.12.2011 Donnerstag bis Sonntag 14.00–17.00 Uhr Eintritt frei Informationsflyer Artikel [...] hmnuni-rostockde) Universität Rostock - Theologische & Philosophische Fakultät Herzliche Einladung zum 5. Ernst Sellin – Carl Watzinger - Kolloquium Mittwoch, 9. Mai 2007, 15.00 Uhr - 18.00 Uhr im Heinric

    https://www.altertum.uni-rostock.de/en/institut/archiv/weitere-veranstaltungen/

Displaying results 2901 to 2910 of 4861.
  • 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