Using an Extended PROLOG to Solve the Lion and Unicorn Puzzle. - Richard Schmid; Hans-Albert Schneider; Thomas Filkorn (J. Autom. Reason., 1989)

Functional Extension of Symbolic Model Checking. - Thomas Filkorn (CAV, 1991)

Experiences from a Large Industrial Circuit Design Application. - Thomas Filkorn; Richard Schmid; Erik Tidén; Peter Warkentin (ISLP, 1991)

Symbolische Methoden für die Verifikation endlicher Zustandssysteme. - Thomas Filkorn (1992)

Exploiting Symmetry In Temporal Logic Model Checking. - Edmund M. Clarke; Thomas Filkorn; Somesh Jha (CAV, 1993)

Generating BDDs for Symbolic Model Checking in CCS. - Reinhard Enders; Thomas Filkorn; Dirk Taubner (Distributed Comput., 1993)

System Verification Environment - SVE. - Klaus Winkelmann; Thomas Filkorn (FTRTFT, 1994)

Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style reasoning and Theorem Proving. - Jürgen Dingel; Thomas Filkorn (CAV, 1995)

Exploiting Symmetry in Temporal Logic Model Checking. - Edmund M. Clarke; Somesh Jha; Reinhard Enders; Thomas Filkorn (Formal Methods Syst. Des., 1996)