dblp.uni-trier.dewww.uni-trier.de

Reinhard Enders

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Abderrahmane Aggoun [3]
2David Chan [2] [3]
3Edmund M. Clarke [6]
4Pierre Dufresne [2] [3]
5Thomas Filkorn [4] [5] [6]
6Hans Haugeneder [1]
7Alexander Herold [3]
8Rudi Hunze [1]
9Somesh Jha [6]
10Claudia Johnson [1]
11Philip Kay [3]
12Egbert Lehmann [1]
13Micha Meier [3]
14Bruno Perez [3]
15Emmanuel van Rossum [3]
16Joachim Schimpf [3]
17Ludwig Schmid [1]
18Peter Struss [1]
19Dirk Taubner [4] [5]
20Dominique Henry de Villeneuve [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)