2001
Model Checking with Formula-Dependent Abstract Models.
Proceedings of the Computer Aided Verification, 13th International Conference, 2001

1992
Parallele Modelle für Deduktionssysteme.
PhD thesis, 1992