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