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

4781 Results:

  1. Projektbeschreibungen

    materials Eleftherios Goulielmakis (DE), Thomas Brabec (CA) Link to the project description Project 5: Coherent Diffractive Imaging of Quantum Dynamics in Isolated Nanosystems Thomas Fennel (DE), Lora Ramunno

    https://www.iqs.uni-rostock.de/en/projects-1/

  2. Lesung & Gespräch mit französischem Autor im Literaturhaus
    06.05.2026

    emand Véronique Niedzwetzki Responsable / Leiterin Institut franco-allemand de Rostock Goetheplatz 5/6 D-18055 Rostock Email: info@ifa-rostock.de Tel: +49 381 455 007 / 008

    https://www.uni-rostock.de/en/university/news-and-publications/press-releases/details/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=274883&cHash=99cd632b0e5ec2d7d0a078c2a9e84709

  3. Archäologische Sammlung

    bis 15. Juli immer am Mittwoch von 16.00 bis 18.00 Uhr sowie jeweils am ersten Samstag im Monat ( 2.5. / 6.6. / 4.7 .) von 14.00 bis 17.00 Uhr geöffnet. Der Eintritt ist frei. Die Abguss-Sammlung Antiker

    https://www.altertum.uni-rostock.de/en/archaeologische-sammlung/

  4. Publications

    Villinger, S. Lochbrunner, G.-U. Flechsig, and P. Langer "Synthesis and Properties of 5,7-Dihydropyrido[3,2-b:5,6-b’]diindoles" Eur. J. Org. Chem. 2015 , 1007-1019 117. M. Lütgens, F. Friedriszik, and [...] S. Lochbrunner, T. T. Dang, A. Friedrich, W. Breitsprecher, and P. Langer "Novel synthesis of 5-methyl-5,10-dihydroindolo-[3,2-b]indoles by Pd-catalyzed C-C and two-fold C-N coupling reactions" Org. Biomol [...] Ghochikyan, A. S. Saghyanc, and P. Langer "Synthesis of fluorescent 2,3,5,6-tetraalkynylpyridines by site-selective Sonogashira-reactions of 2,3,5,6-tetrachloropyridines" Org. Biomol. Chem. 12 (2014), 8627-8640

    https://www.dynamics.physik.uni-rostock.de/en/publications/

  5. Alle Publikationen

    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 [...] 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 Alexander Born, Frank Reichenbach, Ralf Bill, Dirk Timmermann: [...] Architecture for a Pre-loadable 1GHz@0.6µm/5V Pre-scaler in TSPC Folien IEEE International Symposium on Circuits and Systems (ISCAS´2001), S. IV 92-95, ISBN: 0-7803-6687-5, Sydney, Australien, Mai 2001 Dirk

    https://www.imd.uni-rostock.de/en/team/mitarbeitende/persoenliche-seiten/dirk-timmermann/alle-publikationen/

  6. Prof. Dr.-Ing. habil. János Zierath

    the Application on Wind Energy Conversion Systems. Rostocker Schriften zur Angewandten Mechanik, Band 5, Verlag Dr. Hut, München, 2015. Zierath, J.: Modelling of Three-Dimensional Contacts by Coupled Multi-body- [...] ing Strategy for Load Alleviation and Power Leveling. In Journal of Physics: Conference Series 753(5), pp. 052021, from TORQUE 2016 „The Science from Making Torque of Wind“, Munich, Germany, 2016. Schulze [...] Wind“, Munich, Germany, 2016. Zierath, J.; Rachholz, R.; Woernle, C.: Field Test Validation of Flex5, MSC.Adams, alaska/Wind and SIMPACK for Load Calculations on Wind Turbines, In Wind Energy 19:1201-1222

    https://www.ltmd.uni-rostock.de/en/team/prof-dr-ing-habil-janos-zierath/

  7. Jana Wölfel (Englisch)

    between benthic macrofauna and biogeochemistry in a modern brackish coastal sea. Front. Mar. Sci. 5:489. doi: 10.3389/fmars.2018.00489 Lipka M, Woelfel J , Gogina M, Kallmeyer J, Liu B, Morys C, Forster [...] variability of early diagenetic processes in temperate brackish surface sediments. Front. Mar. Sci. 5:413. doi: 10.3389/fmars.2018.00413 Woelfel J , Schoknecht A, Schumann R, Karsten U (2014); Growth and [...] Warnemuende Benthic Observation Chamber - Lander of opportunity. IOW Forum “Innovative Instrumentation”, 5.03.2018, Warnemünde (Germany) (talk) Woelfel J , Rehder G (2017); Spatiotemporal variability of O2

    https://www.oekologie.uni-rostock.de/en/mitarbeitende/jana-woelfel-englisch/

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

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

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

Displaying results 1941 to 1950 of 4781.
  • Previous
  • ...
  • 191
  • 192
  • 193
  • 194
  • 195
  • 196
  • 197
  • 198
  • 199
  • 200
  • ...
  • 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