- Formal Methods in System Design 40(1):20-40 (2012)
- J. Optimization Theory and Applications 152(3):652-660 (2012)
- MoMM, page 218-222. ACM, (2011)
- Electr. J. Comb. (2011)
- AAAI, page 918-922. Morgan Kaufmann, (1986)
- CSCL, page 151-159. International Society of the Learning Sciences, (2002)
- CoRR (2007)
- CoRR (2006)
- CoRR (2010)
- CoRR (2011)
- J. Log. Program. 6(1&2):163-178 (1989)
- J. Log. Program. 5(3):243-261 (1988)
- Encyclopedia of Portal Technologies and Applications, IGI Global, (2007)
- Encyclopedia of Complexity and Systems Science, Springer, (2009)
- Neural Computation 18(3):729-747 (2006)
- Neural Computation 14(9):2043-2051 (2002)
- IEEE T. Geoscience and Remote Sensing 44(5):1308-1323 (2006)
- IEEE T. Geoscience and Remote Sensing 44(5):1324-1333 (2006)
- IEEE T. Geoscience and Remote Sensing 44(5):1297-1307 (2006)
- IEEE T. Geoscience and Remote Sensing 44(5):1288-1296 (2006)


author