- International Journal of Parallel Programming 40(1):1-3 (2012)
- IEEE PACT, page 26-. IEEE Computer Society, (1997)
- Robotics: Science and Systems, The MIT Press, (2008)
- CoRR (2009)
- IBM Journal of Research and Development 55(5):6 (2011)
- PVLDB 4(12):1260-1271 (2011)
- IEEE Trans. Parallel Distrib. Syst. 13(6):628-647 (2002)
- IEEE Internet Computing 3(2):46-54 (1999)
- SAFECOMP, volume 6894 of Lecture Notes in Computer Science, page 29-42. Springer, (2011)
- Theor. Comput. Sci. 80(2):303-318 (1991)
- Phys. Rev. Lett. 100(8):083002-+ (February 2008)
- Phys. Rev. Lett. 102(14):140401 (April 2009)
- Software and System Modeling 10(3):411-437 (2011)
- Nucleic Acids Research 27(1):128-133 (1999)
- Nucleic Acids Research 28(1):148-152 (2000)
- Euro-Par, volume 2150 of Lecture Notes in Computer Science, page 204-206. Springer, (2001)
- Lecture Notes in Computer Science Springer, (1998)
- Electr. Notes Theor. Comput. Sci. 82(2):343-344 (2003)
- Electr. Notes Theor. Comput. Sci. 65(2):115-116 (2002)
- Correct System Design, volume 1710 of Lecture Notes in Computer Science, page 288-315. Springer, (1999)


author