- Springer, Berlin; Heidelberg; New York, (1984)
- iConference, page 603. ACM, (2012)
- ITC, page 201-202. IEEE Computer Society, (1988)
- J. Log. Comput. 22(1):79-99 (2012)
- Automatica 48(2):396-401 (2012)
- CoRR (2011)
- SocialCom/PASSAT, page 564-567. IEEE, (2011)
- ICSE, page 808-811. ACM, (2011)
- IJQAETE 2(1):1-13 (2012)
- IEEE Trans. Knowl. Data Eng. 8(2):227-240 (1996)
- GHTC, page 503-505. IEEE, (2011)
- NeuroImage 58(3):732-740 (2011)
- LAK, page 157-162. ACM, (2011)
- AMCIS, Association for Information Systems, (2011)
- IEEE Trans. Biomed. Engineering 59(1):198-204 (2012)
- ASPLOS, page 208-218. ACM Press, (1994)
- AAAI, page 50-55. AAAI Press / The MIT Press, (1992)
- AAAI, page 723-728. AAAI Press / The MIT Press, (1992)
- AAAI, page 5-8. AAAI Press, (1982)
- ML, page 447-451. Morgan Kaufmann, (1991)


author