( en | de | ru )

 

Disambiguation of "Mülle, Jutta A."

Author of the publication

copydeleteadd this publication to your clipboard
Verification of Data-Value-Aware Processes and a Case Study on Spectrum Auctions.

, , and . CBI (1), page 181-190. IEEE, (2020)

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)Modulare Aufbereitung von multimedialen Lerninhalten für eine heterogene Lernumgebung., , and . D-CSCL, page 267-268. Physica-Verlag / Springer, (2000)Efficient Verification of Process Models Supporting Modifications of Data Values., , , and . CBI (1), page 21-30. IEEE, (2022)A Practical Strategy for the Modularization of Courseware., , , and . Wissensmanagement, volume P-28 of LNI, page 235-239. GI, (2003)Supporting Semantic Rules by a Generalized Event/Trigger Mechanism., , and . EDBT, volume 303 of Lecture Notes in Computer Science, page 76-91. Springer, (1988)DAMASCUS - ein Datenhaltungssystem für den VLSI-Entfurf., , and . BTW, volume 94 of Informatik-Fachberichte, page 70-72. Springer, (1985)Basismechanismen für komplexe Konsistenzprobleme in Entwurfsdatenbanken., , and . BTW, volume 94 of Informatik-Fachberichte, page 73-90. Springer, (1985)Datenbankkonzepte für Ingenieuranwendungen: ein Übersicht über den Stand der Entwicklung., , , and . GI Jahrestagung, volume 88 of Informatik-Fachberichte, page 175-192. Springer, (1984)Verification of Data-Value-Aware Processes and a Case Study on Spectrum Auctions., , and . CBI (1), page 181-190. IEEE, (2020)