On methods for solving nonlinear semidefinite optimization problems

by Sun, J.
Published 2014

Solving variational inequality problems via smoothing-nonsmooth reformulations

by Sun, J.
Published 2013

On piecewise quadratic Newton and trust region problems

by Sun, J.
Published 2013

A scalable approach to multi-style architectural modeling and verification

by Wong, S., Sun, J., Warren, I., Sun, J.
Published 2013

Bounded model checking of compositional processes

by Sun, J., Liu, Y., Dong, J.S., Sun, J.
Published 2013

Compositional encoding for bounded model checking

by Sun, J., Liu, Y., Dong, J.S., Sun, J.
Published 2013

Context awareness systems design and reasoning

by Dong, J.S., Feng, Y., Sun, J., Sun, J.
Published 2013

A modified alternating direction method for convex quadratically constrained quadratic semidefinite programs

by Sun, J., Zhang, S.
Published 2013

Visualizing and simulating semantic web services ontologies

by Sun, J., Li, Y.F., Wang, H., Sun, J.
Published 2013

Specifying and verifying sensor networks: An experiment of formal methods

by Dong, J.S., Sun, J., Sun, J., Taguchi, K., Zhang, X.
Published 2013

Model checking approach to automated planning

by Li, Y., Dong, J.S., Sun, J., Liu, Y., Sun, J.
Published 2014

Translating PDDL into CSP# - The PAT Approach

by Li, Y., Sun, J., Dong, J.S., Liu, Y., Sun, J.
Published 2013

Model checking software architecture design

by Zhang, J., Liu, Y., Sun, J., Dong, J.S., Sun, J.
Published 2013

Planning as model checking tasks

by Li, Y., Sun, J., Dong, J.S., Liu, Y., Sun, J.
Published 2014

Global linear and local quadratic convergence of a long-step adaptive-mode interior point method for some monotone variational inequality problems

by Sun, J., Zhao, G.
Published 2013

Minimum recession-compatible subsets of closed convex sets

by He, Y., Sun, J.
Published 2013

Synthesis of distributed processes from scenario-based specifications

by Sun, J., Dong, J.S.
Published 2013

Applying a Newton method to strictly convex separable network quadratic programs

by Sun, J., Kuo, H.
Published 2013

A quadratically convergent polynomial long-step algorithm for a class of nonlinear monotone complementarity problems

by Sun, J., Zhao, G.
Published 2013

A trust region algorithm for minimization of locally Lipschitzian functions

by Qi, L., Sun, J.
Published 2013