Schützenmeier, Nicolai
12  Ergebnisse:
Personensuche X
?
2

Comparing Process Models Beyond Structural Equivalence:

, In: Lecture Notes in Business Information Processing; Advanced Information Systems Engineering Workshops,
 
?
4

Comparing the Expressiveness of Imperative and Declarative ..:

, In: Lecture Notes in Business Information Processing; Model-Driven Organizational and Business Agility,
 
?
5

Efficient Computation of Behavioral Changes in Declarative ..:

, In: Enterprise, Business-Process and Information Systems Modeling; Lecture Notes in Business Information Processing,
 
?
 
?
7

Upper-Bounded Model Checking for Declarative Process Models:

, In: Lecture Notes in Business Information Processing; The Practice of Enterprise Modeling,
 
?
8

Towards a Hybrid Process Modeling Language:

, In: Research Challenges in Information Science; Lecture Notes in Business Information Processing,
 
?
9

Detection of Declarative Process Constraints in LTL Formula:

, In: Lecture Notes in Business Information Processing; Enterprise and Organizational Modeling and Simulation,
 
?
10

Logic Based Look-Ahead for the Execution of Multi-perspecti..:

, In: Enterprise, Business-Process and Information Systems Modeling; Lecture Notes in Business Information Processing,
 
?
11

Execution of Multi-perspective Declarative Process Models:

, In: Lecture Notes in Computer Science; On the Move to Meaningful Internet Systems. OTM 2018 Conferences,
 
?
12

Automaton-based comparison of Declare process models:

Schützenmeier, Nicolai ; Käppel, Martin ; Ackermann, Lars..
https://epub.uni-bayreuth.de/id/eprint/7179/1/s10270-022-01069-y.pdf.  , 2023
 
1-12