Concepedia

Jens Lemcke

JL

6

Publications

79

Citations

6

H-Index

2005

Active since

Affiliations

University of Koblenz and Landau(Current)

Jens Lemcke is an author at University of Koblenz and Landau specializing in formal verification, semantic web, and engineering.

Top concepts

Publications per year

2005–2010

6

Publications

6

Composing Web-service-like Abstract State Machines (ASMs)

Jens Lemcke, Andreas Friesen · 2007 · 17 citations

, , +16

Validating process refinement with ontologies

Yuan Ren, Gerd Gröener, Jens Lemcke et al. · Aberdeen University Research Archive (Aberdeen University) · 2009 · 15 citations · Full text

ASMs in Service Oriented Architectures.

Michael Altenhofen, Andreas Friesen, Jens Lemcke · JUCS - Journal of Universal Computer Science · 2008 · 13 citations · Full text

An Execution Semantics for Mediation Patterns.

Michael Altenhofen, Egon Börger, Jens Lemcke · 2005 · 13 citations

A high-level specification for virtual providers

Michael Altenhofen, Andreas Friesen, Jens Lemcke et al. · International Journal of Business Process Integration and Management · 2006 · 11 citations

, , +20

Rows per page

1–5 of 6