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

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

8

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

9

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

10

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

11

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

12

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

13

Replica exchange for non-convex optimization

Replica exchange for non-convex optimization

by Dong, J, Tong, XT
Published 2021

Get full text

Article

14

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

15

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

16

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

17

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

18

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

19

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

20

Generating MSCs from an integrated formal specification language

Generating MSCs from an integrated formal specification language

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

Get full text

Article

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