×

zbMATH — the first resource for mathematics

Barker, Steve

Compute Distance To:
Author ID: barker.steve Recent zbMATH articles by "Barker, Steve"
Published as: Barker, S.; Barker, Steve
Documents Indexed: 17 Publications since 2000, including 1 Book

Publications by Year

Citations contained in zbMATH

5 Publications have been cited 16 times in 15 Documents Cited by Year
A two-stage stochastic programming with recourse model for determining robust planting plans in horticulture. Zbl 1107.90423
Darby-Dowman, K.; Barker, S.; Audsley, E.; Parsons, D.
7
2000
A meta-model of access control in a fibred security language. Zbl 1181.03031
Barker, Steve; Boella, Guido; Gabbay, Dov M.; Genovese, Valerio
3
2009
Efficient and flexible access control via Jones-optimal logic program specialisation. Zbl 1189.68043
Barker, Steve; Leuschel, Michael; Varea, Mauricio
3
2008
Reasoning about delegation and revocation schemes in answer set programming. Zbl 1361.68219
Barker, Steve; Boella, Guido; Gabbay, Dov; Genovese, Valerio
2
2014
Decuctive database security. Zbl 1088.68559
Barker, Steve
1
2003
Reasoning about delegation and revocation schemes in answer set programming. Zbl 1361.68219
Barker, Steve; Boella, Guido; Gabbay, Dov; Genovese, Valerio
2
2014
A meta-model of access control in a fibred security language. Zbl 1181.03031
Barker, Steve; Boella, Guido; Gabbay, Dov M.; Genovese, Valerio
3
2009
Efficient and flexible access control via Jones-optimal logic program specialisation. Zbl 1189.68043
Barker, Steve; Leuschel, Michael; Varea, Mauricio
3
2008
Decuctive database security. Zbl 1088.68559
Barker, Steve
1
2003
A two-stage stochastic programming with recourse model for determining robust planting plans in horticulture. Zbl 1107.90423
Darby-Dowman, K.; Barker, S.; Audsley, E.; Parsons, D.
7
2000

Citations by Year