- PLPV, page 1-2. ACM, (2012)
- POPL, page 495-508. ACM, (2012)
- LICS, page 216-225. IEEE Computer Society, (1989)
- LICS, page 376-385. IEEE Computer Society, (1993)
- eScience, page 31-38. IEEE Computer Society, (2011)
- GIS, page 533-536. ACM, (2011)
- ARIST 36(1):467-500 (2002)
- Humanoids, page 99-104. IEEE, (2011)
- SI3D, page 189-192. ACM, (2003)
- SI3D, page 163-168. ACM, (1999)
- SI3D, page 141-145. ACM, (1999)
- SI3D, page 39-44, 183. ACM, (1997)
- AMCIS, page 549. Association for Information Systems, (2010)
- ITNG, page 447-452. IEEE Computer Society, (2008)
- ICIS, page 43. Association for Information Systems, (2008)
- AAAI/IAAI, page 423-430. AAAI Press / The MIT Press, (1999)
- AAAI, page 1264-1271. AAAI Press / The MIT Press, (1994)
- ML, page 338-342. Morgan Kaufmann, (1991)
- Journal of Chemical Information and Modeling 47(4):1303-1307 (2007)
- CHI, page 105-112. ACM, (2002)


author