On methods for solving nonlinear semidefinite optimization problems

بواسطة Sun, J.
منشور في 2014

Solving variational inequality problems via smoothing-nonsmooth reformulations

بواسطة Sun, J.
منشور في 2013

On piecewise quadratic Newton and trust region problems

بواسطة Sun, J.
منشور في 2013

A scalable approach to multi-style architectural modeling and verification

بواسطة Wong, S., Sun, J., Warren, I., Sun, J.
منشور في 2013

Bounded model checking of compositional processes

بواسطة Sun, J., Liu, Y., Dong, J.S., Sun, J.
منشور في 2013

Compositional encoding for bounded model checking

بواسطة Sun, J., Liu, Y., Dong, J.S., Sun, J.
منشور في 2013

Context awareness systems design and reasoning

بواسطة Dong, J.S., Feng, Y., Sun, J., Sun, J.
منشور في 2013

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

بواسطة Sun, J., Zhang, S.
منشور في 2013

Visualizing and simulating semantic web services ontologies

بواسطة Sun, J., Li, Y.F., Wang, H., Sun, J.
منشور في 2013

Specifying and verifying sensor networks: An experiment of formal methods

بواسطة Dong, J.S., Sun, J., Sun, J., Taguchi, K., Zhang, X.
منشور في 2013

Model checking approach to automated planning

بواسطة Li, Y., Dong, J.S., Sun, J., Liu, Y., Sun, J.
منشور في 2014

Translating PDDL into CSP# - The PAT Approach

بواسطة Li, Y., Sun, J., Dong, J.S., Liu, Y., Sun, J.
منشور في 2013

Model checking software architecture design

بواسطة Zhang, J., Liu, Y., Sun, J., Dong, J.S., Sun, J.
منشور في 2013

Planning as model checking tasks

بواسطة Li, Y., Sun, J., Dong, J.S., Liu, Y., Sun, J.
منشور في 2014

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

بواسطة Sun, J., Zhao, G.
منشور في 2013

Minimum recession-compatible subsets of closed convex sets

بواسطة He, Y., Sun, J.
منشور في 2013

Synthesis of distributed processes from scenario-based specifications

بواسطة Sun, J., Dong, J.S.
منشور في 2013

Applying a Newton method to strictly convex separable network quadratic programs

بواسطة Sun, J., Kuo, H.
منشور في 2013

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

بواسطة Sun, J., Zhao, G.
منشور في 2013

A trust region algorithm for minimization of locally Lipschitzian functions

بواسطة Qi, L., Sun, J.
منشور في 2013