|
Search the dblp DataBase
Einar W. Karlsen:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Bill Taylor, Einar W. Karlsen
Mapping UML to Ada. [Citation Graph (0, 0)][DBLP] Ada-Europe, 2001, pp:359-370 [Conf]
- Einar W. Karlsen, Bernd Krieg-Brückner, Owen Traynor
The PROSPECTRA System: A Unified Development Framework. [Citation Graph (0, 0)][DBLP] AMAST, 1991, pp:421-433 [Conf]
- Einar W. Karlsen
The UniForM WorkBench - A Higher Order Tool Integration Framework. [Citation Graph (0, 0)][DBLP] FM-Trends, 1998, pp:266-280 [Conf]
- Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor
The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development. [Citation Graph (0, 0)][DBLP] VDM Europe (2), 1991, pp:363-397 [Conf]
- Einar W. Karlsen, Stefan Westmeier
Using Concurrent Haskell to Develop Views over an Active Repository. [Citation Graph (0, 0)][DBLP] Implementation of Functional Languages, 1997, pp:285-303 [Conf]
- Einar W. Karlsen
PAnndA Reference Manual. [Citation Graph (0, 0)][DBLP] PROSPECTRA Book, 1993, pp:223-238 [Conf]
- Einar W. Karlsen
Program Development: PAnndA Transformer Shell. [Citation Graph (0, 0)][DBLP] PROSPECTRA Book, 1993, pp:418-449 [Conf]
- Einar W. Karlsen, Jesper Jørgensen II
PAnndA-S Reference Manual. [Citation Graph (0, 0)][DBLP] PROSPECTRA Book, 1993, pp:149-169 [Conf]
- Einar W. Karlsen, Jesper Jørgensen II
Program Development: PAnndA-S Editor. [Citation Graph (0, 0)][DBLP] PROSPECTRA Book, 1993, pp:389-417 [Conf]
- Einar W. Karlsen, Owen Traynor
Program Development: Attributes for Transformation and Proof. [Citation Graph (0, 0)][DBLP] PROSPECTRA Book, 1993, pp:450-459 [Conf]
- Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor
Uniform Transformational Development. [Citation Graph (0, 0)][DBLP] PROSPECTRA Book, 1993, pp:317-330 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] ZUM, 1998, pp:116-134 [Conf]
Search in 0.001secs, Finished in 0.002secs
|