- Theor. Comput. Sci. (2012)
- Int. J. Found. Comput. Sci. 22(7):1499-1517 (2011)
- volume 4860 of Lecture Notes in Computer Science, chapter Towards a Complete Covering of SBML Functionalities, page 353-366. Springer Berlin / Heidelberg, (2007)
- Where Mathematics, Computer Science, Linguistics and Biology Meet, page 329-342. Kluwer Academic Publishers, (2001)
- Computation, Cooperation, and Life, volume 6610 of Lecture Notes in Computer Science, page 191-202. Springer, (2011)
- Electronic Colloquium on Computational Complexity ECCC (2008)
- CoRR (2011)
- CoRR (2006)
- CoRR (2007)
- IEEE/ACM Trans. Comput. Biology Bioinform. 8(6):1692-1699 (2011)
- Theor. Comput. Sci. 412(51):7067 (2011)
- NSS, page 105-112. IEEE, (2011)
- Theor. Comput. Sci. 412(43):5975 (2011)
- STOC, page 137-144. ACM, (1975)
- FOCS, page 123-126. IEEE Computer Society, (1978)
- Fundam. Inform. (2011)
- STOC, page 214-221. ACM, (1972)
- STOC, page 66-74. ACM, (1978)
- STOC, page 117-120. ACM, (1975)
- ITA 34(1):77-86 (2000)


author