Christian Schilling

Research output

Research output per year 2012 2019 2021 2022 2023 2024 2025

• 58 Article in proceeding
• 9 Journal article
• 3 Conference abstract in proceeding
• 2 Preface/Introduction/postscript
• 3 More
  • 1 Anthology
  • 1 Book chapter
  • 1 PhD thesis

Research output per year

Research output per year

Search results

• 2024

  Preface

  Avni, G., Giacobbe, M., Johnson, T. T., Katz, G., Lukina, A., Narodytska, N. & Schilling, C., 2024, AI Verification: First International Symposium, SAIV 2024 Montreal, QC, Canada, July 22–23, 2024 Proceedings. Springer, 1 p. (Lecture Notes in Computer Science, Vol. 14846).

  Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research

  Open Access

  File
  2 Downloads (Pure)
• 2023

  Preface

  Caltais, G. & Schilling, C., 2023, Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings. Springer, 1 p. (Lecture Notes in Computer Science, Vol. 13872 LNCS).

  Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research

  Open Access