Research output

Research output per year 2014 2019 2022 2023 2024

• 25 Conference contribution
• 12 Article
• 2 Editorial
• 1 Chapter
• 3 More
  • 1 Comment/debate
  • 1 Conference article
  • 1 Review article

Research output per year

Research output per year

Search results

• 2024

  Satisfiability Modulo Theories 22nd International Workshop SMT 2024 Proceedings

  Reger, G. & Zohar, Y., 2024, In: CEUR Workshop Proceedings. 3725

  Research output: Contribution to journal › Editorial
• 2022

  Preface

  Déharbe, D., Hyvärinen, A., Alt, L., Barbosa, H., Bjørner, N., Bonacina, M. P., Bromberger, M., Dimitrova, R., Fontaine, P., Graham-Lengrand, S., Hadarean, L., Hoenicke, J., Keller, C., Konnov, I., Marescotti, M., Niemetz, A., Polgreen, E., Preiner, M., Reynolds, A. & Schindler, T. & 4 others, Tourret, S., Zohar, Y., Schurr, H. J. & Ozdemir, A., 2022, In: CEUR Workshop Proceedings. 3185

  Research output: Contribution to journal › Editorial