Author of the publication

Exploring the Alloy operational semantics for case management process modeling.

. RCIS, page 1-12. IEEE, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Exploring the Alloy operational semantics for case management process modeling.. RCIS, page 1-12. IEEE, (2013)ACM 2013 PC Co-Chairs Message., , and . OTM Workshops, volume 8186 of Lecture Notes in Computer Science, page 101. Springer, (2013)High-level design and analysis of business processes the advantages of declarative specifications., , and . RCIS, page 99-110. IEEE, (2008)Addressing Trust Issues in Supply-Chain Management Systems Through Blockchain Software Patterns., , , and . RCIS, volume 476 of Lecture Notes in Business Information Processing, page 275-290. Springer, (2023)Implications of trust in digital business ecosystem design: A systematic analysis of roles., , and . PoEM Companion, volume 3645 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Towards the Definition, Implementation and Communication of an IT Strategy: The Case of IT Strategy at EPFL., , , and . CAiSE Workshops, volume 148 of Lecture Notes in Business Information Processing, page 99-110. Springer, (2013)Systems-Thinking Heuristics for the Reconciliation of Methodologies for Design and Analysis for Information Systems Engineering., , , , and . RCIS, volume 385 of Lecture Notes in Business Information Processing, page 112-128. Springer, (2020)The Role of Invariants in the Co-evolution of Business and Technical Service Specification of an Enterprise., , and . PoEM (Short Papers), volume 1023 of CEUR Workshop Proceedings, page 183-192. CEUR-WS.org, (2013)Modeling business processes for automated crisis management support: Lessons learned., , and . RCIS, page 388-399. IEEE, (2015)Towards Automated Support for Case Management Processes with Declarative Configurable Specifications.. Business Process Management Workshops, volume 132 of Lecture Notes in Business Information Processing, page 65-76. Springer, (2012)