×

zbMATH — the first resource for mathematics

Genovese, Valerio

Compute Distance To:
Author ID: genovese.valerio Recent zbMATH articles by "Genovese, Valerio"
Published as: Genovese, Valerio
Documents Indexed: 9 Publications since 2009

Publications by Year

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.03030
Garg, Deepak; Genovese, Valerio; Negri, Sara
5
2012
Fibred security language. Zbl 1181.03033
Boella, Guido; Gabbay, Dov M.; Genovese, Valerio; van der Torre, Leendert
4
2009
Higher-order coalition logic. Zbl 1211.03034
Boella, 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.03031
Barker, Steve; Boella, Guido; Gabbay, Dov M.; Genovese, Valerio
3
2009
Logics in access control: a conditional approach. Zbl 1350.03029
Genovese, Valerio; Giordano, Laura; Gliozzi, Valentina; Pozzato, Gian Luca
2
2014
Reasoning about delegation and revocation schemes in answer set programming. Zbl 1361.68219
Barker, Steve; Boella, Guido; Gabbay, Dov; Genovese, Valerio
2
2014
Embedding and automating conditional logics in classical higher-order logic. Zbl 1272.03064
Benzmüller, Christoph; Gabbay, Dov; Genovese, Valerio; Rispoli, Daniele
2
2012
A conditional constructive logic for access control and its sequent calculus. Zbl 1333.03104
Genovese, Valerio; Giordano, Laura; Gliozzi, Valentina; Pozzato, Gian Luca
2
2011
Modal access control logic. Axiomatization, semantics and FOL theorem proving. Zbl 1215.68220
Genovese, Valerio; Rispoli, Daniele; Gabbay, Dov M.; van der Torre, Leendert
1
2011
Logics in access control: a conditional approach. Zbl 1350.03029
Genovese, Valerio; Giordano, Laura; Gliozzi, Valentina; Pozzato, Gian Luca
2
2014
Reasoning about delegation and revocation schemes in answer set programming. Zbl 1361.68219
Barker, Steve; Boella, Guido; Gabbay, Dov; Genovese, Valerio
2
2014
Countermodels from sequent calculi in multi-modal logics. Zbl 1364.03030
Garg, Deepak; Genovese, Valerio; Negri, Sara
5
2012
Embedding and automating conditional logics in classical higher-order logic. Zbl 1272.03064
Benzmüller, Christoph; Gabbay, Dov; Genovese, Valerio; Rispoli, Daniele
2
2012
A conditional constructive logic for access control and its sequent calculus. Zbl 1333.03104
Genovese, Valerio; Giordano, Laura; Gliozzi, Valentina; Pozzato, Gian Luca
2
2011
Modal access control logic. Axiomatization, semantics and FOL theorem proving. Zbl 1215.68220
Genovese, Valerio; Rispoli, Daniele; Gabbay, Dov M.; van der Torre, Leendert
1
2011
Higher-order coalition logic. Zbl 1211.03034
Boella, Guido; Gabbay, Dov M.; Genovese, Valerio; van der Torre, Leendert
3
2010
Fibred security language. Zbl 1181.03033
Boella, 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.03031
Barker, Steve; Boella, Guido; Gabbay, Dov M.; Genovese, Valerio
3
2009

Citations by Year