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

    looked as if it was inspired by the Fort Marion ledger drawings. Figure 5: Buffalo hunting by Shave Head. These are drawings (Fig. 5) that were produced by Native Americans at the end of the “Indian Wars” [...] London. Source: Wikipedia. Figure 4: John Gast, “American Progress” (1872/74). Source: Wikipedia. Figure 5: Drawing of buffalo hunting by Shave Head, or O-uk-ste-uh (Cheyenne), drawn between 1875 and 1878 at

    https://www.iaa.uni-rostock.de/en/forschung/laufende-forschungsprojekte/american-antiquities-prof-mackenthun/project/artifacts/sacajawea-1/

  2. Project W05

    pper Perovskite Nanostripes S.B. Malani, E. Klein, R.M. Piehler, R. Lesyuk and C. Klinke Small 22 (5), e09443 (2026) Understanding the Optoelectronic Processes in Colloidal 2D Multi-Layered MAPbBr3 Perovskite [...] Exchange S.A.B. Shah, S. Ghimire, R. Lesyuk, M.V. Diamanti, V. Lughi and C. Klinke Small Science 4 (5), 2300348 (2024) Shape- and excitation-dependent charge-carrier dynamics in colloidal MAPbI perovskites [...] Ghimire, C. Rehhagen, S. Fiedler, U. Parekh, R. Lesyuk, S. Lochbrunner and C. Klinke Nanoscale 15 (5), 2096-2105 (2023) Template-Mediated Formation of Colloidal Two-Dimensional Tin Telluride Nanosheets

    https://www.limati.uni-rostock.de/en/projects/project-area-w/project-w05/

  3. Seminal Literature

    speech in Ovid’s Metamorphoses. Diss. Chicago, IL. Bär, S. (2021). The second divine council at Odyssey 5.1–42 reconsidered, in: Akroterion 66 (2021): 1–16. Bär, S./Greensmith, E./Ozbek, L. (eds., 2022): Quintus [...] Berlin/Boston. De Bakker, M./de Jong, I. J. F. (eds., 2022). Speech in ancient Greek literature (SAGN 5). Leiden. De Jong, I. J. F. (1987a). Narrators and focalizers: the presentation of the story in the [...] language. Cambridge. Searle, J. (1976). A classification of illocutionary acts, Language in Society 5: 1–23. Tasler, W. (1972). Die Reden in Lucans Pharsalia. Diss. Erlangen/Bonn. TEI Consortium (eds.,

    https://www.dices.uni-rostock.de/en/seminal-literature/

  4. Elisabetta Lupi

    literarischen Zeugnissen des 5.–3. Jahrhunderts v.Chr. Die Dissertation behandelt Formen der Vermittlung geographischen und historischen Wissens anhand der literarischen Zeugnisse des 5.–3. Jahrhunderts v.Chr [...] Zeitschrift 314:2 (2022), 283–311. Sybaris und Atlantis. Verfallsdiskurse und athenische Politik im 5. und 4. Jahrhundert v. Chr., in: Historische Anthropologie 29:1 (2021), 31–50. Das Meer als Grenze. [...] Imagination und Faszination. Darstellungen des asiatischen Wohlstandes in griechischen Quellen des 5. und 4. Jahrhunderts v. Chr., Wiesbaden 2021, erscheint in: Klio 108.1 (2026). Christopher de Lisle

    https://www.altertum.uni-rostock.de/en/institut/mitarbeitende/elisabetta-lupi/

  5. aktuelle Publikationen

    2013. 3.5 - PoreGenic® - Patch-on-Chip-System für die präklinische Forschung an Ionenkanälen . In Proceedings of the 11. Dresdner Sensor-Symposium. 68–72, Dresden, Germany. ISBN 978-3-9813484-5-3. 11. Dresdner [...] Electro-Thermal Micro-Pumps and Sensors for Cell Adhesion, Oxygen, and pH on a Glass Chip. Biosensors 5:513–536. DOI:10.3390/bios5030513 . Gimsa, J., Sleigh, R., Gimsa, U., 2015. The riddle of Spinosaurus [...] and media: Are electric methods more versatile than acoustic and laser methods? J. Electr. Bioimp. 5:74–91. DOI:10.5617/jeb.557 . Walter, S., Bonk, S., Stubbe, M., Baumann, W., Gimsa, J., 2014. Mikrofluidik

    https://www.biophysik.uni-rostock.de/en/publikationen/aktuelle-publikationen/

  6. Usage Regulations of the IT and Media Centre (ITMZ)

    Governing the Universities of the State of Mecklenburg-Vorpommern (State University Law – LHG M-V) adopted 5 July 2002 (GVOBI. M-V, page 398), as last amended by Article 9 of the Act adopted 17 December 2009 (GVOBl [...] Further information can be collected only if needed for deciding upon the application for approval: (5) The approval of usage is limited to the applied project and can be limited in time. (6) For ensuring [...] concluded It is expected that the applied usage will limit other projects in an inappropriate manner. § 5 User rights and obligations (1) The persons authorized for usage (users) have the right to use the

    https://www.itmz.uni-rostock.de/en/footer/orders-and-rules/usage-regulations-of-the-it-and-media-centre-itmz/

  7. Publikationen 2010

    Storing Session Data in Internet Access Networks Folien World Telecommunications Congress (WTC 2010), pp. 5-10, ISBN: 978-3-8007-3303-3, Wien, Österreich, September 2010 Claas Cornelius, Philipp Gorski, Stephan [...] Conference on Emerging Technologies & Factory Automation (ETFA 2010), pp. 1 - 8, ISBN: 978-1-4244-6848-5 , Bilbao, Spanien, September 2010 Elmar Zeeb, Guido Moritz, Dirk Timmermann, Frank Golatowski: WS4D: [...] Salomon, Bodo Urban: Erkennung der körperlichen Aktivität beim Schwimmen mittels Beschleunigungssensoren 5. Kongress Multimediatechnik, Wismar, ISBN: 978-3-00-032154-2 , Wismar, Deutschland, September 2010 Matthias

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

  8. Publikationen 2025

    Reichenbach: Designing Intelligent Sensor Networks: A Comprehensive Survey of Sensing, Edge AI, and 5G+ Connectivity In Journal IEEE Access, Vol. 13, pp. 172306 - 172325, DOI: 10.1109/ACCESS.2025.3615205 [...] September 2025 Nico Kalis, Cornelius Geske, Christian Haubelt, Frank Golatowski: In the Spotlight of 5G User Plane Positioning: A Study of Indoor Scenarios on the Real-World Stage In Proceedings of the 15th [...] Deutschland, Juni 2025 Nico Kalis, Christian Haubelt, Frank Golatowski: User Plane Positioning in 5G Networks: A Design Space Study for Implementation In Proceedings of the 21st IEEE Conference on Factory

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

  9. Marc Reichenbach

    turen medCS.5 (BSI) - Sichere Vernetzung im Krankenhaus NEUROKIT2E - Verbundprojekt: Open-Source KI-Plattform für Edge-Computing in Europa PICANT-BOS - Private ad-hoc Netze basierend auf 5G und Wi-Fi für [...] Reichenbach: Designing Intelligent Sensor Networks: A Comprehensive Survey of Sensing, Edge AI, and 5G+ Connectivity In Journal IEEE Access, Vol. 13, pp. 172306 - 172325, DOI: 10.1109/ACCESS.2025.3615205 [...] Marc Reichenbach, Christian Herglotz: Comparison of Bluetooth Low Energy (BLE), Wi-Fi, Serial and 5G in IoMT In Proceedings of the 18th International Joint Conference on Biomedical Engineering Systems

    https://www.imd.uni-rostock.de/en/team/mitarbeitende/persoenliche-seiten/marc-reichenbach/

  10. Publikationen

    Tagungsband "Baltic Conference Learning in Networks" in Kaunas 20.08.-21.08.2010 ISBN: 978-3-86009-100-5 Tagungsband "Baltic Conference Advanced Topics in Telecommunication" in Tartu 14.08.-15.08.2009 ISBN:

    https://www.iuk-verbund.uni-rostock.de/en/forschung-und-lehre/publikationen/

Displaying results 1431 to 1440 of 4861.
  • Previous
  • ...
  • 140
  • 141
  • 142
  • 143
  • 144
  • 145
  • 146
  • 147
  • 148
  • 149
  • ...
  • 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