A Formal Description of the ITIL Change Management Process Using Abstract State Machines. - Jan Kubovy; Verena Geist; Felix Kossak (DEXA Workshops, 2012)

Transition between Different Abstraction Levels in an Abstract State Machine (ASM) Ground Model. - Jan Kubovy; Dagmar Auer; Josef Küng; Mariam Rady (DEXA Workshops, 2013)

Business Process Management for Knowledge Work: Considerations on Current Needs, Basic Concepts and Models. - Dagmar Auer; Stefan Hinterholzer; Jan Kubovy; Josef Küng (ERP Future, 2013)

Refinement of BPMN 2.0 Inclusive and Complex Gateway Activation Concept Towards Process Engine. - Jan Kubovy; Josef Küng (ERP Future, 2013)

Notification Concept for BPMN Workflow Interpreter Using the ASM Method. - Jan Kubovy; Josef Küng (EUROCAST (1), 2013)

A Rigorous Semantics for BPMN 2.0 Process Diagrams - Felix Kossak; Christa Illibauer; Verena Geist; Jan Kubovy; Christine Natschläger; Thomas Ziebermayr; Theodorich Kopetzky; Bernhard Freudenthaler; Klaus-Dieter Schewe (Springer, 2014)

Behavior-based Decomposition of BPMN 2.0 Control Flow. - Jan Kubovy; Dagmar Auer; Josef Küng (ICEIS (3), 2014)

Horizontal Business Process Model Integration. - Klaus-Dieter Schewe; Verena Geist; Christa Illibauer; Felix Kossak; Christine Natschläger-Carpella; Theodorich Kopetzky; Jan Kubovy; Bernhard Freudenthaler; Thomas Ziebermayr (Trans. Large Scale Data Knowl. Centered Syst., 2015)

A Secure Token-Based Communication for Authentication and Authorization Servers. - Jan Kubovy; Christian Huber; Markus Jäger 003; Josef Küng (FDSE, 2016)