Bo Guo

On pseudo gradient search for solving nonlinear multiregression with the Choquet integral

Bo Guo, Zhenyuan Wang, Li Zhang-Westman, 2013, 2013 Joint IFSA World Congress and NAFIPS Annual Meeting (IFSA/NAFIPS).

Pseudo gradient search for solving nonlinear multiregression based on the Choquet integral

Bo Guo, Wei Chen, Zhenyuan Wang, 2009, 2009 IEEE International Conference on Granular Computing.

Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem Prover

Bo Guo, Mahadevan Subramaniam, M. Subramaniam, 2008, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.

An Approach for Selecting Tests on Extended Finite State Machines with Provable Guarantees

M. Subramaniam, Bo Guo, 2010 .