Search for persons
X
?
Proceedings of the 29th ACM Symposium on Access Control Models and Technologies ,
1
Converting Rule-Based Access Control Policies: From Complem..:
, In:
?
Proceedings of the 26th ACM Symposium on Access Control Models and Technologies ,
3
Towards a Theory for Semantics and Expressiveness Analysis ..:
, In:
?
Frontiers of Combining Systems; Lecture Notes in Computer Science ,
4
Algorithmic Problems in the Symbolic Approach to the Verifi..:
, In:
?
Frontiers of Combining Systems; Lecture Notes in Computer Science ,
6
On Asymmetric Unification for the Theory of XOR with a Homo..:
, In:
?
Lecture Notes in Computer Science; Description Logic, Theory Combination, and All That ,
7
Asymmetric Unification and Disunification:
, In:
?
Frontiers of Combining Systems; Lecture Notes in Computer Science ,
8
Reviving Basic Narrowing Modulo:
, In:
?
Lecture Notes in Computer Science; Automated Deduction – CADE 27 ,
9
Unification Modulo Lists with Reverse Relation with Certain..:
, In:
?
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming ,
10
Theories of Homomorphic Encryption, Unification, and the Fi..:
, In:
?
Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming ,
12
Protocol analysis in Maude-NPA using unification modulo hom..:
, In:
?
Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security ,
13