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

4797 Results:

  1. Häcker, Thomas, Prof. Dr.

    36 (5), 176–179. Burow, O.‑A., Häcker, Th. & Koltermann, S. (2025). Reformstaustelle/ Reformbaustelle Kommunikation? Pädagogische Führung. Zeitschrift für Schulleitung und Schulberatung , 36 (5), 164–166 [...] und Schulberatung , 36 (5), 198–199. Häcker, Th. & Koltermann, S. (2025). Kommunikation in der Schule. Pädagogische Führung. Zeitschrift für Schulleitung und Schulberatung , 36 (5), Themenheft. Häcker, Th [...] Werkrealschule (Heidelberg) 1993–2000 Lehrer an Grund- und Hauptschulen mit Werkrealschule (insgesamt 5 Jahre mit Unterbrechungen durch Forschungstätigkeiten als wiss. Mitarbeiter an Hochschulen) Berufliche

    https://www.isb.uni-rostock.de/en/institut/professur-fuer-erziehungswissenschaft-unter-besonderer-beruecksichtigung-der-schulpaedagogik-und-empirischen-bildungsforschung-esb/haecker-thomas-prof-dr/

  2. Peer-reviewed journal articles

    (DLP). Current Directions in Biomedical Engineering. Current Directions in Biomedical Engineering, 5 (2019), 249-252 DOI: 10.1515/cdbme-2019-0063 Drescher, P.; Oldorf, P.; Dreier, T.; Peters, R.; Seitz [...] lubrication. Current Directions in Biomedical Engineering. Current Directions in Biomedical Engineering, 5 (2019), 57-60 DOI: 10.1515/cdbme-2019-0015 Rekowska, N.; Arbeiter, D.; Konasch, J.; Riess, A.; Mau, [...] combination with different photo-curable comonomers. Current Directions in Biomedical Engineering, 5 (2019), 319-322 DOI: 10.1515/cdbme-2019-0080 Schnell, G.; Jagow, C.; Springer, A.; Frank, M.; Seitz

    https://www.lfm.uni-rostock.de/en/research/publications/peer-reviewed-journal-articles/

  3. Alle Publikationen

    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 [...] Virtualization and Software Defined Networks (NFV-SDN), DOI: 10.1109/NFV-SDN50289.2020.9289916 , pp. 1-5, Madrid, Spanien, November 2020 Eike Schweissguth, Dirk Timmermann, Helge Parzyjegla, Peter Danielis [...] Annual IEEE Consumer Communications & Networking Conference (CCNC), pp. 1-2, ISBN: 978-1-5386-4790-5, Las Vegas, NV, USA, Januar 2018 2017 Peter Danielis, György Dán, James Gross, André Berger: Dynamic

    https://www.imd.uni-rostock.de/en/team/ehemalige-mitarbeitende/peter-danielis/alle-publikationen/

  4. News

    Sciences. September 2018: International workshop „Peat under Water“ on rewetting of peatlands On September 5th to 6th, more than 50 scientists discussed in Salem at the Kummerower lake about the ecology of rewetted [...] Wrage-Mönnig presented the aims of the project WETSCAPES. April 2017: Settling sampling sites On the 5th of April the Wetscapes consortium spent an animated field day visiting the first five of the future [...] forward to getting the first installations out in the end of April. March 2017: WETSCAPES started On 5th January a first internal kick-off meeting took place in Bad Sülze. On 1th February we conducted a

    https://www.wetscapes.uni-rostock.de/en/news/

  5. Publications

    Busse, Ralf-Detlef Kutsche, Meike Klettke: Designing a Metadata-based Infrastructure for E-Learning. 5th International Workshop on Engineering Federated Information Systems (EFIS), 2003, Coventry/UK Meike [...] Holger Meyer: Speicherung von XML-Dokumenten - eine Klassifikation. Tutorial Datenbankspektrum, Heft 5/2003, S. 40-51 2002 Meike Klettke, Holger Meyer: XML und Datenbanken. Buch, ISBN 978-3-89864-148-7, [...] dpunkt Verlag, 2002 Meike Klettke, Holger Meyer, Werner Retschitzegger, Rainer Unland: Kapitel 5: Speicherung von XML-Dokumenten. In: Erhard Rahm, Gottfried Vossen (Hrsg.), Web und Datenbanken. dpunkt

    https://www.informatik.uni-rostock.de/en/about-us/division/homepages/meike-klettke/publications/

  6. Presse 2017

    gleichzeitig ein internationales Standardisierungsgremium. Best Paper Award auf der IEEE-Konferenz IEMCON 5. Oktober 2017: Dr. Peter Danielis vom Institut für Angewandte Mikroelektronik und Datentechnik erhält [...] Sonderforschungsbereich ELAINE bewilligt 24. Mai 2017: Deutsche Forschungsgemeinschaft bewilligt 9,5 Millionen Euro für ELAINE Großer Erfolg für unsere Universität und Fakultät: In der modernen Medizin [...] mit Wind- und Bioenergie, Speichern und Lasten (Netz-Stabil)" den Zuschlag erhalten und wird mit ca. 5 Mio. Euro gefördert. Prof. Eckel vom Lehrstuhl für Leistungselektronik und Elektrische Antriebe unseres

    https://www.elektrotechnik.uni-rostock.de/en/presse/presse-2017/

  7. News from the working group

    H -1,2,3-triazole-4,5-dithiolene were published in the Dalton Transactions (DOI: 10.1039/D2DT00410K ) with the title "Synthesis and coordination behaviour of 1H-1,2,3-triazole-4,5-dithiolates". 12.07.2022 [...] able to publish his results on "Improved Synthesis and Coordination Behavior of 1 H -1,2,3-Triazole-4,5-dithiolates (tazdt 2- ) with Ni II , Pd II , Pt II and Co III " in the Liebig issue of Chemistry (MDPI)

    https://www.seidel.chemie.uni-rostock.de/en/group-members/news-from-the-working-group/

  8. 2020-

    bees in southern Burkina Faso, West Africa. Journal of Forest and Landscape Research 5 (2020): 14–23, DOI:10.13141/jflr.v5i1.2436 de Paula, L.F.A., Azevedo, L.O., Mauad, L.P., Cardoso, L.J.T., Braga, J.M.A [...] structure and diversity of Brazilian páramo vegetation? Journal of Mountain Science, Volume 17, Issue 5, 1 May 2020, Pages 1045-1057, DOI: 10.1007/s11629-019-5403-1 de Paula, L.F.A., Colmenares-Trejos, S

    https://www.botanik.uni-rostock.de/en/publikationen/2020/

  9. Veranstaltungen

    Workshop Visibilidad, visualización y últimas teorías de la traducción (Universidad Salamanca, 2.-5-11.2014). Kulturkontakt und Raumkonzept: Workshop des GK „ Kulturkontakt und Wissenschaftsdiskurs “ [...] und Vorlesungen: Weiße Rose und philologischer Seminaralltag an der Universität München 1941–1945 (19.5.2015) (weitere Informationen hier ) Prof. Dr. Belén Santana (Salamanca): Javier Marías: ese autor español [...] Annette Kopetzki (Hamburg): „Praxis und Theorie des literarischen Übersetzens – neue Perspektiven“ (7.5.2012, im Rahmen der AG „Übersetzen“ im Department „Wissen – Kultur – Transformation) [ Einladung ] Prof

    https://www.romanistik.uni-rostock.de/en/institut/mitarbeitende/professoren-und-professorinnen/prof-dr-albrecht-buschmann/veranstaltungen/

  10. Dr. Kristina Koebe

    Günter Görlich. Schriftenreihe der Arbeitsstelle Pädagogische Lesungen an der Universität Rostock, 2 (5). Verfügbar unter: https://doi.org/10.18453/rosdok_id00002723 . Koch, K. & Koebe, K. (2021). Die E [...] Lesungen der DDR. Schriftenreihe der Arbeitsstelle Pädagogische Lesungen an der Universität Rostock 5 (19). Verfügbar unter: https://doi.org/10.18453/rosdok_id00004107 . Koch, K., Brand, T. von, Linström [...] icht der DDR. Schriftenreihe der Arbeitsstelle Pädagogische Lesungen an der Universität Rostock, 5 (20). Verfügbar unter: https://doi.org/10.18453/rosdok_id00004263 . Koebe, K. (2023). Fake und Fakt

    https://www.germanistik.uni-rostock.de/en/personen/wiss-mitarbeitende/kristina-koebe/

Displaying results 2811 to 2820 of 4797.
  • Previous
  • ...
  • 278
  • 279
  • 280
  • 281
  • 282
  • 283
  • 284
  • 285
  • 286
  • 287
  • ...
  • 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