- SIAM Journal on Optimization 21(4):1289-1308 (2011)
- SIAM Journal on Optimization 21(4):1319-1344 (2011)
- Formal Methods in System Design 40(1):20-40 (2012)
- J. Comput. Syst. Sci. 78(2):414-429 (2012)
- IEEE Transactions on Audio, Speech & Language Processing 20(3):1056-1068 (2012)
- ICCV, page 259-263. IEEE, (1988)
- Int. J. Computer Games Technology (2011)
- AAAI, page 295-299. AAAI Press, (1984)
- AAAI, page 426-431. AAAI Press / The MIT Press, (1993)
- AAAI, page 670-675. AAAI Press / The MIT Press, (1993)
- AAAI, page 584-589. AAAI Press / The MIT Press, (1992)
- AAAI, page 590-595. AAAI Press / The MIT Press, (1992)
- AAAI, page 276-281. AAAI Press / The MIT Press, (1992)
- AAAI, page 627-632. AAAI Press / The MIT Press, (1990)
- AAAI, page 389-393. Morgan Kaufmann, (1986)
- AAAI, page 349-354. AAAI Press / The MIT Press, (1991)
- AAAI, page 704-709. AAAI Press / The MIT Press, (1991)
- AAAI/IAAI, page 398-403. AAAI Press / The MIT Press, (2002)
- AAAI/IAAI, page 373-378. AAAI Press / The MIT Press, (2002)
- AAAI/IAAI, page 205-210. AAAI Press / The MIT Press, (2002)


author