Joachim Draeger

According to our database, Joachim Draeger authored at least 9 papers between 1998 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

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

Ulrik Franke, Joachim Draeger

Proceedings of the International Conference on Cyber Situational Awareness, 2019

2018

Malware Epidemics Effects in a Lanchester Conflict Model.

Joachim Draeger, Stephanie Öttl

CoRR, 2018

2017

Formalized Risk Assessment for Safety and Security.

Joachim Draeger

CoRR, 2017

2001

Improving the Performance of Automated Theorem Provers by Redundancy-Free Lemmatization.

Joachim Draeger, Stephan Schulz

Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference, 2001

2000

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

Joachim Draeger

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

1999

Strategy Parallel Use of Model Elimination with Lemmata (System Abstract).

Andreas Wolf, Joachim Draeger

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1999

Strategy Parallelism and Lemma Evaluation.

Joachim Draeger, Andreas Wolf

Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference, 1999

1998

Modularisierte Suche in Theorembeweisern.

Joachim Draeger

PhD thesis, 1998

Acquisition of Useful Lemma-Knowledge in Automated Reasoning.

Joachim Draeger

Proceedings of the Artificial Intelligence: Methodology, 1998