- Journal of Computational Chemistry 33(4):442-452 (2012)
- Web Intelligence, page 284-287. IEEE Computer Society, (2011)
- CASoN, page 175-180. IEEE, (2011)
- CoRR (2011)
- ICISS, volume 7093 of Lecture Notes in Computer Science, page 383-386. Springer, (2011)
- InfoSecHiComNet, volume 7011 of Lecture Notes in Computer Science, page 3-15. Springer, (2011)
- J. Symb. Comput. 11(1/2):3-19 (1991)
- ACC 3, volume 192 of Communications in Computer and Information Science, page 10-19. Springer, (2011)
- ACC 4, volume 193 of Communications in Computer and Information Science, page 386-395. Springer, (2011)
- A Novel Technique for Defeating Virtual Keyboards - Exploiting Insecure Features of Modern Browsers.ACC 2, volume 191 of Communications in Computer and Information Science, page 685-692. Springer, (2011)
- OOIS, volume 2425 of Lecture Notes in Computer Science, page 470-481. Springer, (2002)
- Presence 20(2):143-161 (2011)
- Journal of Computational Chemistry 32(12):2697-2707 (2011)
- J. Log. Comput. 5(3):347-366 (1995)
- Studia Logica 51(2):279-316 (1992)
- Studia Logica 51(1):21-47 (1992)
- IWINAC 2, volume 6687 of Lecture Notes in Computer Science, page 112-119. Springer, (2011)
- Comp. Med. Imag. and Graph. 31(4-5):332-337 (2007)
- INTERSPEECH, page 1073-1076. ISCA, (2005)
- Presence 18(3):200-221 (2009)


author