Einar W. Karlsen

	2001
12		Bill Taylor, Einar W. Karlsen: Mapping UML to Ada. Ada-Europe 2001: 359-370
	1998
11		Einar W. Karlsen: The UniForM WorkBench - A Higher Order Tool Integration Framework. FM-Trends 1998: 266-280
10		Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff: HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z. ZUM 1998: 116-134
	1997
9		Einar W. Karlsen, Stefan Westmeier: Using Concurrent Haskell to Develop Views over an Active Repository. Implementation of Functional Languages 1997: 285-303
	1993
8		Einar W. Karlsen, Jesper Jørgensen II: PAnndA-S Reference Manual. PROSPECTRA Book 1993: 149-169
7		Einar W. Karlsen: PAnndA Reference Manual. PROSPECTRA Book 1993: 223-238
6		Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor: Uniform Transformational Development. PROSPECTRA Book 1993: 317-330
5		Einar W. Karlsen, Jesper Jørgensen II: Program Development: PAnndA-S Editor. PROSPECTRA Book 1993: 389-417
4		Einar W. Karlsen: Program Development: PAnndA Transformer Shell. PROSPECTRA Book 1993: 418-449
3		Einar W. Karlsen, Owen Traynor: Program Development: Attributes for Transformation and Proof. PROSPECTRA Book 1993: 450-459
	1991
2		Einar W. Karlsen, Bernd Krieg-Brückner, Owen Traynor: The PROSPECTRA System: A Unified Development Framework. AMAST 1991: 421-433
1		Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor: The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development. VDM Europe (2) 1991: 363-397

Coauthor Index

1	Jesper Jørgensen II	[5] [8]
2	Kolyang	[10]
3	Bernd Krieg-Brückner	[1] [2] [6]
4	Junbo Liu	[1] [6]
5	Christoph Lüth	[10]
6	Bill Taylor	[12]
7	Owen Traynor	[1] [2] [3] [6]
8	Stefan Westmeier	[9] [10]
9	Burkhart Wolff	[10]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page