- Datalog, volume 6702 of Lecture Notes in Computer Science, page 21-36. Springer, (2010)
- NeuroImage 59(2):1752-1764 (2012)
- ACM Conference on Computer and Communications Security, page 164-173. ACM, (2000)
- ACM Conference on Computer and Communications Security, page 134-143. ACM, (2000)
- J. Artif. Intell. Res. JAIR (2011)
- CoRR (2009)
- CoRR (2002)
- CoRR (2008)
- CoRR (2010)
- J. Log. Program. 22(2):91-149 (1995)
- Encyclopedia of Cryptography and Security 2nd Ed., Springer, (2011)
- IEEE Journal on Selected Areas in Communications 10(9):1489-1502 (1992)
- IEEE Trans. Knowl. Data Eng. 22(11):1507-1520 (2010)
- IEEE Trans. Knowl. Data Eng. 7(3):406-422 (1995)
- Journal of Computer Security 10(3):241-272 (2002)
- Journal of Computer Security 8(4):309-353 (2000)
- ESORICS, volume 6879 of Lecture Notes in Computer Science, page 472-488. Springer, (2011)
- J. Web Sem. 9(2):165-201 (2011)
- AAAI, AAAI Press, (2011)
- IJCAI, page 762-767. IJCAI/AAAI, (2011)


author