Markus Bender

Publications

Papers

Markus Bender
Reasoning with Sets and Sums of Sets
Proceedings SMT 2016. pdf

Markus Bender, Björn Pelzer, Claudia Schon
System Description: E-KRHyper 1.4 - Extensions for Unique Names and Description Logic
Proceedings CADE-24, 2013. pdf

Technical Reports

Markus Bender
E-Hyper Tableaux with Distinct Object Identifiers
Arbeitsberichte aus dem Fachbereich Informatik, 01/2013, Universität Koblenz-Landau, ISSN (Online) 1864-0850,
January 2013. pdf

Theses

Markus Bender
Extending the E-Hyper Tableau Calculus for Reasoning with the Unique Name Assumption
Diploma thesis,
January 30th 2012. pdf

Markus Bender
Generating Efficient Test Oracles from Specifications
Minor thesis,
June 13th 2010. pdf