- ISAIM, (2008)
- AI Commun. 24(4):311-334 (2011)
- Electronic Colloquium on Computational Complexity ECCC (1997)
- CoRR (2001)
- CoRR (2004)
- CoRR (2001)
- CoRR (2001)
- CoRR (2001)
- CoRR (2001)
- ACM Trans. Comput. Logic (January 2011)
- IEEE Trans. Parallel Distrib. Syst. 11(10):1090-1102 (2000)
- IEEE/ACM Trans. Netw. 4(2):272-280 (1996)
- AI Commun. 14(4):197-214 (2001)
- AI Commun. 19(3):193-206 (2006)
- Theor. Comput. Sci. 287(2):429-448 (2002)
- JELIA, volume 3229 of Lecture Notes in Computer Science, page 693-697. Springer, (2004)
- Semantic Techniques for the Web: The REWERSE Perspective, chapter 1, (2009)
- LPAR, volume 3452 of Lecture Notes in Computer Science, page 511-527. Springer, (2004)
- STACS, volume 2996 of Lecture Notes in Computer Science, page 418-427. Springer, (2004)
- Comput. Lang. 26(2-4):165-195 (2000)


author