Edit Profile Barker, Steve Compute Distance To: Compute Author ID: barker.steve Published as: Barker, S.; Barker, Steve Documents Indexed: 17 Publications since 2000, including 1 Book all top 5 Co-Authors 8 single-authored 2 Boella, Guido 2 Gabbay, Dov M. 2 Genovese, Valerio 1 Ahn, Gail-Joon 1 Douglas, Paul 1 Fanning, Terry 1 Jones, Andrew J. I. 1 Kakas, Antonis C. 1 Kowalski, Robert A. 1 Leuschel, Michael 1 Lomuscio, Alessio 1 Miller, Rob 1 Muggleton, Stephen H. 1 Rosenthal, Arnon S. 1 Sartor, Giovanni 1 Varea, Mauricio Serials 1 Studia Logica 1 Data & Knowledge Engineering 1 Journal of Logic and Computation 1 Higher-Order and Symbolic Computation 1 Lecture Notes in Computer Science Fields 14 Computer science (68-XX) 3 Information and communication theory, circuits (94-XX) 2 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 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.90423Darby-Dowman, K.; Barker, S.; Audsley, E.; Parsons, D. 7 2000 A meta-model of access control in a fibred security language. Zbl 1181.03031Barker, Steve; Boella, Guido; Gabbay, Dov M.; Genovese, Valerio 3 2009 Efficient and flexible access control via Jones-optimal logic program specialisation. Zbl 1189.68043Barker, Steve; Leuschel, Michael; Varea, Mauricio 3 2008 Reasoning about delegation and revocation schemes in answer set programming. Zbl 1361.68219Barker, Steve; Boella, Guido; Gabbay, Dov; Genovese, Valerio 2 2014 Decuctive database security. Zbl 1088.68559Barker, Steve 1 2003 Reasoning about delegation and revocation schemes in answer set programming. Zbl 1361.68219Barker, Steve; Boella, Guido; Gabbay, Dov; Genovese, Valerio 2 2014 A meta-model of access control in a fibred security language. Zbl 1181.03031Barker, Steve; Boella, Guido; Gabbay, Dov M.; Genovese, Valerio 3 2009 Efficient and flexible access control via Jones-optimal logic program specialisation. Zbl 1189.68043Barker, Steve; Leuschel, Michael; Varea, Mauricio 3 2008 Decuctive database security. Zbl 1088.68559Barker, Steve 1 2003 A two-stage stochastic programming with recourse model for determining robust planting plans in horticulture. Zbl 1107.90423Darby-Dowman, K.; Barker, S.; Audsley, E.; Parsons, D. 7 2000 all top 5 Cited by 31 Authors 2 Abraham, Michael 2 Azaiez, Mohamed Naceur 2 Gabbay, Dov M. 2 Leuschel, Michael 2 Ortuño, M. Teresa 2 Schild, Uri 2 Vitoriano, Begoña 1 Ahumada, Omar 1 Al-Harkan, Ibrahim M. 1 Alonso-Ayuso, Antonio 1 Barker, Steve 1 Bertolissi, Clara 1 Casini, Giovanni 1 Cramer, Marcos 1 Fernández, Maribel 1 Filippi, Carlo 1 Glück, Robert 1 Hariga, Moncer A. 1 Huang, Guo He 1 Mansini, Renata 1 Maqsood, Imran 1 Recio, B. 1 Rubio, Fernando 1 Shokurov, A. V. 1 Stevanato, Elisa 1 Varea, Mauricio 1 Varnovsky, Nikolay P. 1 Vidal, Germán 1 Villalobos, J. Rene 1 Yeomans, Julian Scott 1 Zakharov, Vladimir A. all top 5 Cited in 7 Serials 4 European Journal of Operational Research 2 Information and Computation 2 Computers & Operations Research 2 Higher-Order and Symbolic Computation 1 Studia Logica 1 Moscow University Computational Mathematics and Cybernetics 1 Annals of Operations Research Cited in 5 Fields 7 Computer science (68-XX) 7 Operations research, mathematical programming (90-XX) 3 Mathematical logic and foundations (03-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year