Author Search Results

1

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

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

Get full text

Editorial

2

Message from the General Chair

Message from the General Chair

by Dong, J.S.
Published 2013

Get full text

Editorial

3

State, event, time and diagram in system modeling

State, event, time and diagram in system modeling

by Dong, J.S.
Published 2013

Get full text

Conference or Workshop Item

4

From semantic Web to expressive specifications: A modeling languages spectrum

From semantic Web to expressive specifications: A modeling languages spectrum

by Dong, J.S.
Published 2013

Get full text

Conference or Workshop Item

5

Software modeling techniques and the Semantic Web

Software modeling techniques and the Semantic Web

by Dong, J.S.
Published 2013

Get full text

Conference or Workshop Item

6

The semantics of extended SOFL

The semantics of extended SOFL

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

Get full text

Conference or Workshop Item

7

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

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

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

Get full text
Get full text

Article

8

Synthesis of distributed processes from scenario-based specifications

Synthesis of distributed processes from scenario-based specifications

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

Get full text

Conference or Workshop Item

9

Software Engineering approaches to Semantic Web

Software Engineering approaches to Semantic Web

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

Get full text

Conference or Workshop Item

10

Model checking live sequence charts

Model checking live sequence charts

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

Get full text

Conference or Workshop Item

11

Extracting FSMs from object-Z specifications with history invariants

Extracting FSMs from object-Z specifications with history invariants

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

Get full text

Conference or Workshop Item

12

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

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

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

Get full text

Conference or Workshop Item

13

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

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

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

Get full text

Article

14

Replica exchange for non-convex optimization

Replica exchange for non-convex optimization

by Dong, J, Tong, XT
Published 2021

Get full text

Article

15

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

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

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

Get full text

Conference or Workshop Item

16

SCP special issue on the grand challenge - Preface

SCP special issue on the grand challenge - Preface

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

Get full text

Editorial

17

Design synthesis from interaction and state-based specifications

Design synthesis from interaction and state-based specifications

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

Get full text

Article

18

Quadratic stability analysis of fuzzy control systems

Quadratic stability analysis of fuzzy control systems

by Yang, G.-H., Dong, J.
Published 2014

Get full text

Conference or Workshop Item

19

Ontology generation through the fusion of partial reuse and relation extraction

Ontology generation through the fusion of partial reuse and relation extraction

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

Get full text

Conference or Workshop Item

20

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

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

Get full text

Article

1
2
3
4
5
6
7
8
9
10
11
Next
[11]