Searching for authors named "Niels Lohmann" – sorted by Relevance.
27 documents found, showing 1 through 10.
Next 10 →
-
Why does my service have no partners
- …Why does my service have no partners? Niels Lohmann Universität Rostock, Institut für Informatik…
- Cited by 2 (1 self) – Add To MetaCart
-
Fixing Deadlocking Service Choreographies Using a Simulation-based Graph Edit Distance
- … Lohmann Universität Rostock, Institut für Informatik, 18051 Rostock, Germany niels.lohmann…
- Add To MetaCart
-
Decompositional Computation of Operating Guidelines Using Free Choice Conflicts
- …Decompositional Computation of Operating Guidelines Using Free Choice Conflicts Niels Lohmann…
- Add To MetaCart
-
A feature-complete Petri net semantics for WS-BPEL 2.0 and its compiler BPEL2oWFN
- …A Feature-Complete Petri Net Semantics for WS-BPEL 2.0 Niels Lohmann Humboldt-Universität zu…
- Cited by 19 (12 self) – Add To MetaCart
-
Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance
- … Lohmann Universität Rostock, Institut für Informatik, 18051 Rostock, Germany niels.lohmann…
- Cited by 7 (3 self) – Add To MetaCart
-
Does my service have unspecified behavior?
- …Does my service have unspecified behavior? Kathrin Kaschner and Niels Lohmann Universität Rostock…
- Add To MetaCart
-
Automatic Test Case Generation for Services
- …Automatic Test Case Generation for Services Kathrin Kaschner and Niels Lohmann Universität Rostock…
- Add To MetaCart
-
Fully-automatic translation of open workflow net models into simple abstract BPEL processes
- … Lohmann 1,2 Jens Kleine 1 1 Humboldt-Universität zu Berlin, Institut für Informatik, Unter den Linden 6…
- Cited by 15 (9 self) – Add To MetaCart
-
Realizability is controllability
- …Realizability is controllability Niels Lohmann and Karsten Wolf Universität Rostock, Institut für…
- Add To MetaCart
-
Petrifying Operating Guidelines for Services
- …Petrifying Operating Guidelines for Services Niels Lohmann and Karsten Wolf Universität Rostock…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
