Reinhard Enders
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1985–1997
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | ASPDAC | On the representational power of bit-level and word-level decision diagrams. | Bernd Becker, Rolf Drechsler, Reinhard Enders |
| 1991 | CAV | Generating BDDs for Symbolic Model Checking in CCS. | Reinhard Enders, Thomas Filkorn, Dirk Taubner |
| 1985 | GI | SICONFEX - ein Expertensystem fr die Konfigurierung eines Betriebssystems. | Egbert Lehmann, Reinhard Enders, Hans Haugeneder, Rudi Hunze, Claudia Johnson, Ludwig Schmid, Peter Struss |