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

4793 Results:

  1. PhD-Topics 3rd Cohort

    candidate will closely collaborate with working groups B2 (microphytobenthos), B5 (stressors for bioturbating organisms), G5 (N-diagenesis) and H4 (hydrography). We are looking for a dedicated PhD candidate [...] TRANSCOAST. Further questions can be directed to Dr. Stefan Forster: stefan.forster(at)uni-rostock.de B5-3 Impacts of eutrophication-related stressors on physiological and ecological performance of keystone [...] candidate will closely collaborate with working groups B4 (nutrient and oxygen fluxes in the sediment) and G5 (N-diagenesis). A successful candidate for this position is expected to have a strong background in

    https://www.baltic-transcoast.uni-rostock.de/en/news/opportunities/phd-topics-3rd-cohort/

  2. Research

    Proceedings of the 15th Scandinavian Symposium and Workshops on Algorithm Theory (SWAT'16) , pages 5:1-5:14, 2016. DOI PDF J. M. Schmidt. Mondshein sequences (a.k.a. (2,1)-orders) . SIAM Journal on Computing [...] Nets'20) , pages 108-117, 2020. PDF L. Schlipf and J. M. Schmidt. Edge-orders . Algorithmica , 81(5):1881-1900, 2019. DOI PDF L. Schlipf and J. M. Schmidt. Simple computation of st-edge- and st-numberings [...] and J. M. Schmidt. Lower bounds for locally highly connected graphs . Graphs and Combinatorics , 32(5):1641-1650, 2016. DOI PDF H. Alt, M. S. Payne, J. M. Schmidt and D. R. Wood. Thoughts on Barnette's

    https://algo.uni-rostock.de/en/research/

  3. Publikationen 2019

    publish/subscribe using P4 In Proceedings of the 5th IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN), pages 1-5, DOI: 10.1109/NFV-SDN47374.2019.9040048 , Piscataway [...] Information Model In Proceedings of the 3rd IEEE Global Conference on Internet of Things (GCIoT), pp. 1-5, ISBN: 978-1-7281-4873-1, DOI: 10.1109/GCIoT47977.2019.9058404, Dubai, United Arab Emirates, Dezember [...] ing Droop-Based Converter Control for Wind-Power Applications 18th Windintegration Workshop, pp. 1-5, Dublin, Irland, Oktober 2019 Irfan Fachrudin Priyanta, Frank Golatowski, Thorsten Schulz, Dirk Timmermann:

    https://www.imd.uni-rostock.de/en/forschung/veroeffentlichungen/publikationen/publikationen-2019/

  4. Auswahlkriterien für örtlich zulassungsbeschränkte Studiengänge

    alle zugelassen Lehramt an Gymnasien Biologie 43,3 Punkte Geschichte 42,5 Punkte Sozialkunde 45,2 Punkte Sportwissenschaft 42,5 Punkte Auswahlgrenzen je Studiengang nach dem Nachrückverfahren zum Wint [...] Zweitfach alle zugelassen Lehramt an Grundschulen Grundschulpädagogik 30,5 Punkte Lehramt an Gymnasien Biologie 46,3 Punkte Geschichte 43,5 Punkte Sozialkunde 46,0 Punkte Sportwissenschaft 34,9 Punkte Lehramt [...] hren der Hochschule Ein-Fach-Bachelor Biowissenschaften 19,3 Punkte Medizinische Biotechnologie 33,5 Punkte Zwei-Fach-Bachelor Kommunikations- und Medienwissenschaft 31,3 Punkte Soziologie Erstfach alle

    https://www.uni-rostock.de/en/studium/deutsche-studieninteressierte/studienplatzbewerbung/grundstaendige-studiengaenge/auswahlkriterien-fuer-oertlich-zulassungsbeschraenkte-studiengaenge/

  5. Publikationen

    C (2024). Posture-induced modulation of lower-limb joint powers in perturbed running. Plos one, 19(5), e0302867 (IF 2.6). 2023 Rode C , Tomalka A, Blickhan R, Siebert T (2023). Structurally motivated models [...] IEEE-RAS International Conference on Humanoid Robots (Humanoids), Nov 15-17, Cancun, Mexico 2016. (H5-Index 28) Sharbafi MA, Rode C , Kurowski S, Scholz D, Möckel R, Radkhah K, Zhao G, Rashty AMN, von Stryk [...] asymmetries in leg function in small bird terrestrial locomotion Proc Roy Soc B, 281: 20141405. (IF 5.29) Lakatos D, Rode C , Seyfarth A & Albu-Schäffer A (2014) Design and Control of Compliantly Actuated

    https://www.isportwi.uni-rostock.de/en/forschung/biomechanik/portalseite-biomechanik/publikationen/

  6. Verteilte Systeme

    Veranstaltung: Vorlesung + Übung Termine: montags, 11-13 Uhr, online Beginn 12.04.21 SWS (CP): 3 (4.5) Geeignet für: Bachelor Studiengänge: Informatik und Wirtschaftsinformatik Sprache: Deutsch Vorausgesetzte

    https://www.ava.uni-rostock.de/en/lehre/vergangenesemesterbackup/sommersemester-2017/verteilte-systeme-1/

  7. Verteilte Systeme

    : Vorlesung + Übung Termine: Vorlesungen werden als Videos im studip bereitgestellt SWS (CP): 3 (4.5) Geeignet für: Bachelor Studiengänge: Informatik und Wirtschaftsinformatik Sprache: Deutsch Vorausgesetzte

    https://www.ava.uni-rostock.de/en/lehre/sommersemester-2022/verteilte-systeme/

  8. Verteilte Systeme

    Beginn 09.04.18 montags, 15-17 Uhr, SR 101, Albert-Einstein-Str. 22, Beginn 09.04.18 SWS (CP): 3 (4.5) Geeignet für: Bachelor Studiengänge: Informatik und Wirtschaftsinformatik Sprache: Deutsch Vorausgesetzte

    https://www.ava.uni-rostock.de/en/lehre/vergangenesemesterbackup/sommersemester-2018/verteilte-systeme/

  9. Besuch des Dt. Meereskundemusuems Stralsund (2006)

    konnten einige schöne Fotos entstehen. Die beiden Suppenschildkröten (ca. 20 Jahre alt und jede ca.1,5 Zentner schwer) dagegen gewöhnten sich an die neuen Gesichter sehr schnell und fingen rasch an, Str

    https://www.fotau.uni-rostock.de/en/berichte/verschiedenes/besuch-des-dt-meereskundemusuems-stralsund-2006/

  10. 7. Fortsetzung der italienischen Filmreihe im Wintersemester 2023/2024
    22.11.2023

    den Sturz des Faschismus und den Kampf um die Befreiung vom Nazifaschismus in Italien. Zum Auftakt am 5. Dezember 2023 (19.00 Uhr) dürfen wir die Regisseurin Alessandra Maioletti begrüßen (online), die mit

    https://www.phf.uni-rostock.de/en/aktuelles/nachrichten-mitteilungen-aus-der-philosophischen-fakultaet/aktuelles/detailansicht-der-news/n/7-fortsetzung-der-italienischen-filmreihe-im-wintersemester-2023-2024-new655e217e6f479673848436/

Displaying results 1951 to 1960 of 4793.
  • Previous
  • ...
  • 192
  • 193
  • 194
  • 195
  • 196
  • 197
  • 198
  • 199
  • 200
  • 201
  • ...
  • 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