- ITC, page 156-165. IEEE Computer Society, (2003)
- J. Log. Comput. 22(1):55-78 (2012)
- IEEE Trans. Software Eng. 38(1):5-18 (2012)
- CoRR (2012)
- CoRR (2012)
- ESANN, (2010)
- MICCAI, volume 1496 of Lecture Notes in Computer Science, page 63-73. Springer, (1998)
- MICCAI, volume 1496 of Lecture Notes in Computer Science, page 74-83. Springer, (1998)
- ICSE, page 1222-1223. ACM, (2011)
- POPL, page 1-2. ACM, (2012)
- ICME, page 1-6. IEEE, (2011)
- AICCSA, page 682-689. IEEE, (2009)
- ICDE, page 321-329. IEEE Computer Society, (1989)
- IACR Cryptology ePrint Archive (2002)
- IACR Cryptology ePrint Archive (2001)
- IACR Cryptology ePrint Archive (2003)
- IACR Cryptology ePrint Archive (2001)
- IACR Cryptology ePrint Archive (2001)
- IACR Cryptology ePrint Archive (2002)
- ICCV, page 33-37. IEEE, (1990)


author