Edit Profile Genovese, Valerio Compute Distance To: Compute Author ID: genovese.valerio Published as: Genovese, Valerio Documents Indexed: 9 Publications since 2009 all top 5 Co-Authors 0 single-authored 6 Gabbay, Dov M. 4 Boella, Guido 3 van der Torre, Leendert W. N. 2 Barker, Steve 2 Giordano, Laura 2 Gliozzi, Valentina 2 Pozzato, Gian Luca 2 Rispoli, Daniele 1 Benzmüller, Christoph Ewald 1 Garg, Deepak 1 Negri, Sara Serials 2 Studia Logica 2 Journal of Logic and Computation 1 Annals of Mathematics and Artificial Intelligence Fields 7 Mathematical logic and foundations (03-XX) 3 Computer science (68-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 9 Publications have been cited 24 times in 19 Documents Cited by ▼ Year ▼ Countermodels from sequent calculi in multi-modal logics. Zbl 1364.03030Garg, Deepak; Genovese, Valerio; Negri, Sara 5 2012 Fibred security language. Zbl 1181.03033Boella, Guido; Gabbay, Dov M.; Genovese, Valerio; van der Torre, Leendert 4 2009 Higher-order coalition logic. Zbl 1211.03034Boella, Guido; Gabbay, Dov M.; Genovese, Valerio; van der Torre, Leendert 3 2010 A meta-model of access control in a fibred security language. Zbl 1181.03031Barker, Steve; Boella, Guido; Gabbay, Dov M.; Genovese, Valerio 3 2009 Logics in access control: a conditional approach. Zbl 1350.03029Genovese, Valerio; Giordano, Laura; Gliozzi, Valentina; Pozzato, Gian Luca 2 2014 Reasoning about delegation and revocation schemes in answer set programming. Zbl 1361.68219Barker, Steve; Boella, Guido; Gabbay, Dov; Genovese, Valerio 2 2014 Embedding and automating conditional logics in classical higher-order logic. Zbl 1272.03064Benzmüller, Christoph; Gabbay, Dov; Genovese, Valerio; Rispoli, Daniele 2 2012 A conditional constructive logic for access control and its sequent calculus. Zbl 1333.03104Genovese, Valerio; Giordano, Laura; Gliozzi, Valentina; Pozzato, Gian Luca 2 2011 Modal access control logic. Axiomatization, semantics and FOL theorem proving. Zbl 1215.68220Genovese, Valerio; Rispoli, Daniele; Gabbay, Dov M.; van der Torre, Leendert 1 2011 Logics in access control: a conditional approach. Zbl 1350.03029Genovese, Valerio; Giordano, Laura; Gliozzi, Valentina; Pozzato, Gian Luca 2 2014 Reasoning about delegation and revocation schemes in answer set programming. Zbl 1361.68219Barker, Steve; Boella, Guido; Gabbay, Dov; Genovese, Valerio 2 2014 Countermodels from sequent calculi in multi-modal logics. Zbl 1364.03030Garg, Deepak; Genovese, Valerio; Negri, Sara 5 2012 Embedding and automating conditional logics in classical higher-order logic. Zbl 1272.03064Benzmüller, Christoph; Gabbay, Dov; Genovese, Valerio; Rispoli, Daniele 2 2012 A conditional constructive logic for access control and its sequent calculus. Zbl 1333.03104Genovese, Valerio; Giordano, Laura; Gliozzi, Valentina; Pozzato, Gian Luca 2 2011 Modal access control logic. Axiomatization, semantics and FOL theorem proving. Zbl 1215.68220Genovese, Valerio; Rispoli, Daniele; Gabbay, Dov M.; van der Torre, Leendert 1 2011 Higher-order coalition logic. Zbl 1211.03034Boella, Guido; Gabbay, Dov M.; Genovese, Valerio; van der Torre, Leendert 3 2010 Fibred security language. Zbl 1181.03033Boella, Guido; Gabbay, Dov M.; Genovese, Valerio; van der Torre, Leendert 4 2009 A meta-model of access control in a fibred security language. Zbl 1181.03031Barker, Steve; Boella, Guido; Gabbay, Dov M.; Genovese, Valerio 3 2009 all cited Publications top 5 cited Publications all top 5 Cited by 34 Authors 4 Gabbay, Dov M. 3 Negri, Sara 2 Abraham, Michael 2 Benzmüller, Christoph Ewald 2 Boella, Guido 2 Chen, Qingliang 2 Genovese, Valerio 2 Schild, Uri 2 Su, Kaile 1 Barker, Steve 1 Bertolissi, Clara 1 Casini, Giovanni 1 Chen, Aixiang 1 Ciardelli, Ivano A. 1 Cramer, Marcos 1 Dyckhoff, Roy 1 Fernández, Maribel 1 Giordano, Laura 1 Gliozzi, Valentina 1 Hu, Guiwu 1 Hu, Yong 1 Hulstijn, Joris 1 Liu, Xinghan 1 Luo, Xiangyu 1 Olivetti, Nicola 1 Pozzato, Gian Luca 1 Sattar, Abdul 1 Strasser, Christian 1 van der Torre, Leendert W. N. 1 Veloso, Paulo Augusto S. 1 Veloso, Sheila R. M. 1 Villata, Serena 1 von Plato, Jan 1 Weiss, Yale all top 5 Cited in 7 Serials 3 Journal of Philosophical Logic 2 Studia Logica 2 Frontiers of Computer Science 1 Information and Computation 1 Journal of Applied Non-Classical Logics 1 Annals of Mathematics and Artificial Intelligence 1 Logica Universalis Cited in 2 Fields 13 Mathematical logic and foundations (03-XX) 8 Computer science (68-XX) Citations by Year