• Submitted

  Specication, Verication and Optimisation of Business Processes : A Comprehensive Framework

  Publication: Research › Ph.d. thesis – Annual report year: 2013

• Published

  Precise Quantitative Analysis of Probabilistic Business Process Model and Notation Workflows

  Publication: Research - peer-review › Journal article – Annual report year: 2013

• Published

  Quantitative analysis of probabilistic BPMN workflows

  Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

View all »

• Journal of Computing and Information Science in Engineering

  ISSNs: 1530-9827

  A S M E International, United States

  FI (2012): 1, ISI indexed (2012): yes

  Central database

  Journal

• Specifying and verifying medical robotics software to ensure harmless operation

  Project: PhD

• IEEE, 0-7803

  Central database

  Publisher

• Technical University of Denmark

  Local database

  Publisher

• DTU Compute

  Local database

  Publisher

View all »