- ITC, page 111-117. IEEE Computer Society, (1989)
- ITC, page 763-771. IEEE Computer Society, (1999)
- ITC, page 249-253. IEEE Computer Society, (1998)
- ITC, page 118-126. IEEE Computer Society, (1996)
- ITC, page 87-96. IEEE Computer Society, (1995)
- ITC, page 471-480. IEEE Computer Society, (1994)
- ITC, page 495-501. IEEE Computer Society, (2001)
- Math. Log. Q. 58(1-2):18-28 (2012)
- Proc Natl Acad Sci U S A 86(23):9631-9635 (December 1989)
- Biological Cybernetics 105(5-6):371-397 (2011)
- JASIST 63(1):98-107 (2012)
- J. ACM 12(4):516-524 (1965)
- ACM Trans. Database Syst. 9(3):392-408 (1984)
- ICDE, page 52-61. IEEE Computer Society, (1995)
- JMPT 1(1):16-29 (2010)
- LICS, page 342. IEEE Computer Society, (2005)
- Climate Change 2007: The physical science basis, Cambridge University Press, Cambridge etc., (2007)
- ISSCC, page 222-224. IEEE, (2011)
- J. Solid-State Circuits 47(1):345-354 (2012)
- ACM Great Lakes Symposium on VLSI, page 475-476. ACM, (2011)


author