Reinhard Enders

According to our database, Reinhard Enders authored at least 6 papers between 1985 and 1997.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1997

On the representational power of bit-level and word-level decision diagrams.

Bernd Becker, Rolf Drechsler, Reinhard Enders

Proceedings of the ASP-DAC '97 Asia and South Pacific Design Automation Conference, 1997

1996

Exploiting Symmetry in Temporal Logic Model Checking.

Edmund M. Clarke, Somesh Jha, Reinhard Enders, Thomas Filkorn

Formal Methods Syst. Des., 1996

1993

Generating BDDs for Symbolic Model Checking in CCS.

Reinhard Enders, Thomas Filkorn, Dirk Taubner

Distributed Comput., 1993

1989

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

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1987

PHOCUS: Production rules, Horn clauses, Objects and Contexts in a Unification-based System.

David Chan, Pierre Dufresne, Reinhard Enders

Proceedings of the SPLT'87, 1987

1985

SICONFEX - ein Expertensystem für die Konfigurierung eines Betriebssystems.

Egbert Lehmann, Reinhard Enders, Hans Haugeneder, Rudi Hunze, Claudia Johnson, Ludwig Schmid, Peter Struss

Proceedings of the GI/OCG/ÖGI-Jahrestagung 1985, 1985