On piecewise quadratic Newton and trust region problems

by Sun, J.
Published 2013

Solving variational inequality problems via smoothing-nonsmooth reformulations

by Sun, J.
Published 2013

On methods for solving nonlinear semidefinite optimization problems

by Sun, J.
Published 2014

A scalable approach to multi-style architectural modeling and verification

by Wong, S., Sun, J., Warren, I., 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

Bounded model checking of compositional processes

by Sun, J., Liu, Y., Dong, J.S., 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 software architecture design

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

Translating PDDL into CSP# - The PAT Approach

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

Model checking approach to automated planning

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

Planning as model checking tasks

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

Extracting FSMs from object-Z specifications with history invariants

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

Synthesis of distributed processes from scenario-based specifications

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

Model checking live sequence charts

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

Semismooth matrix-valued functions

by Sun, D., Sun, J.
Published 2013

A new constraint qualification and a second-order necessary optimality condition for mathematical programming problems

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

Computing the optimal replenishment policy for inventory systems with random discount opportunities

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