Valerio Genovese

	2012
20		Christoph Benzmueller, Valerio Genovese: Quantified Conditional Logics are Fragments of HOL CoRR abs/1204.5920: (2012)
	2011
19		Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Dino Ienco, Leendert van der Torre: Neural symbolic architecture for normative agents. AAMAS 2011: 1203-1204
18		Guillaume Aucher, Steve Barker, Guido Boella, Valerio Genovese, Leendert van der Torre: Dynamics in Delegation and Revocation Schemes: A Logical Approach. DBSec 2011: 90-105
17		Steve Barker, Valerio Genovese: Socially Constructed Trust for Distributed Authorization. ESORICS 2011: 262-277
16		Steve Barker, Valerio Genovese: Secommunity: A Framework for Distributed Access Control. LPNMR 2011: 297-303
15		Valerio Genovese, Deepak Garg: New Modalities for Access Control Logics: Permission, Control and Ratification. STM 2011: 56-71
14		Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato: A Conditional Constructive Logic for Access Control and Its Sequent Calculus. TABLEAUX 2011: 164-179
13		Christoph Benzmueller, Dov M. Gabbay, Valerio Genovese, Daniele Rispoli: Embedding and Automating Conditional Logics in Classical Higher-Order Logic CoRR abs/1106.3685: (2011)
	2010
12		Steve Barker, Valerio Genovese: A Logic of Privacy. DBSec 2010: 17-32
11		Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato: A constructive conditional logic for access control: a preliminary report. ECAI 2010: 1073-1074
10		Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert van der Torre: Higher-Order Coalition Logic. ECAI 2010: 555-560
9		Valerio Genovese, Daniele Rispoli, Dov M. Gabbay, Leendert W. N. van der Torre: Modal Access Control Logic - Axiomatization, Semantics and FOL Theorem Proving. STAIRS 2010: 114-126
	2009
8		Matteo Baldoni, Guido Boella, Valerio Genovese, Andrea Mugnaini, Roberto Grenna, Leendert van der Torre: A Middleware for Modeling Organizations and Roles in Jade. PROMAS 2009: 100-117
7		Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert van der Torre: Fibred Security Language. Studia Logica 92(3): 395-436 (2009)
6		Steve Barker, Guido Boella, Dov M. Gabbay, Valerio Genovese: A Meta-model of Access Control in a Fibred Security Language. Studia Logica 92(3): 437-477 (2009)
	2008
5		Matteo Baldoni, Guido Boella, Valerio Genovese, Roberto Grenna, Leendert van der Torre: How to Program Organizations and Roles in the JADE Framework. MATES 2008: 25-36
4		Matteo Baldoni, Valerio Genovese, Roberto Grenna, Leendert van der Torre: Adding Organizations and Roles as Primitives to JADE Framework. NORMAS 2008: 95-111
	2007
3		Valerio Genovese: Towards a General Framework for Modelling Roles. Normative Multi-agent Systems 2007
2		Guido Boella, Valerio Genovese, Roberto Grenna, Leendert van der Torre: Merging Roles in Coordination and in Agent Deliberation. PRIMA 2007: 62-73
1		Erik Arnaudo, Matteo Baldoni, Guido Boella, Valerio Genovese, Roberto Grenna: An implementation of roles as affordances: powerJava. WOA 2007: 8-13

Coauthor Index

1	Erik Arnaudo	[1]
2	Guillaume Aucher	[18]
3	Matteo Baldoni	[1] [4] [5] [8]
4	Steve Barker	[6] [12] [16] [17] [18]
5	Christoph Benzmüller (Christoph Benzmueller)	[13] [20]
6	Guido Boella	[1] [2] [5] [6] [7] [8] [10] [18] [19]
7	Dov M. Gabbay	[6] [7] [9] [10] [13]
8	Artur S. d'Avila Garcez	[19]
9	Deepak Garg	[15]
10	Laura Giordano	[11] [14]
11	Valentina Gliozzi	[11] [14]
12	Roberto Grenna	[1] [2] [4] [5] [8]
13	Dino Ienco	[19]
14	Andrea Mugnaini	[8]
15	Gian Luca Pozzato	[11] [14]
16	Daniele Rispoli	[9] [13]
17	Leendert W. N. van der Torre (Leendert van der Torre, Leon van der Torre)	[2] [4] [5] [7] [8] [9] [10] [18] [19]
18	Silvano Colombo Tosatto	[19]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page