- Auton. Robots 12(1):25-38 (2002)
- ASPLOS, page 195-204. ACM Press, (1982)
- ICCE, page 456-457. (2002)
- DSD, page 701-707. IEEE, (2011)
- FPL, page 157-161. IEEE, (2011)
- IIH-MSP, page 736-741. IEEE Computer Society, (2009)
- Theor. Comput. Sci. 294(3):551-573 (2003)
- IEEE T. Geoscience and Remote Sensing 48(8):3225-3235 (2010)
- FPT, page 184-191. IEEE, (2010)
- Electr. Notes Theor. Comput. Sci. (1996)
- Studia Logica 53(2):227-234 (1994)
- ICSLP, ISCA, (1994)
- ICSLP, ISCA, (1998)
- IEICE Transactions 93-D(8):2059-2067 (2010)
- Methods Enzymol (2010)
- Philosophical transactions - Royal Society. Biological sciences 363(1500):2153-2162 (2008)
- Langmuir (1992)
- ISMVL, page 223-228. IEEE Computer Society, (2010)
- Presence 18(5):321-339 (2009)
- J. Symb. Log. 57(4):1305-1318 (1992)


author