- Computer and Information Science, volume 317 of Studies in Computational Intelligence, (2010)
- PCS, page 266-269. IEEE, (2010)
- APSEC, page 373-380. IEEE, (2011)
- Auton. Robots 12(1):25-38 (2002)
- Arch. Math. Log. 51(1-2):99-121 (2012)
- CHI, page 291-292. ACM, (1992)
- ICCE, page 865-866. (2002)
- ICCE, page 1181-1185. (2002)
- ICCE, page 1400-1401. (2002)
- ICESS, page 265-272. IEEE, (2009)
- CoRR (2004)
- Mathematics in Computer Science 5(2):209-221 (2011)
- ISSCC, page 236-237. IEEE, (2009)
- Microelectronics Reliability 41(1):111-118 (2001)
- BIOSIGNALS, page 450-453. SciTePress, (2011)
- J. Symb. Comput. 8(6):553-580 (1989)
- J. Symb. Comput. 22(3):247-277 (1996)
- J. Symb. Comput. 28(1-2):243-263 (1999)
- J. Symb. Comput. 30(6):631-633 (2000)
- J. Symb. Comput. 14(4):399-417 (1992)


author