Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR). - Johannes Birgmeier; Aaron R. Bradley; Georg Weissenbacher (CAV, 2014)

Machine learning-based acceleration of monogenic disease diagnosis. - Johannes Birgmeier (2019)