- Rainbow of Computer Science, volume 6570 of Lecture Notes in Computer Science, page 90-101. Springer, (2011)
- Where Mathematics, Computer Science, Linguistics and Biology Meet, page 227-235. Kluwer Academic Publishers, (2001)
- Electronic Colloquium on Computational Complexity ECCC (2000)
- CoRR (2003)
- Fundam. Inform. (2011)
- Fundam. Inform. 110(1-4):197-200 (2011)
- STOC, page 477-481. ACM, (1990)
- RAIRO - Theor. Inf. and Applic. 45(3):311-330 (2011)
- Fundam. Inform. 25(3):285-293 (1996)
- Fundam. Inform. 38(1-2):119-133 (1999)
- Fundam. Inform. 73(1-2):119-125 (2006)
- SIAM J. Comput. 23(4):789-814 (1994)
- SIAM J. Comput. 16(2):221-230 (1987)
- Theor. Comput. Sci. 108(1):103-118 (1993)
- Theor. Comput. Sci. (1985)
- Theor. Comput. Sci. (1982)
- Theor. Comput. Sci. 292(1):237-243 (2003)
- Theor. Comput. Sci. (1979)
- Theor. Comput. Sci. (1985)
- Theor. Comput. Sci. 289(1):705-725 (2002)


author