Search results
Lecture Notes in Computer Science > Numerical Software with Result Verification > Software Systems and Tools > 36-63
Journal of Global Optimization > 2014 > 60 > 4 > 751-776
Engineering Applications of Artificial Intelligence > 2013 > 26 > 4 > 1263-1273
Journal of Global Optimization > 2013 > 56 > 3 > 821-844
Journal of Shanghai University (English Edition) > 2011 > 15 > 5 > 445-450
2010 2nd International Conference on Computer Engineering and Technology > 2 > V2-629 - V2-631
Control and Cybernetics > 2010 > Vol. 39, no 2 > 507-525
2009 Fourth ChinaGrid Annual Conference > 205 - 209
Journal of Computational and Applied Mathematics > 2009 > 224 > 2 > 476-491
IEEE Transactions on Neural Networks > 2009 > 20 > 4 > 638 - 653
Journal of Global Optimization > 2007 > 37 > 2 > 215-228
Journal of Global Optimization > 2007 > 38 > 2 > 215-236
European Journal of Operational Research > 2006 > 175 > 3 > 1367-1378
Journal of Global Optimization > 2004 > 28 > 1 > 121-137
Numerical Algorithms > 2004 > 37 > 1-4 > 61-69
Applied Mathematics and Computation > 2003 > 144 > 2-3 > 413-431
Journal of Global Optimization > 2003 > 25 > 4 > 345-362
Computers and Mathematics with Applications > 2001 > 42 > 8-9 > 1035-1042