Reinhard Enders

	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

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

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page