Acquisition of Useful Lemma-Knowledge in Automated Reasoning. - Joachim Draeger (AIMSA, 1998)

Modularisierte Suche in Theorembeweisern. - Joachim Draeger (1998)

Strategy Parallelism and Lemma Evaluation. - Joachim Draeger; Andreas Wolf (FLAIRS, 1999)

Strategy Parallel Use of Model Elimination with Lemmata (System Abstract). - Andreas Wolf; Joachim Draeger (TABLEAUX, 1999)

Redundancy-Free Lemmatization in the Automated Model-Elimination Theorem Prover AI-SETHEO. - Joachim Draeger (TABLEAUX, 2000)

Improving the Performance of Automated Theorem Provers by Redundancy-Free Lemmatization. - Joachim Draeger; Stephan Schulz 001 (FLAIRS, 2001)

Formalized Risk Assessment for Safety and Security. - Joachim Draeger (CoRR, 2017)

Malware Epidemics Effects in a Lanchester Conflict Model. - Joachim Draeger; Stephanie Öttl (CoRR, 2018)

Two simple models of business interruption accumulation risk in cyber insurance. - Ulrik Franke; Joachim Draeger (CyberSA, 2019)