Showing
1 - 10
results of
10
Skip to content
VuFind
Log in
Library Catalogue Plus
Library
Subject guides
Databases
Referencing
Catalogue
Articles Plus
Keyword
Title
Author
Subject
Find
Advanced Search
Search Results - Mülle, Jutta
Search Results - Mülle, Jutta
Showing
1 - 10
results of
10
Refine Results
Sort
Relevance
Date Descending
Author
Title
1
Loading…
Reduction of data-value-aware process models: A relevance-based approach
by
Ordoni, Elaheh
,
Mülle, Jutta
,
Böhm, Klemens
Published in
Information systems (Oxford)
Get full text
Items that this one cites
Article
Save to List
Saved in:
2
Loading…
A practical data-flow verification scheme for business processes
by
Mülle, Jutta
,
Tex, Christine
,
Böhm, Klemens
Published in
Information systems (Oxford)
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
3
Loading…
A new verification technique for large processes based on identification of relevant tasks
by
Mrasek, Richard
,
Mülle, Jutta
,
Böhm, Klemens
Published in
Information systems (Oxford)
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
4
Loading…
Property specification, process verification, and reporting – A case study with vehicle-commissioning processes
by
Mrasek, Richard
,
Mülle, Jutta
,
Böhm, Klemens
,
Becker, Michael
,
Allmann, Christian
Published in
Information systems (Oxford)
Get full text
Items that this one cites
Article
Save to List
Saved in:
5
Loading…
Efficient Verification of Process Models Supporting Modifications of Data Values
by
Ordoni, Elaheh
,
Mulle, Jutta
,
Yang, Kuan
,
Bohm, Klemens
Request full text
Conference Proceeding
Save to List
Saved in:
6
Loading…
Secure Business Processes in Service-Oriented Architectures -- A Requirements Analysis
by
Muller, Jens
,
Mulle, Jutta
,
von Stackelberg, S
,
Bohm, Klemens
Request full text
Conference Proceeding
Save to List
Saved in:
7
Loading…
Modelling and transforming security constraints in privacy-aware business processes
by
Mulle, J.
,
von Stackelberg, S.
,
Bohm, K.
Request full text
Conference Proceeding
Save to List
Saved in:
8
Loading…
Verification of Data-Value-Aware Processes and a Case Study on Spectrum Auctions
by
Ordoni, Elaheh
,
Mulle, Jutta
,
Bohm, Klemens
Request full text
Conference Proceeding
Save to List
Saved in:
9
Loading…
An event/trigger mechanism to enforce complex consistency constraints in design databases
by
Dittrich, Klaus R.
,
Kotz, Angelika M.
,
Mülle, Jutta A.
Published in
SIGMOD record
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
10
Loading…
NGOs, die Vereinten Nationen und Gewalt gegen Frauen. Agenda-Setting, Framing, Gelegenheits- und Mobilisierungsstrukturen
by
Joachim, Jutta M.
Published in
Zeitschrift für internationale Beziehungen
Get full text
Items that cite this one
Article
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit To
Peer Reviewed
5 results
5
Full Text
10 results
10
Format
Articles
6 results
6
Conference Proceedings
4 results
4
Journal Title
Information Systems
4 results
4
Sigmod Record
1 results
1
Zeitschrift Für Internationale Beziehungen
1 results
1
Subjects
Computer Science
6 results
6
Computer Science, Information Systems
6 results
6
Science & Technology
6 results
6
Technology
6 results
6
Business
5 results
5
Verification
4 results
4
Business Process Management
3 results
3
Information Systems
3 results
3
Workflow Management
3 results
3
Business & Economics
2 results
2
Computer Science, Interdisciplinary Applications
2 results
2
Data Models
2 results
2
Model Checking
2 results
2
Petri Net
2 results
2
Petri Nets
2 results
2
Property Verification
2 results
2
Reduction
2 results
2
Semantics
2 results
2
Social Sciences
2 results
2
Access Control
1 results
1
Year of Publication
From:
To:
Source
Ieee Electronic Library (Iel) Conference Proceedings
4 results
4
Sciencedirect
4 results
4
Sciencedirect Journals
4 results
4
Science Citation Index Expanded (Web Of Science)
4 results
4
Ieee Xplore All Conference Series
3 results
3
Acm Digital Library
1 results
1
Association For Computing Machinery:jisc Collections:acm Open Journals 2023-2025 (Reading List)
1 results
1
Library & Information Science Abstracts (Lisa)
1 results
1
Jstor Archival Journals And Primary Sources Collection
1 results
1
Ezb Electronic Journals Library
1 results
1
Nomos Elibrary
1 results
1