Concepedia

Christian Stahl

CS

Statistics

Publications

19

Citations

779

H-Index

16

Active since

2004

Affiliations

Humboldt-Universität zu Berlin(Current)

Eindhoven University of Technology

University of Rostock

Leibniz Institute for High Performance Microelectronics

Cal Poly Humboldt

Christian Stahl is an author at Humboldt-Universität zu Berlin specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringSystems EngineeringComputer ScienceFormal MethodsSoftware DesignFormal VerificationSoftware EngineeringVerificationSystem SoftwareSoftware Analysis

Publications per year

2004–2013

19

Publications

19

Multiparty Contracts: Agreeing and Implementing Interorganizational Processes

Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe et al. · The Computer Journal · 2008 · 106 citations

Analyzing interacting WS-BPEL processes using flexible model generation

Niels Lohmann, Peter Massuthe, Christian Stahl et al. · Data & Knowledge Engineering · 2007 · 101 citations

Engineering, Formal Methods, Process Control +9

Multiagent systems with workflows

José M. Vidal, Paul A. Buhler, Christian Stahl · IEEE Internet Computing · 2004 · 89 citations

Web Service Specification, Engineering, Web Service Modeling +15

Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible

Natalia Sidorova, Christian Stahl, Nikola Trčka · Information Systems · 2011 · 72 citations

Engineering, Conceptual Workflow Nets, Verification +17

Extending the compatibility notion for abstract WS-BPEL processes

Dieter König, Niels Lohmann, Simon Moser et al. · 2008 · 55 citations

Engineering, Business Processes, Verification +20

1–5 of 19