Reinhard Enders

Publication Activity (10 Years)

Years Active: 1985-1997
Publications (10 Years): 0

Publications

Bernd Becker, Rolf Drechsler, Reinhard Enders
On the representational power of bit-level and word-level decision diagrams. ASP-DAC (1997)
Edmund M. Clarke, Somesh Jha, Reinhard Enders, Thomas Filkorn
Exploiting Symmetry in Temporal Logic Model Checking. Formal Methods Syst. Des. 9 (1/2) (1996)
Reinhard Enders, Thomas Filkorn, Dirk Taubner
Generating BDDs for Symbolic Model Checking in CCS. Distributed Comput. 6 (3) (1993)
Reinhard Enders, Thomas Filkorn, Dirk Taubner
Generating BDDs for Symbolic Model Checking in CCS. CAV (1991)
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
SEPIA - An Extendible Prolog System. IFIP Congress (1989)
David Chan, Pierre Dufresne, Reinhard Enders
PHOCUS: Production rules, Horn clauses, Objects and Contexts in a Unification-based System. SPLT (1987)
Egbert Lehmann, Reinhard Enders, Hans Haugeneder, Rudi Hunze, Claudia Johnson, Ludwig Schmid, Peter Struss
SICONFEX - ein Expertensystem für die Konfigurierung eines Betriebssystems. GI Jahrestagung (1985)