PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Wolf, Karsten"

Author of the publication

copydeleteadd this publication to your clipboard
Extending the compatibility notion for abstract WS-BPEL processes.

, , , , and . WWW, page 785-794. ACM, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. -Ing. Karsten Keller University of Stuttgart

Thomas Wolfram University of Stuttgart

Martin Wolf University of Stuttgart

Karsten Schatz University of Stuttgart

Univ. -Prof. Dr. -Ing. Karsten Meier University of Stuttgart

 

Other publications of authors with the same name

Deciding service composition and substitutability using extended operating guidelines., and . Data Knowl. Eng., 68 (9): 819-833 (2009)Verifying Deadlock- and Livelock Freedom in an SOA Scenario., , , and . ACSD, page 168-177. IEEE Computer Society, (2009)Reducing Adapter Synthesis to Controller Synthesis., , and . IEEE Trans. Services Computing, 5 (1): 72-85 (2012)Multiparty Contracts: Agreeing and Implementing Interorganizational Processes., , , , and . Comput. J., 53 (1): 90-106 (2010)Finding a Witness Path for Non-liveness in Free-Choice Nets., and . Petri Nets, volume 6709 of Lecture Notes in Computer Science, page 189-207. Springer, (2011)Instantaneous Soundness Checking of Industrial Business Process Models., , , , , , and . BPM, volume 5701 of Lecture Notes in Computer Science, page 278-293. Springer, (2009)Behavioral Constraints for Services., , and . BPM, volume 4714 of Lecture Notes in Computer Science, page 271-287. Springer, (2007)Service Interaction: Patterns, Formalization, and Analysis., , , and . SFM, volume 5569 of Lecture Notes in Computer Science, page 42-88. Springer, (2009)Applying CEGAR to the Petri Net State Equation., and . TACAS, volume 6605 of Lecture Notes in Computer Science, page 224-238. Springer, (2011)Presentation of the 9th Edition of the Model Checking Contest., , , , , , , , , and 9 other author(s). TACAS (3), volume 11429 of Lecture Notes in Computer Science, page 50-68. Springer, (2019)