Projects per year
Projects
- 6 Finished
Search results
-
Analyzing Security-aware Workflows (funded by Leverhulme Trust)
Gutin, G., Crampton, J. & Cohen, D.
1/01/19 → 31/12/21
Project: Research
-
Constraint Network Tractability: Beyond Structure and Language
Eng & Phys Sci Res Council EPSRC
31/05/14 → 30/05/17
Project: Research
-
Parameterized Algorithmics for the Analysis and Verification of Constrained Workflow Systems
Gutin, G., Cohen, D. & Crampton, J.
Eng & Phys Sci Res Council EPSRC
1/02/13 → 1/05/16
Project: Research
-
The complexity of valued constraints
Eng & Phys Sci Res Council EPSRC
1/10/07 → 1/10/10
Project: Research
-
Groebner Basis Techniques for Constraint Satisfaction Problems
Cohen, D. & Jeavons, P.
30/03/06 → 30/03/09
Project: Research
-
Tractability of Constraint Problems: Unification, Extension and Applicability
Eng & Phys Sci Res Council EPSRC
1/10/05 → 30/09/08
Project: Research