- BMC Bioinformatics 11(1):567 (2010)
- Bioinformatics 27(8):1162-1163 (2011)
- HRI, page 159-160. ACM, (2011)
- HRI, page 237-238. ACM, (2011)
- HRI, page 123-124. ACM, (2010)
- BMC Bioinformatics (2010)
- BMC Bioinformatics (2009)
- HRI, page 183-184. ACM, (2010)
- IEEE Design & Test of Computers 26(5):83-91 (2009)
- HDI, volume 100 of LNI, page 145-148. GI, (2006)
- Operating Systems Review 21(1):39-48 (1987)
- SIGPLAN Notices 32(2):39-44 (1997)
- HRI, page 97-104. ACM, (2008)
- SIGCSE, page 435-439. ACM, (2007)
- SIGCSE, page 6-9. ACM, (1993)
- WIMPEL, page 220-236. Teubner, (1988)
- POPL, page 303-310. (1999)
- JOOP 9(4):74-78 (1996)


author