Security & Communication Technologies

Publikationen

Publikationen pro Jahr 1980 2015 2017 2018 2019 2020 2021 2022 2023 2024 2025

• 622 Vortrag mit Beitrag in Tagungsband
• 364 Artikel
• 100 Posterpräsentation ohne Eintrag in Tagungsband
• 88 Buchkapitel
• 264 Mehr
  • 77 Masterarbeit
  • 57 Beitrag in Tagungsband mit Posterpräsentation
  • 32 Beitrag in Tagungsband ohne Präsentation
  • 29 Dissertation
  • 19 Buch
  • 15 Bericht
  • 11 Bachelorarbeit
  • 10 Tagungsband
  • 4 Sonstiger Beitrag
  • 3 Habilitation
  • 2 Beitrag in populärwissenschaftlicher Zeitschrift
  • 2 Editorial
  • 2 Open Source-Software
  • 1 Kapitel in einem Bericht

Publikationen pro Jahr

Publikationen pro Jahr

Suchergebnisse

• 2023

  Introduction to the Special Issue on Runtime Verification

  Deshmukh, J. V. (Redakteur:in) & Nickovic, D. (Redakteur:in), 2023, in: International Journal on Software Tools for Technology Transfer. 25, 4, S. 427-429

  Publikation: Beitrag in Fachzeitschrift › Editorial

  Open Access

  • runtime verification 100%
  • Cyber Physical Systems 16%
  • Extended Version 16%
  • Exhaustive Verification 16%
  • Formal Reasoning 16%
• 2021

  Smart and Circular Cities

  Kunze, P., Schoitsch, E. & Mylonas, G., 2021, in: ERCIM News. 127, S. 4-35 32 S.

  Publikation: Beitrag in Fachzeitschrift › Editorial