Center for Digital Safety & Security

Publikationen

Publikationen pro Jahr 1980 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2025

• 1837 Vortrag mit Beitrag in Tagungsband
• 856 Artikel
• 226 Beitrag in Tagungsband mit Posterpräsentation
• 221 Masterarbeit
• 730 Mehr
  • 216 Posterpräsentation ohne Eintrag in Tagungsband
  • 212 Buchkapitel
  • 93 Beitrag in Tagungsband ohne Präsentation
  • 59 Dissertation
  • 39 Buch
  • 38 Bachelorarbeit
  • 26 Bericht
  • 13 Tagungsband
  • 11 Beitrag in populärwissenschaftlicher Zeitschrift
  • 9 Sonstiger Beitrag
  • 5 Open Source-Software
  • 3 Editorial
  • 3 Habilitation
  • 2 Guidelines und Standards
  • 1 Kapitel in einem Bericht

Publikationen pro Jahr

Publikationen pro Jahr

Suchergebnisse

• 2023

  Climate-Resilient Society: ERCIM NEWS Special theme

  Lykos, A. (Redakteur:in) & Abbas Peterson, S. (Redakteur:in), Okt. 2023, in: ERCIM News - Special Theme: Climate-Resilient Society. 135, S. 8-9 2 S.

  Publikation: Beitrag in Fachzeitschrift › Editorial

• 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