SICONFEX - ein Expertensystem für die Konfigurierung eines Betriebssystems. - Egbert Lehmann; Reinhard Enders; Hans Haugeneder; Rudi Hunze; Claudia Johnson; Ludwig Schmid; Peter Struss (GI Jahrestagung, 1985)

PHOCUS: Production rules, Horn clauses, Objects and Contexts in a Unification-based System. - David Chan; Pierre Dufresne; Reinhard Enders (SPLT, 1987)

SEPIA - An Extendible Prolog System. - Micha Meier; Abderrahmane Aggoun; David Chan; Pierre Dufresne; Reinhard Enders; Dominique Henry de Villeneuve; Alexander Herold; Philip Kay; Bruno Perez; Emmanuel van Rossum; Joachim Schimpf (IFIP Congress, 1989)

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

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

On the representational power of bit-level and word-level decision diagrams. - Bernd Becker 001; Rolf Drechsler; Reinhard Enders (ASP-DAC, 1997)