Center for Digital Safety & Security

Research output

Research output per year 1980 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024

• 1729 Conference Proceedings with Oral Presentation
• 811 Article
• 207 Book chapter
• 207 Conference Proceedings with Poster Presentation
• 683 More
  • 207 Master's Thesis
  • 195 Poster presentation without proceedings
  • 91 Conference Proceedings without Presentation
  • 56 Doctoral Thesis
  • 39 Book
  • 37 Bachelor's Thesis
  • 20 Report
  • 12 Conference Proceedings
  • 11 Article in popular science magazine
  • 8 Other contribution
  • 3 Editorial
  • 3 Habilitation
  • 1 Guidelines and Standards

Research output per year

Research output per year

Search results

• 2020

  Analyzing Cyber-Physical Systems with Runtime Veri fication

  Nickovic, D., 2020

  Research output: Thesis › Habilitation
• 2012

  Wireless communications over time-variant channels

  Zemen, T., 2012

  Research output: Thesis › Habilitation
• 1995

  Computersimulation und graphische Darstellung physikalischer Vorgänge: Klassische und quantenmechanische Phänomene

  Suda, M., 1995

  Research output: Thesis › Habilitation