All Stories

  1. Two simple models of business interruption accumulation risk in cyber insurance

    Article • June 2019, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Joachim Draeger

  2. Roadmap to a Unified Treatment of Safety and Security

    Article • January 2015, the Institution of Engineering and Technology (the IET)

    Dr Joachim Draeger

  3. Redundancy-Free Lemmatization in the Automated Model-Elimination Theorem Prover AI-SETHEO

    Article • January 2000, Springer Science + Business Media

    Dr Joachim Draeger

  4. Strategy Parallel Use of Model Elimination with Lemmata

    Article • January 1999, Springer Science + Business Media

    Dr Joachim Draeger

  5. Acquisition of useful lemma-knowledge in automated reasoning

    Article • January 1998, Springer Science + Business Media

    Dr Joachim Draeger