Back
  1. Home
  2. Profile of Valerio GENOVESE (Unilu)
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

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

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

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., 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

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

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

Contact ORBilu