Author of the publication

DAMASCUS - ein Datenhaltungssystem für den VLSI-Entfurf.

, , and . BTW, volume 94 of Informatik-Fachberichte, page 70-72. Springer, (1985)

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.

 

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)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)An Event/Trigger Mechanism to Enforce Complex Consistency Constraints in Design Databases., , and . SIGMOD Record, 15 (3): 22-36 (1986)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)