Jutta A. Mülle

Orcid: 0000-0002-5515-7756

  • Karlsruhe Institute of Technology (KIT), Institute for Program Structures and Data Organization, Germany

According to our database1, Jutta A. Mülle authored at least 30 papers between 1984 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


Online presence:

On csauthors.net:


Reduction of data-value-aware process models: A relevance-based approach.
Inf. Syst., March, 2023

Efficient Verification of Process Models Supporting Modifications of Data Values.
Proceedings of the 24th IEEE Conference on Business Informatics, 2022

Results from the Verification of Models of Spectrum Auctions.
Proceedings of the Business Modeling and Software Design - 12th International Symposium, 2022

Verification of Data-Value-Aware Processes and a Case Study on Spectrum Auctions.
Proceedings of the 22nd IEEE Conference on Business Informatics, 2020

A practical data-flow verification scheme for business processes.
Inf. Syst., 2019

Property specification, process verification, and reporting - A case study with vehicle-commissioning processes.
Inf. Syst., 2016

Process Synthesis with Sequential and Parallel Constraints.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2016 Conferences, 2016

A new verification technique for large processes based on identification of relevant tasks.
Inf. Syst., 2015

Automatic Generation of Optimized Process Models from Declarative Specifications.
Proceedings of the Advanced Information Systems Engineering, 2015

Detecting Data-Flow Errors in BPMN 2.0.
Open J. Inf. Syst., 2014

User-Friendly Property Specification and Process Verification - A Case Study with Vehicle-Commissioning Processes.
Proceedings of the Business Process Management - 12th International Conference, 2014

Modelling and transforming security constraints in privacy-aware business processes.
Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications, 2011

Semantic Support for Security-Annotated Business Process Models.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2011

Secure Business Processes in Service-Oriented Architectures - A Requirements Analysis.
Proceedings of the 8th IEEE European Conference on Web Services (ECOWS 2010), 2010

Automated derivation of executable business processes from choreographies in virtual organisations.
Int. J. Bus. Process. Integr. Manag., 2008

Building Conference Proceedings Requires Adaptable Workflow and Content Management.
Proceedings of the 32nd International Conference on Very Large Data Bases, 2006

A Hybrid Approach for Generating Compatible WS-BPEL Partner Processes.
Proceedings of the Business Process Management, 4th International Conference, 2006

A Practical Strategy for the Modularization of Courseware.
Proceedings of the WM 2003: Professionelles Wissensmanagement, 2003

Modular Development of Multimedia Courseware.
Proceedings of the WISE 2000, 2000

Modulare Aufbereitung von multimedialen Lerninhalten für eine heterogene Lernumgebung.
Proceedings of the Vernetztes Lernen mit digitalen Medien, 2000

Collision of Constrained Work Spaces: A Unifying Concept for Design Interactions.
Proceedings of the Second IFCIS International Conference on Cooperative Information Systems, 1997

Temporized and Localized Rule Sets.
Proceedings of the Rules in Database Systems, Second International Workshop, 1995

Konsistenzüberwachung in Datenbanksystemen - Eine Anforderungsanalyse anhand der Entwurfsbereiche Architektur und Schiffsbau.
Proceedings of the Datenbanksysteme in Büro, 1995

Supporting Semantic Rules by a Generalized Event/Trigger Mechanism.
Proceedings of the Advances in Database Technology, 1988

An Event/Trigger Mechanism to Enforce Complex Consistency Constraints in Design Databases.
SIGMOD Rec., 1986

Datenbankunterstützung für den ingenieurwissenschaftlichen Entwurf.
Inform. Spektrum, 1985

Anforderungen technischer Anwendungen an Datenbanksysteme.
Proceedings of the Datenbanksysteme für Büro, 1985

Basismechanismen für komplexe Konsistenzprobleme in Entwurfsdatenbanken.
Proceedings of the Datenbanksysteme für Büro, 1985

DAMASCUS - ein Datenhaltungssystem für den VLSI-Entfurf.
Proceedings of the Datenbanksysteme für Büro, 1985

Datenbankkonzepte für Ingenieuranwendungen: ein Übersicht über den Stand der Entwicklung.
Proceedings of the GI - 14. Jahrestagung, Braunschweig, 2.-4. Oktober 1984, Proceedings, 1984