Search for persons
X
?
Lecture Notes in Business Information Processing; Advanced Information Systems Engineering Workshops ,
2
Comparing Process Models Beyond Structural Equivalence:
, In:
?
Lecture Notes in Business Information Processing; Model-Driven Organizational and Business Agility ,
4
Comparing the Expressiveness of Imperative and Declarative ..:
, In:
?
Enterprise, Business-Process and Information Systems Modeling; Lecture Notes in Business Information Processing ,
5
Efficient Computation of Behavioral Changes in Declarative ..:
, In:
?
Lecture Notes in Business Information Processing; The Practice of Enterprise Modeling ,
7
Upper-Bounded Model Checking for Declarative Process Models:
, In:
?
Research Challenges in Information Science; Lecture Notes in Business Information Processing ,
8
Towards a Hybrid Process Modeling Language:
, In:
?
Enterprise, Business-Process and Information Systems Modeling; Lecture Notes in Business Information Processing ,
9
Logic Based Look-Ahead for the Execution of Multi-perspecti..:
, In:
?
Lecture Notes in Business Information Processing; Enterprise and Organizational Modeling and Simulation ,
10
Detection of Declarative Process Constraints in LTL Formula:
, In:
?
Lecture Notes in Computer Science; On the Move to Meaningful Internet Systems. OTM 2018 Conferences ,
11