1. ScholarBank@NUS

Jin Song Dong

rp09858

Collaboration Map View Statistics Email Alert RSS Feed

Profile

Full Name
Jin Song Dong
Variants
Dong, J.
Jin, S.D.
Dong, J.-S.
Song Dong, J.
Dong, J.S.
 
Main Affiliation
 
Faculty
 
Email
dcsdjs@nus.edu.sg
 

Publications

Refined By:
Department:  DEPARTMENT OF COMPUTER SCIENCE
Date Issued:  [2000 TO 2009]

Results 41-60 of 67 (Search time: 0.004 seconds).

Issue DateTitleAuthor(s)
412008Production of a monoclonal antibody specific for the major outer membrane protein of Campylobacter jejuni and characterization of the epitopeQian, H.; Pang, E.; Du, Q.; Chang, J.; Dong, J. ; Kwang, J. ; Say, L.T.; Fook, K.N.; Ai, L.T.
422007Realizing live sequence charts in SystemVerilogWang, H.H.; Sun, J. ; Qin, S.; Dong, J.S. 
432004Relating π-calculus to Object-ZTaguchi, K.; Dong, J.S. ; Ciobanu, G.
442009Scalable multi-core model checking fairness enhanced systemsLiu, Y. ; Sun, J. ; Dong, J.S. 
52009SCP special issue on the grand challenge - PrefaceDong, J.S. ; Sun, J.
62004Semantic space: An infrastructure for smart spacesWang, X.; Dong, J.S. ; Chin, C.; Hettiarachchi, S.R.; Zhang, D.
72006Semantic web languages - Towards an institutional perspectiveLucanu, D.; Li, Y.F. ; Dong, J.S. 
82005Software Engineering approaches to Semantic WebDong, J.S. ; Dan, D.
92004Software modeling techniques and the Semantic WebDong, J.S. 
102009Software monitoring through formal specification animationLiang, H.; Dong, J.S. ; Sun, J.; Wong, W.E.
112005Soundness proof of Z semantics of OWL using institutionsLucanu, D.; Li, Y.F. ; Dong, J.S. 
122008Specifying and verifying event-based fairness enhanced systemsSun, J. ; Liu, Y. ; Dong, J.S. ; Wang, H.H.
132008Specifying and verifying sensor networks: An experiment of formal methodsDong, J.S. ; Sun, J.; Sun, J. ; Taguchi, K.; Zhang, X.
142001State, event, time and diagram in system modelingDong, J.S. 
152005Synthesis of distributed processes from scenario-based specificationsSun, J. ; Dong, J.S. 
162005TCOZ approach to OWL-s process model designWang, H.; Sun, J.; Dong, J.S. ; Li, Y.F. 
172004TCOZ approach to semantic web services designDong, J.S. ; Li, Y.F. ; Wang, H.
182005The semantics and tool support of OZTADong, J.S. ; Hao, P.; Qin, S.; Zhang, X.
192002The semantics of extended SOFLDong, J.S. ; Liu, S.
202008Timed automata patternsDong, J.S. ; Hao, P.; Qin, S.; Sun, J. ; Yi, W.