1996 |
6 | | Edmund M. Clarke,
Somesh Jha,
Reinhard Enders,
Thomas Filkorn:
Exploiting Symmetry in Temporal Logic Model Checking.
Formal Methods in System Design 9(1/2): 77-104 (1996) |
1993 |
5 | | Reinhard Enders,
Thomas Filkorn,
Dirk Taubner:
Generating BDDs for Symbolic Model Checking in CCS.
Distributed Computing 6(3): 155-164 (1993) |
1991 |
4 | | Reinhard Enders,
Thomas Filkorn,
Dirk Taubner:
Generating BDDs for Symbolic Model Checking in CCS.
CAV 1991: 203-213 |
1989 |
3 | | 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: 1127-1132 |
1987 |
2 | | David Chan,
Pierre Dufresne,
Reinhard Enders:
PHOCUS: Production rules, Horn clauses, Objects and Contexts in a Unification-based System.
SPLT 1987: 77-108 |
1985 |
1 | | 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: 792-805 |