Partial-Order Reduzierung des Zustandsraumes bei der BDD-Modellprüfung. - Frank Reffel (FBT, 1997)

OBDDs in Heuristic Search. - Stefan Edelkamp; Frank Reffel (KI, 1998)

BDD-Nodes Can Be More Expressive. - Frank Reffel (ASIAN, 1999)

Error Detection with Directed Symbolic Model Checking. - Frank Reffel; Stefan Edelkamp (World Congress on Formal Methods, 1999)

Speichereffiziente Modellprüfung mit zyklischen binären Entscheidungsdiagrammen. - Frank Reffel (Logos-Verlag, 2001)