Profil

GENOVESE Valerio

Main Referenced Co-authors
VAN DER TORRE, Leon  (11)
BOELLA, Guido  (7)
Barker, Steve (5)
GABBAY, Dov M.  (4)
BALDONI, Matteo  (2)
Main Referenced Keywords
Axiomatization (1); Computational architectures for learning (1); Consistency (1); Control Language-based Security (1); Dependence Networks (1);
Main Referenced Disciplines
Computer science (19)
Engineering, computing & technology: Multidisciplinary, general & others (2)

Publications (total 20)

The most downloaded
282 downloads
Barker, S., Guido, B., Gabbay, D. M., & Genovese, V. (2009). A meta-model of access control in a fibred security language. Studia Logica, 92 (3), 437-477. doi:10.1007/s11225-009-9203-4 https://hdl.handle.net/10993/15876

The most cited

19 citations (Scopus®)

Baldoni, M., Boella, G., Genovese, V., Grenna, R., & van der Torre, L. (2008). How to Program Organizations and Roles in the JADE Framework. In Multiagent System Technologies, 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings (pp. 25–36). Springer. doi:10.1007/978-3-540-87805-6_4 https://hdl.handle.net/10993/25055

Genovese, V. (2012). Modalities for Access Control: Logics, Proof-Theory and Applications [Doctoral thesis, Unilu - University of Luxembourg]. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/15428

Benzmuller, C., Gabbay, D. M., Genovese, V., & Rispoli, D. (2012). Embedding and automating conditional logics in classical higher-order logic. Annals of Mathematics & Artificial Intelligence, 66 (1-4), 257-271. doi:10.1007/s10472-012-9320-z
Peer reviewed

Perotti, A., Boella, G., Colombo Tosatto, S., d’Avila Garcez, A. S., Genovese, V., & van der Torre, L. (2012). Learning and Reasoning about Norms using Neural-Symbolic Systems. In International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (pp. 1023-1030).
Peer reviewed

Genovese, V., Giordano, L., Gliozzi, V., & Pozzato, G. L. (2011). A Conditional Constructive Logic for Access Control and Its Sequent Calculus. In Automated Reasoning with Analytic Tableaux and Related Methods (pp. 164–179). Springer. doi:10.1007/978-3-642-22119-4_14

Genovese, V., & Garg, D. (2011). New Modalities for Access Control Logics: Permission, Control and Ratification. In Security and Trust Management (pp. 56-71). Berlin, Germany: Springer. doi:10.1007/978-3-642-29963-6_6

Barker, S., & Genovese, V. (2011). Secommunity: A Framework for Distributed Access Control. In Logic Programming and Nonmonotonic Reasoning (pp. 297–303). Springer. doi:10.1007/978-3-642-20895-9_34

Barker, S., & Genovese, V. (2011). Socially Constructed Trust for Distributed Authorization. In Computer Security – ESORICS 2011 (pp. 262–277). Springer. doi:10.1007/978-3-642-23822-2_15

Aucher, G., Barker, S., Boella, G., Genovese, V., & van der Torre, L. (2011). Dynamics in Delegation and Revocation Schemes: A Logical Approach. In DBSec (pp. 90–105). Springer. doi:10.1007/978-3-642-22348-8\_9
Peer reviewed

Genovese, V., Giordano, L., Gliozzi, V., & Pozzato, G. L. (2010). A constructive conditional logic for access control: a preliminary report. In ECAI 2010 (978-1-60750-605-8, pp. 1073–1074). Amsterdam, Netherlands: IOS Press. doi:10.3233/978-1-60750-606-5-1073

Barker, S., & Genovese, V. (2010). A Logic of Privacy. In Data and Applications Security and Privacy XXIV (pp. 17–32). doi:10.1007/978-3-642-13739-6_2

Boella, G., Gabbay, D. M., Genovese, V., & van der Torre, L. (2010). Higher-Order Coalition Logic. Bibliothèque(s): Revue de l'Association des Bibliothécaires de France, 555–560. doi:10.3233/978-1-60750-606-5-555
Peer reviewed

Genovese, V., Rispoli, D., Gabbay, D. M., & van der Torre, L. (2010). Modal Access Control Logic - Axiomatization, Semantics and FOl Theorem Proving. STAIRS 2010, 114-126. doi:10.3233/978-1-60750-676-8-114
Peer reviewed

Barker, S., Guido, B., Gabbay, D. M., & Genovese, V. (2009). A meta-model of access control in a fibred security language. Studia Logica, 92 (3), 437-477. doi:10.1007/s11225-009-9203-4
Peer reviewed

Boella, G., Genovese, V., van der Torre, L., & Villata, S. (2009). Checking Consistency in role oriented Dependence Networks. BNAIC 2009: 21th Belgian - Netherlands Conference on Artificial Intelligence, 27 - 34.

Boella, G., Gabbay, D. M., Genovese, V., & van der Torre, L. (2009). Fibred security language. Studia Logica, 395-436. doi:10.1007/s11225-009-9201-6

Baldoni, M., Boella, G., Genovese, V., Grenna, R., Mugnaini, A., & van der Torre, L. (2009). A Middleware for modeling Organizations and Roles in Jade. Proceedings of PROMAS. doi:10.1007/978-3-642-14843-9_7
Peer reviewed

Baldoni, M., Boella, G., Genovese, V., Grenna, R., & van der Torre, L. (2008). How to Program Organizations and Roles in the JADE Framework. In Multiagent System Technologies, 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings (pp. 25–36). Springer. doi:10.1007/978-3-540-87805-6_4
Peer reviewed

Genovese, V., Grenna, R., van der Torre, L., & Baldoni, M. (2008). Adding Organizations and Roles as Primitives to JADE Framework. Proceedings of the 3rd International Workshop on Normative Multiagent Systems, NorMAS'08, 95–111.
Peer reviewed

Baldoni, M., Boella, G., Genovese, V., & van der Torre, L. (2007). Roles in Coordination and in Agent Deliberation: A Merger of Concepts. Proceedings of AWESOME07.
Peer reviewed

Boella, G., Genovese, V., Grenna, R., & van der Torre, L. (2007). Merging Roles in Coordination and in Agent Deliberation. In PRIMA. Springer. doi:10.1007/978-3-642-01639-4_6
Peer reviewed

Contact ORBilu