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

• 2014

  Polynomial Kernels and User Reductions for the Workflow Satisfiability Problem

  Gutin, G., Kratsch, S. & Wahlström, M., 2014, Proceedings of IPEC 2014.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2013

  Constraint Expressions and Workflow Satisability

  Crampton, J. & Gutin, G., 2013, 18th ACM SACMAT. p. 73-84

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Fixed-Parameter Tractability of Workflow Satisability in the Presence of Seniority Constraints

  Crampton, J., Crowston, R., Gutin, G., Jones, M. & Ramanujan, M. S., 2013, FAW-AAIM 2013: Lecture Notes in Computer Science. Vol. 7924. p. 198-209

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution