( en | de | ru )

 

Disambiguation of "Mülle, Jutta A."

Author of the publication

copydeleteadd this publication to your clipboard
User-Friendly Property Specification and Process Verification - A Case Study with Vehicle-Commissioning Processes.

, , , , and . BPM, volume 8659 of Lecture Notes in Computer Science, page 301-316. Springer, (2014)

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.

Gerhard Mülle

Albert Mülle

Jennifer Mülle

R. A. A. Bowler

°Ake °Akerström

 

Other publications of authors with the same name

A Hybrid Approach for Generating Compatible WS-BPEL Partner Processes., , , and . Business Process Management, volume 4102 of Lecture Notes in Computer Science, page 458-464. Springer, (2006)Results from the Verification of Models of Spectrum Auctions., , and . BMSD, volume 453 of Lecture Notes in Business Information Processing, page 54-68. Springer, (2022)Datenbankunterstützung für den ingenieurwissenschaftlichen Entwurf., , , and . Inform. Spektrum, 8 (3): 113-125 (1985)A practical data-flow verification scheme for business processes., , and . Inf. Syst., (2019)An Event/Trigger Mechanism to Enforce Complex Consistency Constraints in Design Databases., , and . SIGMOD Record, 15 (3): 22-36 (1986)Modulare Aufbereitung von multimedialen Lerninhalten für eine heterogene Lernumgebung., , and . D-CSCL, page 267-268. Physica-Verlag / Springer, (2000)Reduction of data-value-aware process models: A relevance-based approach., , and . Inf. Syst., (March 2023)Efficient Verification of Process Models Supporting Modifications of Data Values., , , and . CBI (1), page 21-30. IEEE, (2022)Supporting Semantic Rules by a Generalized Event/Trigger Mechanism., , and . EDBT, volume 303 of Lecture Notes in Computer Science, page 76-91. Springer, (1988)Automated derivation of executable business processes from choreographies in virtual organisations., , and . Int. J. Bus. Process. Integr. Manag., 3 (2): 85-95 (2008)