default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJutta A. Mülle
Person information
- affiliation: Karlsruhe Institute of Technology (KIT), Institute for Program Structures and Data Organization, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j8]Elaheh Ordoni
, Jutta A. Mülle, Klemens Böhm:
Reduction of data-value-aware process models: A relevance-based approach. Inf. Syst. 114: 102157 (2023)- 2022
- [c22]Elaheh Ordoni, Jutta A. Mülle, Klemens Böhm:
Results from the Verification of Models of Spectrum Auctions. BMSD 2022: 54-68 - [c21]Elaheh Ordoni, Jutta A. Mülle, Kuan Yang, Klemens Böhm:
Efficient Verification of Process Models Supporting Modifications of Data Values. CBI (1) 2022: 21-30 - 2020
- [c20]Elaheh Ordoni, Jutta A. Mülle, Klemens Böhm:
Verification of Data-Value-Aware Processes and a Case Study on Spectrum Auctions. CBI (1) 2020: 181-190
2010 – 2019
- 2019
- [j7]Jutta A. Mülle, Christine Tex, Klemens Böhm:
A practical data-flow verification scheme for business processes. Inf. Syst. 81: 136-151 (2019) - 2016
- [j6]Richard Mrasek, Jutta A. Mülle, Klemens Böhm, Michael Becker, Christian Allmann:
Property specification, process verification, and reporting - A case study with vehicle-commissioning processes. Inf. Syst. 56: 326-346 (2016) - [c19]Richard Mrasek, Jutta A. Mülle, Klemens Böhm:
Process Synthesis with Sequential and Parallel Constraints. OTM Conferences 2016: 43-60 - 2015
- [j5]Richard Mrasek, Jutta A. Mülle, Klemens Böhm:
A new verification technique for large processes based on identification of relevant tasks. Inf. Syst. 47: 82-97 (2015) - [c18]Richard Mrasek, Jutta A. Mülle, Klemens Böhm:
Automatic Generation of Optimized Process Models from Declarative Specifications. CAiSE 2015: 382-397 - 2014
- [j4]Silvia von Stackelberg, Susanne Putze, Jutta A. Mülle, Klemens Böhm:
Detecting Data-Flow Errors in BPMN 2.0. Open J. Inf. Syst. 1(2): 1-19 (2014) - [c17]Richard Mrasek, Jutta A. Mülle, Klemens Böhm, Michael Becker, Christian Allmann:
User-Friendly Property Specification and Process Verification - A Case Study with Vehicle-Commissioning Processes. BPM 2014: 301-316 - 2011
- [c16]Ioana Ciuciu, Gang Zhao, Jutta A. Mülle, Silvia von Stackelberg, Cristian Vasquez Paulus, Thorsten Haberecht, Robert Meersman, Klemens Böhm:
Semantic Support for Security-Annotated Business Process Models. BMMDS/EMMSAD 2011: 284-298 - [c15]Jutta A. Mülle, Silvia von Stackelberg, Klemens Böhm:
Modelling and transforming security constraints in privacy-aware business processes. SOCA 2011: 1-4 - 2010
- [c14]Jens Müller, Jutta A. Mülle, Silvia von Stackelberg, Klemens Böhm:
Secure Business Processes in Service-Oriented Architectures - A Requirements Analysis. ECOWS 2010: 35-42
2000 – 2009
- 2008
- [j3]Ingo Weber, Jochen Haller, Jutta A. Mülle:
Automated derivation of executable business processes from choreographies in virtual organisations. Int. J. Bus. Process. Integr. Manag. 3(2): 85-95 (2008) - 2006
- [c13]Simon Moser, Axel Martens, Marc Häbich, Jutta A. Mülle:
A Hybrid Approach for Generating Compatible WS-BPEL Partner Processes. Business Process Management 2006: 458-464 - [c12]Jutta A. Mülle, Klemens Böhm, Nicolas Roper, Tobias Sunder:
Building Conference Proceedings Requires Adaptable Workflow and Content Management. VLDB 2006: 1129-1139 - 2003
- [c11]Khaldoun Ateyeh, Michael Klein, Birgitta König-Ries, Jutta A. Mülle:
A Practical Strategy for the Modularization of Courseware. Wissensmanagement 2003: 235-239 - 2000
- [c10]Khaldoun Ateyeh, Jutta A. Mülle, Peter C. Lockemann:
Modulare Aufbereitung von multimedialen Lerninhalten für eine heterogene Lernumgebung. D-CSCL 2000: 267-268 - [c9]Khaldoun Ateyeh, Jutta A. Mülle, Peter C. Lockemann:
Modular Development of Multimedia Courseware. WISE (2) 2000: 179-187
1990 – 1999
- 1997
- [c8]Rose Sturm, Jutta A. Mülle, Peter C. Lockemann:
Collision of Constrained Work Spaces: A Unifying Concept for Design Interactions. CoopIS 1997: 25-35 - 1995
- [c7]Karol Abramowicz, Birgit Boss, Volkmar Hovestadt, Jutta A. Mülle, Rose Sturm, Peter C. Lockemann:
Konsistenzüberwachung in Datenbanksystemen - Eine Anforderungsanalyse anhand der Entwurfsbereiche Architektur und Schiffsbau. BTW 1995: 302-321 - [c6]Rose Sturm, Jutta A. Mülle, Peter C. Lockemann:
Temporized and Localized Rule Sets. Rules in Database Systems 1995: 131-146
1980 – 1989
- 1988
- [c5]Angelika M. Kotz, Klaus R. Dittrich, Jutta A. Mülle:
Supporting Semantic Rules by a Generalized Event/Trigger Mechanism. EDBT 1988: 76-91 - 1986
- [j2]Klaus R. Dittrich, Angelika M. Kotz, Jutta A. Mülle:
An Event/Trigger Mechanism to Enforce Complex Consistency Constraints in Design Databases. SIGMOD Rec. 15(3): 22-36 (1986) - 1985
- [j1]Klaus R. Dittrich, Angelika M. Kotz, Jutta A. Mülle, Peter C. Lockemann:
Datenbankunterstützung für den ingenieurwissenschaftlichen Entwurf. Inform. Spektrum 8(3): 113-125 (1985) - [c4]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:
Anforderungen technischer Anwendungen an Datenbanksysteme. BTW 1985: 1-26 - [c3]Klaus R. Dittrich, Angelika M. Kotz, Jutta A. Mülle:
DAMASCUS - ein Datenhaltungssystem für den VLSI-Entfurf. BTW 1985: 70-72 - [c2]Klaus R. Dittrich, Angelika M. Kotz, Jutta A. Mülle:
Basismechanismen für komplexe Konsistenzprobleme in Entwurfsdatenbanken. BTW 1985: 73-90 - 1984
- [c1]Klaus R. Dittrich, Angelika M. Kotz, Jutta A. Mülle, Peter C. Lockemann:
Datenbankkonzepte für Ingenieuranwendungen: ein Übersicht über den Stand der Entwicklung. GI Jahrestagung 1984: 175-192
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
