- J. Systems and IT 12(2):140-160 (2010)
- IJESMA 1(1):1-20 (2009)
- Inf. Sci. 61(1-2):45-66 (1992)
- IEEE Transactions on Information Theory 36(3):608-613 (1990)
- ICCV, page 580-590. IEEE, (1988)
- LICS, page 402-413. IEEE Computer Society, (1990)
- LICS, page 320-335. IEEE Computer Society, (1988)
- ECIS, page 1560-1571. University of St. Gallen, (2007)
- ECIS, page 2133-2144. (2006)
- ECIS, page 1187-1198. (2005)
- ECIS, page 240-251. (2002)
- ECIS, page 1073-1083. (2003)
- ECIS, page 1084-1092. (2003)
- FOCS, page 186-196. IEEE Computer Society, (1985)
- FOCS, page 48-54. IEEE Computer Society, (1978)
- STOC, page 218-224. ACM, (1980)
- STOC, page 169-177. ACM, (1987)
- J. Comb. Theory, Ser. A 31(2):199-214 (1981)
- Logic Journal of the IGPL 8(1):55-85 (2000)
- FMCAD, volume 1166 of Lecture Notes in Computer Science, page 143-158. Springer, (1996)


author