- ACM Trans. Database Syst. 36(4):23 (2011)
- SIGMOD Conference, page 133-144. ACM, (2011)
- ASPLOS, page 200-211. ACM Press, (1991)
- CoRR (2002)
- CoRR (2009)
- CoRR (2002)
- ECIS, page 894-904. (2002)
- PVLDB 4(12):1414-1417 (2011)
- IEEE Security & Privacy 8(6):68-71 (2010)
- IEEE Security & Privacy 9(1):76-79 (2011)
- SocInfo, volume 6984 of Lecture Notes in Computer Science, page 320-323. Springer, (2011)
- Parallel Computing 22(8):1149-1163 (1996)
- MCETECH, volume 78 of Lecture Notes in Business Information Processing, page 199-210. Springer, (2011)
- MFCS, volume 6907 of Lecture Notes in Computer Science, page 290-302. Springer, (2011)
- ITS, page 133-140. ACM, (2009)
- Journal of Applied Non-Classical Logics 20(3):139-171 (2010)
- IJCAI, page 1099-1106. IJCAI/AAAI, (2011)
- Theory Comput. Syst. 49(2):365-366 (2011)
- TABLEAUX, volume 2381 of Lecture Notes in Computer Science, page 251-265. Springer, (2002)
- ICALP 2, volume 6756 of Lecture Notes in Computer Science, page 356-367. Springer, (2011)


author