Security & Communication Technologies

Publikationen

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

• 575 Vortrag mit Beitrag in Tagungsband
• 343 Artikel
• 86 Buchkapitel
• 85 Posterpräsentation ohne Eintrag in Tagungsband
• 235 Mehr
  • 68 Masterarbeit
  • 47 Beitrag in Tagungsband mit Posterpräsentation
  • 31 Beitrag in Tagungsband ohne Präsentation
  • 27 Dissertation
  • 19 Buch
  • 13 Bericht
  • 11 Bachelorarbeit
  • 9 Tagungsband
  • 3 Sonstiger Beitrag
  • 3 Habilitation
  • 2 Beitrag in populärwissenschaftlicher Zeitschrift
  • 2 Editorial

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