Parameterized Algorithmics for the Analysis and Verification of Constrained Workflow Systems

Research output

Research output per year 2013 2013 2014 2015 2015

• 3 Conference contribution
• 3 Article
• 1 Chapter

Research output per year

Research output per year

Search results

• 2015

  Polynomial Kernels and User Reductions for the Workflow Satisfiability Problem

  Gutin, G., Kratsch, S. & Wahlström, M., 2015, In: Algorithmica. p. 1-20 20 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  112 Downloads (Pure)

• 2014

  Iterative Plan Construction for the Workflow Satisfiability Problem

  Cohen, D., Crampton, J., Gagarin, A., Gutin, G. & Jones, M., 21 Nov 2014, In: Journal of Artificial Intelligence Research. 51, p. 555-577 23 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  279 Downloads (Pure)

• 2013

  On the Parameterized Complexity and Kernelization of the Workflow Satisfiability Problem

  Crampton, J., Gutin, G. & Yeo, A., Jun 2013, In: ACM Transactions on Information and System Security. 16, 1, 4.

  Research output: Contribution to journal › Article › peer-review