Informatik 7 - Professur für Formale Methoden der Softwarezuverlässigkeit

Publikationen

Publikationen pro Jahr 2010 2013 2017 2018 2019 2020 2021 2022 2024 2025

• 81 Konferenzbeitrag
• 16 Artikel
• 3 Kapitel
• 2 Konferenzartikel
• 2 Mehr
  • 1 Papier
  • 1 Leitartikel

Publikationen pro Jahr

Publikationen pro Jahr

Suchergebnisse

• 2024

  Preface

  Kiefer, S., Křetínský, J. & Kučera, A., 2024, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 14660 LNCS, S. vii-viii

  Publikation: Beitrag in Fachzeitschrift › Leitartikel