State, event, time and diagram in system modeling

by Dong, J.S.
Published 2013

From semantic Web to expressive specifications: A modeling languages spectrum

by Dong, J.S.
Published 2013

Software modeling techniques and the Semantic Web

by Dong, J.S.
Published 2013

Message from the General Chair

by Dong, J.S.
Published 2013

SSIRI-C 2010 - 4th IEEE International Conference on Secure Software Integration and Reliability Improvement Companion: Message from the general chair

by Dong, J.S.
Published 2013

A sparse partial least squares algorithm based on sure independence screening method

by Xu, X., Cheng, K. K., Deng, L., Dong, J.
Published 2017

The semantics of extended SOFL

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

Software Engineering approaches to Semantic Web

by Dong, J.S., Dan, D.
Published 2013

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

Deep semantic links of TCSP and object-Z: TCOZ approach

by Mahony, B., Dong, J.S.
Published 2013

Extending SOFL to support both top-down and bottom-up approaches

by Liu, S., Song Dong, J.
Published 2014

SCP special issue on the grand challenge - Preface

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

Design synthesis from interaction and state-based specifications

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

Raman characteristic peaks induced by the topological defects of carbon nanotube intramolecular junctions

by Wu, G., Dong, J.
Published 2014

Replica exchange for non-convex optimization

by Dong, J, Tong, XT
Published 2021

Ontology generation through the fusion of partial reuse and relation extraction

by Tun, N.N., Dong, J.S.
Published 2013

Generating MSCs from an integrated formal specification language

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

Selective up-regulation of α1-chimaerin mRNA in SK-N-SH neuroblastoma cells by K+-induced depolarisation

by Dong, J.-M., Lim, L.
Published 2014