Einar W. Karlsen Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2001
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bill Taylor, Einar W. Karlsen: Mapping UML to Ada. Ada-Europe 2001: 359-370
1998
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Einar W. Karlsen: The UniForM WorkBench - A Higher Order Tool Integration Framework. FM-Trends 1998: 266-280
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Einar W. Karlsen, Stefan Westmeier: Using Concurrent Haskell to Develop Views over an Active Repository. Implementation of Functional Languages 1997: 285-303
1993
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Einar W. Karlsen, Jesper Jørgensen II: PAnndA-S Reference Manual. PROSPECTRA Book 1993: 149-169
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Einar W. Karlsen: PAnndA Reference Manual. PROSPECTRA Book 1993: 223-238
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor: Uniform Transformational Development. PROSPECTRA Book 1993: 317-330
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Einar W. Karlsen, Jesper Jørgensen II: Program Development: PAnndA-S Editor. PROSPECTRA Book 1993: 389-417
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Einar W. Karlsen: Program Development: PAnndA Transformer Shell. PROSPECTRA Book 1993: 418-449
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Einar W. Karlsen, Owen Traynor: Program Development: Attributes for Transformation and Proof. PROSPECTRA Book 1993: 450-459
1991
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Einar W. Karlsen, Bernd Krieg-Brückner, Owen Traynor: The PROSPECTRA System: A Unified Development Framework. AMAST 1991: 421-433
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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

1Jesper Jørgensen II
[c8] [c5]
2Kolyang
[c10]
3Bernd Krieg-Brückner
[c6] [c2] [c1]
4Junbo Liu
[c6] [c1]
5Christoph Lüth
[c10]
6Bill Taylor
[c12]
7Owen Traynor
[c6] [c3] [c2] [c1]
8Stefan Westmeier
[c10] [c9]
9Burkhart Wolff
[c10]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Thu May 23 06:26:10 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page