Jin Song Dong

Collaboration Map View Statistics Email Alert RSS Feed

Full Name

Jin Song Dong

Variants

Dong, J.
Jin, S.D.
Dong, J.-S.
Song Dong, J.
Dong, J.S.

Main Affiliation

DEPARTMENT OF COMPUTER SCIENCE

Faculty

SCHOOL OF COMPUTING

dcsdjs@nus.edu.sg

Refined By:

Department: DEPARTMENT OF COMPUTER SCIENCE

Results 121-127 of 127 (Search time: 0.005 seconds).

Refman EndNote Bibtex RefWorks Excel CSV PDF Send via email

	Issue Date	Title	Author(s)
121	2006	Verification of computation Orchestration via timed automata	Dong, J.S. ; Liu, Y. ; Sun, J. ; Zhang, X.
122	2011	Verification of orchestration systems using compositional partial order reduction	Tan, T.H.; Liu, Y. ; Sun, J.; Dong, J.S.
123	2004	Verifying DAML+OIL and beyond in Z/EVES	Dong, J.S. ; Lee, C.H.; Li, Y.F. ; Wang, H.
124	2013	Verifying linearizability via optimized refinement checking	Liu, Y.; Chen, W.; Liu, Y.A.; Sun, J.; Zhang, S.J.; Dong, J.S.
125	2005	Verifying OWL and ORL ontologies in PVS	Dong, J.S. ; Feng, Y.; Li, Y.F.
126	2009	Verifying stateful timed CSP using implicit clocks and zone abstraction	Sun, J. ; Liu, Y. ; Dong, J.S. ; Zhang, X.
127	2003	ZML: XML support for standard Z	Utting, M.; Toyn, I.; Sun, J.; Martin, A.; Dong, J.S. ; Daley, N.; Currie, D.