Datenbankkonzepte für Ingenieuranwendungen: ein Übersicht über den Stand der Entwicklung. - Klaus R. Dittrich; Angelika M. Kotz; Jutta A. Mülle; Peter C. Lockemann (GI Jahrestagung, 1984)

DAMASCUS - ein Datenhaltungssystem für den VLSI-Entfurf. - Klaus R. Dittrich; Angelika M. Kotz; Jutta A. Mülle (BTW, 1985)

Basismechanismen für komplexe Konsistenzprobleme in Entwurfsdatenbanken. - Klaus R. Dittrich; Angelika M. Kotz; Jutta A. Mülle (BTW, 1985)

Anforderungen technischer Anwendungen an Datenbanksysteme. - Peter C. Lockemann; Marcus Adams; Martin Bever; Klaus R. Dittrich; Barbara Ferkinghoff; Willi Gotthard; Angelika M. Kotz; Rolf-Peter Liedtke; Birgit Lüke; Jutta A. Mülle (BTW, 1985)

Datenbankunterstützung für den ingenieurwissenschaftlichen Entwurf. - Klaus R. Dittrich; Angelika M. Kotz; Jutta A. Mülle; Peter C. Lockemann (Inform. Spektrum, 1985)

An Event/Trigger Mechanism to Enforce Complex Consistency Constraints in Design Databases. - Klaus R. Dittrich; Angelika M. Kotz; Jutta A. Mülle (SIGMOD Rec., 1986)

Supporting Semantic Rules by a Generalized Event/Trigger Mechanism. - Angelika M. Kotz; Klaus R. Dittrich; Jutta A. Mülle (EDBT, 1988)

Konsistenzüberwachung in Datenbanksystemen - Eine Anforderungsanalyse anhand der Entwurfsbereiche Architektur und Schiffsbau. - Karol Abramowicz; Birgit Boss; Volkmar Hovestadt; Jutta A. Mülle; Rose Sturm; Peter C. Lockemann (BTW, 1995)

Temporized and Localized Rule Sets. - Rose Sturm; Jutta A. Mülle; Peter C. Lockemann (Rules in Database Systems, 1995)

Collision of Constrained Work Spaces: A Unifying Concept for Design Interactions. - Rose Sturm; Jutta A. Mülle; Peter C. Lockemann (CoopIS, 1997)

Modulare Aufbereitung von multimedialen Lerninhalten für eine heterogene Lernumgebung. - Khaldoun Ateyeh; Jutta A. Mülle; Peter C. Lockemann (D-CSCL, 2000)

Modular Development of Multimedia Courseware. - Khaldoun Ateyeh; Jutta A. Mülle; Peter C. Lockemann (WISE (2), 2000)

A Practical Strategy for the Modularization of Courseware. - Khaldoun Ateyeh; Michael Klein; Birgitta König-Ries; Jutta A. Mülle (Wissensmanagement, 2003)

A Hybrid Approach for Generating Compatible WS-BPEL Partner Processes. - Simon Moser; Axel Martens; Marc Häbich; Jutta A. Mülle (Business Process Management, 2006)

Building Conference Proceedings Requires Adaptable Workflow and Content Management. - Jutta A. Mülle; Klemens Böhm; Nicolas Roper; Tobias Sunder (VLDB, 2006)

Automated derivation of executable business processes from choreographies in virtual organisations. - Ingo Weber; Jochen Haller; Jutta A. Mülle (Int. J. Bus. Process. Integr. Manag., 2008)

Secure Business Processes in Service-Oriented Architectures - A Requirements Analysis. - Jens Müller 002; Jutta A. Mülle; Silvia von Stackelberg; Klemens Böhm (ECOWS, 2010)

Semantic Support for Security-Annotated Business Process Models. - Ioana Ciuciu; Gang Zhao 001; Jutta A. Mülle; Silvia von Stackelberg; Cristian Vasquez Paulus; Thorsten Haberecht; Robert Meersman; Klemens Böhm (BMMDS/EMMSAD, 2011)

Modelling and transforming security constraints in privacy-aware business processes. - Jutta A. Mülle; Silvia von Stackelberg; Klemens Böhm (SOCA, 2011)

User-Friendly Property Specification and Process Verification - A Case Study with Vehicle-Commissioning Processes. - Richard Mrasek; Jutta A. Mülle; Klemens Böhm; Michael Becker 002; Christian Allmann (BPM, 2014)

Detecting Data-Flow Errors in BPMN 2.0. - Silvia von Stackelberg; Susanne Putze; Jutta A. Mülle; Klemens Böhm (Open J. Inf. Syst., 2014)

Automatic Generation of Optimized Process Models from Declarative Specifications. - Richard Mrasek; Jutta A. Mülle; Klemens Böhm (CAiSE, 2015)

A new verification technique for large processes based on identification of relevant tasks. - Richard Mrasek; Jutta A. Mülle; Klemens Böhm (Inf. Syst., 2015)

Process Synthesis with Sequential and Parallel Constraints. - Richard Mrasek; Jutta A. Mülle; Klemens Böhm (OTM Conferences, 2016)

Property specification, process verification, and reporting - A case study with vehicle-commissioning processes. - Richard Mrasek; Jutta A. Mülle; Klemens Böhm; Michael Becker 002; Christian Allmann (Inf. Syst., 2016)

A practical data-flow verification scheme for business processes. - Jutta A. Mülle; Christine Tex; Klemens Böhm (Inf. Syst., 2019)

Verification of Data-Value-Aware Processes and a Case Study on Spectrum Auctions. - Elaheh Ordoni; Jutta A. Mülle; Klemens Böhm (CBI (1), 2020)

Results from the Verification of Models of Spectrum Auctions. - Elaheh Ordoni; Jutta A. Mülle; Klemens Böhm (BMSD, 2022)

Efficient Verification of Process Models Supporting Modifications of Data Values. - Elaheh Ordoni; Jutta A. Mülle; Kuan Yang; Klemens Böhm (CBI (1), 2022)

Reduction of data-value-aware process models: A relevance-based approach. - Elaheh Ordoni; Jutta A. Mülle; Klemens Böhm (Inf. Syst., 2023)