Concepedia

Reinhard Enders

RE

Statistics

Publications

4

Citations

446

H-Index

4

Active since

1989

Affiliations

Siemens (Germany)(Current)

Reinhard Enders is an author at Siemens (Germany) specializing in computer science, computing, and formal methods.

Publications per year

1989–2002

4

Publications

4

Exploiting symmetry in temporal logic model checking

E. M. Clarke, Reinhard Enders, Thomas Filkorn et al. · Formal Methods in System Design · 1996 · 322 citations

, , +11

Generating BDDs for symbolic model checking in CCS

Reinhard Enders, Thomas Filkorn, Dirk Taubner · Distributed Computing · 1993 · 63 citations

, , +11

SEPIA - An Extendible Prolog System.

Micha Meier, Abderrahmane Aggoun, David Chan et al. · IFIP Congress · 1989 · 38 citations

, , +7

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

Bernd Becker, Rolf Drechsler, Reinhard Enders · 2002 · 23 citations

, , +15

1–4 of 4