Roxane Koitz-Hristov

Publikationen

Publikationen pro Jahr 2013 2015 2016 2020

• 13 Beitrag in einem Konferenzband
• 5 Artikel
• 3 Beitrag in Buch/Bericht
• 3 Poster
• 6 Mehr
  • 1 Buch (Herausgeberwerk)
  • 1 Konferenzartikel
  • 1 Editorial
  • 1 Short communication
  • 1 Diplomarbeit
  • 1 Masterarbeit

Publikationen pro Jahr

Publikationen pro Jahr

Suchergebnisse

• 2018

  On the superiority of conflict-driven search in MUs enumeration

  Koitz-Hristov, R. & Wotawa, F., 1 Jan 2018, in : CEUR Workshop Proceedings. 2289

  Publikation: Beitrag in einer Fachzeitschrift › Konferenzartikel

  • Set theory 100%
  • Model checking 82%