Browsing by Author Sun, J.

Select a letter below to browse by last name or type
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Showing results 1 to 20 of 147  next >
Issue DateTitleAuthor(s)
2002A complete set of spatial-domain dyadic Green's function components for cylindrically stratified media in fast computational formSun, J.; Wang, C.-F. ; Li, L.-W. ; Leong, M.-S. 
2002A formal object approach to the design of ZMLSun, J.; Dong, J.S. ; Liu, J.; Wang, H. 
2013A formal semantics for complete uml state machines with communicationsLiu, S.; Liu, Y.; André, E.; Choppy, C.; Sun, J.; Wadhwa, B. ; Dong, J.S. 
Apr-2007A less conservative stability test for second-order linear time-varying vector differential equationsSun, J.; Wang, Q.-G. ; Zhong, Q.-C.
2012A model checker for hierarchical probabilistic real-time systemsSong, S.; Sun, J.; Liu, Y. ; Dong, J.S. 
2008A scalable approach to multi-style architectural modeling and verificationWong, S.; Sun, J.; Warren, I.; Sun, J. 
Jul-2007A state-space partitioning method for pricing high-dimensional American-style optionsJin, X.; Tan, H.H. ; Sun, J.
2011A symbolic model checking framework for hierarchical systemsNguyen, T.K.; Sun, J.; Liu, Y. ; Dong, J.S. 
Jun-2005A two-stage convective air and vacuum freeze-drying technique for bamboo shootsXu, Y.; Zhang, M.; Tu, D.; Sun, J.; Zhou, L.; Mujumdar, A.S. 
2013A UTP semantics for communicating processes with shared variablesShi, L.; Zhao, Y.; Liu, Y.; Sun, J.; Dong, J.S. ; Qin, S.
2001A XML/XSL approach to visualize and animate TCOZSun, J.; Dong, J.S. ; Liu, J.; Wang, H. 
2006A Z Approach in Validating ORA-SS Data ModelsLee, S.U.-J.; Sun, J.; Dobbie, G.; Li, Y.F. 
30-Aug-2010Abrupt resistivity decrease and other unexpected phenomena in a doped amorphous ternary metal oxideSun, J.; Gong, H. 
2000Active patch antenna for digital TV receiverLi, B.; Xu, L.; Chia, Y.W.M. ; Sun, J.; Chen, Z.N. 
2012An analytical and experimental comparison of CSP extensions and toolsShi, L.; Liu, Y. ; Sun, J.; Dong, J.S. ; Carvalho, G.
2011An efficient algorithm for learning event-recording automataLin, S.-W. ; André, É. ; Dong, J.S. ; Sun, J.; Liu, Y. 
Aug-2013An energy conservative symplectic methodology for buckling of cylindrical shells under axial compressionSun, J.; Xu, X.; Lim, C.W.; Tan, V.B.C. 
25-Jul-2012An implicit Lyapunov control for finite-dimensional closed quantum systemsZhao, S.; Lin, H. ; Sun, J.; Xue, Z.
2008An integrated formal approach to semantic work environments designWang, H.H.; Dong, J.S.; Sun, J.; Payne, T.R.; Gibbins, N.; Li, Y.F. ; Pan, J.
2010Analyzing hierarchical complex real-time systemsLiu, Y. ; Sun, J.; Dong, J.S.