Search results for: Valerio Genovese
Lecture Notes in Computer Science > Data and Applications Security and Privacy XXV > Access Control II > 90-105
Lecture Notes in Computer Science > Programming Multi-Agent Systems > Organizations and Environments > 100-117
Lecture Notes in Computer Science > Data and Applications Security and Privacy XXIV > Query and Data Privacy > 17-32
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > 164-179
IEEE Transactions on Dependable and Secure Computing > 2012 > 9 > 5 > 670 - 683
Annals of Mathematics and Artificial Intelligence > 2012 > 66 > 1-4 > 257-271
Studia Logica > 1-42
Studia Logica > 1-41
Studia Logica > 2009 > 92 > 3 > 437-477
Studia Logica > 2009 > 92 > 3 > 395-436