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

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

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

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

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

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

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

  8. Test Inhalt

    Welcome Buddies Conference “More than 5 Years - We can do it" - History, Fears, Hopes and Perspectives on Work with Refugees in Rostock (4-5th March 2021) Exhibition "5 years of New Faces – Facets of Integration [...] Budget, Personnel Controlling, Personnel Law Dependencies (D2.4) Department financial controlling (D2.5) Department Technology, Construction and Property (D3) Department Construction and Area Management (D3 [...] - Paket Sendungsauftrag - Express Subject area Hazardous Waste and Environmental Protection (D3.3.5) Department Human Resources an Human Resource Development (D4) Team IEF, MSF Team MNF, INF Team PHF

    https://www.uni-rostock.de/en/beispielseiten/inhaltselemente/katrins-spielwiese/test-inhalt/

  9. Jünger

    n mit dem Nationalsozialismus im deutsch- und französischsprachigen Europa (1919–1949), Volume 5.2/Band 5.2, Brüssel et al: Peter Lang, 2021, ca. 20 Seiten, angenommen, derzeit im Druck, erscheint 2022 [...] Fordham University – New York Public Library Research Fellowship in Jewish Studies, New York City (5 Monate, abgelehnt) 2017: William J. Lowenberg Memorial Fellowship on America, the Holocaust and the [...] Vorträge: Stefanie Schüler-Springorum, Anna Ullrich & David Jünger, Gaëlle Fisher, Marija Vulesica; 5. Oktober 2022, LMU München (online); Sektionsbericht Victor Ugorets ; Sektionsbericht Anna Michaelis

    https://www.geschichte.uni-rostock.de/en/institut/apl-prof-privatdozenten/kasten/ehemalige-1/juenger/

  10. Publications PEED

    Plötz, T.-M., Eckel, H.-G. High-Voltage Double-Gate IGBT Driver with Floating Island Architecture for 6.5 kV Isolation PCIM Europe 2026 297 Heise, T., Breiwisch, M.-P., Ebert, M., Fuchs, P., Fuhrmann, J., Eckel [...] Reliability, Vol. 168, May 2025 278 Vishwamitra, G., Fuhrmann, J., Wikström, T., Eckel, H.-G. A novel 4.5 kV nonlatching IGCT for turn-on di/dt controllability without a clamp circuit ISPSD 2025 277 Hildebrandt [...] Conference EPE 2023 240 Vishwamitra, G., Eckel, H.-G. Low forward voltage gate controllable diode for 6.5 kV HVDC application ISPS 2023, Prag 239 Acharya, V. Fuhrmann, J. Eckel, H.-G. Desaturation Pulse based

    https://www.iee.uni-rostock.de/en/research/power-electronics-and-electrical-drives-lea/publications-peed/

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