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

  Pattern Backtracking Algorithm for the Workflow Satisfiability Problem with User-Independent Constraints

  Karapetyan, D., Gagarin, A. & Gutin, G., 2015, (Accepted/In press) FAW 2015, Lecture Notes in Computer Science.

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

  File
  162 Downloads (Pure)