Jing Sun

	2009
65		Jing Sun, Huiqun Zhao, Huibing Xiao, Gongzhu Hu: Lightweight Public Key Infrastructure and Service Relation Model for Designing a Trustworthy ONS. ACIS-ICIS 2009: 295-300
64		M. Shaban Jokhio, Gillian Dobbie, Jing Sun: Towards Specification Based Testing for Semantic Web Services. Australian Software Engineering Conference 2009: 54-63
63		Yuan-Fang Li, Jing Sun, Gillian Dobbie, Scott Uk-Jin Lee, Hai H. Wang: Verifying Semistructured Data Normalization Using SWRL. TASE 2009: 193-200
62		Zhao Lu, Jing Sun: Non-Mercer hybrid kernel for linear programming support vector regression in nonlinear systems identification. Appl. Soft Comput. 9(1): 94-99 (2009)
61		Zhen Li, Jing Sun, Soryeok Oh: Design, analysis and experimental validation of a robust nonlinear path following controller for marine surface vessels. Automatica 45(7): 1649-1658 (2009)
60		Hai H. Wang, Jing Sun: A semantic web environment for components. Knowledge Eng. Review 24(1): 59-75 (2009)
59		Jing Sun, Di Wu, Tianlei Xu, Xiaojing Wang, Xiaolian Xu, Lin Tao, Y. X. Li, Zhi-Wei Cao: SEPPA: a computational server for spatial epitope prediction of protein antigens. Nucleic Acids Research 37(Web-Server-Issue): 612-616 (2009)
58		Jin Song Dong, Jing Sun: SCP special issue on the grand challenge - Preface. Sci. Comput. Program. 74(4): 167 (2009)
	2008
57		Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Lindsay Groves, Yuan-Fang Li: Correctness Criteria for Normalization of Semistructured Data. Australian Software Engineering Conference 2008: 248-257
56		Christopher Vermillion, Jing Sun, Kenneth R. Butts: Performance enhancement of modular control systems using µ synthesis. CDC 2008: 327-332
55		Reza Ghaemi, Jing Sun, Ilya V. Kolmanovsky: Less conservative robust control of constrained linear systems with bounded disturbances. CDC 2008: 983-988
54		Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Lindsay Groves: Verifying Semistructured Data Normalization Using PVS. ICECCS 2008: 15-24
53		Stephen Wong, Jing Sun, Ian Warren, Jun Sun: A Scalable Approach to Multi-style Architectural Modeling and Verification. ICECCS 2008: 25-34
52		Jin Song Dong, Jing Sun, Jun Sun, Kenji Taguchi, Xian Zhang: Specifying and Verifying Sensor Networks: An Experiment of Formal Methods. ICFEM 2008: 318-337
51		Jing Sun, Yingkui Du, Yandong Tang: Shadow Detection and Removal from Solo Natural Image Based on Retinex Theory. ICIRA (1) 2008: 660-668
50		Jun Sun, Yang Liu, Jin Song Dong, Jing Sun: Bounded Model Checking of Compositional Processes. TASE 2008: 23-30
49		Xiaojing Wang, Di Wu, SiYuan Zheng, Jing Sun, Lin Tao, Yixue Li, Zhi-Wei Cao: Ab-origin: an enhanced tool to identify the sourcing gene segments in germline for rearranged antibodies. BMC Bioinformatics 9(S-12): (2008)
48		Jun Sun, Yang Liu, Jin Song Dong, Jing Sun: Compositional encoding for bounded model checking. Frontiers of Computer Science in China 2(4): 368-379 (2008)
	2007
47		Gillian Dobbie, Jing Sun, Yuan-Fang Li, Scott Uk-Jin Lee: Towards Verifying Semistructured Data. APCCM 2007: 11-14
46		Weijun Wang, Rui Xiong, Jing Sun: Design of a Web2.0-based Knowledge Management Platform. I3E (2) 2007: 237-245
45		Jing Sun, Jinfeng Hu, Ruixiong Tian, Bo Yang: Flow Management for SIP Application Servers. ICC 2007: 646-652
44		Hui Liang, Jin Song Dong, Jing Sun: Evolution and Runtime Monitoring of Software Systems. SEKE 2007: 343-348
43		Hui Liang, Jing Sun: Modular Specification of Aspect-oriented Systems and Aspect Conflicts Detection. SEKE 2007: 77-80
42		Jing Sun, Ilya V. Kolmanovsky, Reza Ghaemi, Shuhao Chen: A stable block model predictive control with variable implementation horizon. Automatica 43(11): 1945-1953 (2007)
41		Hai H. Wang, Yuan-Fang Li, Jing Sun, Hongyu Zhang, Jeff Pan: Verifying feature models using OWL. J. Web Sem. 5(2): 117-129 (2007)
	2006
40		Ling Yuan, Jin Song Dong, Jing Sun: Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL. APSEC 2006: 209-216
39		Ian Warren, Jing Sun, Sanjev Krishnamohan, Thiranjith Weerasinghe: An Automated Formal Approach to Managing Dynamic Reconfiguration. ASE 2006: 37-46
38		Lin Wang, Gillian Dobbie, Jing Sun, Lindsay Groves: Validating ORA-SS Data Models using Alloy. ASWEC 2006: 231-242
37		Gillian Dobbie, Jing Sun, Yuan-Fang Li, Scott Uk-Jin Lee: Research into Verifying Semistructured Data. ICDCIT 2006: 361-374
36		Hui Liang, Jin Song Dong, Jing Sun, Roger Duke, Rudolph E. Seviora: Formal Specification-based Online Monitoring. ICECCS 2006: 152-162
35		Jin Song Dong, Yuzhang Feng, Jing Sun, Jun Sun: Context Awareness Systems Design and Reasoning. ISoLA 2006: 335-340
34		Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves: A PVS Approach to Verifying ORA-SS Data Models. SEKE 2006: 126-131
33		Yuan-Fang Li, Jing Sun, Gillian Dobbie, Jun Sun, Hai H. Wang: Validating Semistructured Data Using OWL. WAIM 2006: 520-531
32		Ilya V. Kolmanovsky, Jing Sun: Parameter governors for discrete-time nonlinear systems with pointwise-in-time state and control constraints. Automatica 42(5): 841-848 (2006)
31		Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Yuan-Fang Li: A Z Approach in Validating ORA-SS Data Models. Electr. Notes Theor. Comput. Sci. 157(1): 95-109 (2006)
30		Bernard Anthony Mair, David R. Gilland, Jing Sun: Estimation of images and nonrigid deformations in gated emission CT. IEEE Trans. Med. Imaging 25(9): 1130-1144 (2006)
29		Ling Yuan, Jin Song Dong, Jing Sun, Hamid Abdul Basit: Generic Fault Tolerant Software Architecture Reasoning and Customization. IEEE Transactions on Reliability 55(3): 421-435 (2006)
28		Yuan-Fang Li, Jing Sun, Gillian Dobbie, Hai H. Wang, Jun Sun: Reasoning About ORA-SS Data Models Using the Semantic Web. J. Data Semantics VII: 219-241 (2006)
27		Hai H. Wang, Jin Song Dong, Jing Sun, Jun Sun: Reasoning support for Semantic Web ontology family languages using Alloy. Multiagent and Grid Systems 2(4): 455-471 (2006)
	2005
26		Qi Guo, Hang Guo, Zhiqiang Zhang, Jing Sun, Jianhua Feng: Schema Driven and Topic Specific Web Crawling. DASFAA 2005: 594-599
25		Santokh Singh, John C. Grundy, John G. Hosking, Jing Sun: An Architecture for Developing Aspect-Oriented Web Services. ECOWS 2005: 72-82
24		Chongnan Gao, Jing Sun, Jinfeng Hu, Ning Ning, Weimin Zheng: ImDeploy: A Tool for Global-Scale Service Deployment on Peer-to-Peer Networks. ICDCS Workshops 2005: 856-860
23		Jing Sun, Hongyu Zhang, Yuan-Fang Li, Hai H. Wang: Formal Semantics and Verification for Feature Modeling. ICECCS 2005: 303-312
22		Jun Sun, Yuan-Fang Li, Hai H. Wang, Jing Sun: Visualizing and Simulating Semantic Web Services Ontologies. ICFEM 2005: 435-449
21		Jing Sun, Hai H. Wang, Sasanka Athauda, Tazkiya Sheik: SVG Web Environment for Z Specification Language. ICFEM 2005: 480-494
20		Ning Ning, Dongsheng Wang, Yongquan Ma, Jinfeng Hu, Jing Sun, Chongnan Gao, Weimin Zheng: Genius: Peer-to-Peer Location-Aware Gossip Using Network Coordinates. International Conference on Computational Science (3) 2005: 163-170
19		Hai H. Wang, Jin Song Dong, Jing Sun, Yuan-Fang Li: TCOZ Approach to OWL-S Process Model Design. SEKE 2005: 354-359
18		Hai H. Wang, Jin Song Dong, Jing Sun: Reasoning Support for SWRL-FOL Using Alloy. SEKE 2005: 626-631
17		Hai H. Wang, Yuan-Fang Li, Jing Sun, Hongyu Zhang: Verify Feature Models using protegeowl. WWW (Special interest tracks and posters) 2005: 1038-1039
16		Jing Sun, Oscar Y. Takeshita: On maximum-length linear congruential-sequences-based low-density parity-check codes. IEEE Transactions on Communications 53(12): 1977-1980 (2005)
15		Jing Sun, Oscar Y. Takeshita: Interleavers for turbo codes using permutation polynomials over integer rings. IEEE Transactions on Information Theory 51(1): 101-119 (2005)
	2004
14		Yue Tang, Jin Song Dong, Jing Sun, Brendan P. Mahony: Reasoning about Semantic Web in Isabelle/HOL. APSEC 2004: 46-53
13		Jing Sun, George Baciu, Xiaobo Yu, Mark Green: Image-Based Template Generation Of Road Networks For Virtual Maps. Int. J. Image Graphics 4(4): 701-720 (2004)
	2003
12		Jin Song Dong, Jing Sun, Hai H. Wang: Checking and Reasoning about Semantic Web through Alloy. FME 2003: 796-813
11		Mark Utting, Ian Toyn, Jing Sun, Andrew Martin, Jin Song Dong, Nicholas Daley, David W. Currie: ZML: XML Support for Standard Z. ZB 2003: 437-456
	2002
10		Jing Sun, Jin Song Dong: Specifying and Reasoning about Generic Architecture in TCOZ. APSEC 2002: 405-
9		Jin Song Dong, Jing Sun, Hai H. Wang: Semantic Web for Extending and Linking Formalisms. FME 2002: 587-606
8		Jin Song Dong, Jing Sun, Hai H. Wang: Z Approach to Semantic Web. ICFEM 2002: 156-167
7		Jin Song Dong, Yuan-Fang Li, Jing Sun, Jun Sun, Hai H. Wang: XML-Based Static Type Checking and Dynamic Visualization for TCOZ. ICFEM 2002: 311-322
6		Jing Sun, Xiaobo Yu, George Baciu, Mark Green: Template-based generation of road networks for virtual city modeling. VRST 2002: 33-40
5		Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang: A Formal Object Approach to the Design of ZML. Ann. Software Eng. 13(1-4): 329-356 (2002)
	2001
4		Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang: An XML/XSL Approach to Visualize and Animate TCOZ. APSEC 2001: 453-460
3		Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang: Object-Z web environment and projections to UML. WWW 2001: 725-734
	2000
2		Jing Liu, Jin Song Dong, Jing Sun: TRMCS in TCOZ. IWSSD 2000: 63-74
	1998
1		Ali Beydoun, Le Yi Wang, Jing Sun, Shiva Sivashankar: Hybrid Control of Automotive Powertrain Systems: A Case Study. HSCC 1998: 33-48

Coauthor Index

1	Sasanka Athauda	[21]
2	George Baciu	[6] [13]
3	Hamid Abdul Basit	[29]
4	Ali Beydoun	[1]
5	Kenneth R. Butts	[56]
6	Zhi-Wei Cao	[49] [59]
7	Shuhao Chen	[42]
8	David W. Currie	[11]
9	Nicholas Daley	[11]
10	Gillian Dobbie	[28] [31] [33] [34] [37] [38] [47] [54] [57] [63] [64]
11	Jin Song Dong	[2] [3] [4] [5] [7] [8] [9] [10] [11] [12] [14] [18] [19] [27] [29] [35] [36] [40] [44] [48] [50] [52] [58]
12	Yingkui Du	[51]
13	Roger Duke	[36]
14	Jianhua Feng	[26]
15	Yuzhang Feng	[35]
16	Chongnan Gao	[20] [24]
17	Reza Ghaemi	[42] [55]
18	David R. Gilland	[30]
19	Mark Green	[6] [13]
20	Lindsay Groves	[34] [38] [54] [57]
21	John C. Grundy	[25]
22	Hang Guo	[26]
23	Qi Guo	[26]
24	John G. Hosking	[25]
25	Gongzhu Hu	[65]
26	Jinfeng Hu	[20] [24] [45]
27	M. Shaban Jokhio	[64]
28	Ilya V. Kolmanovsky	[32] [42] [55]
29	Sanjev Krishnamohan	[39]
30	Scott Uk-Jin Lee	[31] [34] [37] [47] [54] [57] [63]
31	Y. X. Li	[59]
32	Yixue Li (Yi-Xue Li)	[49]
33	Yuan-Fang Li	[7] [17] [19] [22] [23] [28] [31] [33] [37] [41] [47] [57] [63]
34	Zhen Li	[61]
35	Hui Liang	[36] [43] [44]
36	Jing Liu	[2] [3] [4] [5]
37	Yang Liu	[48] [50]
38	Zhao Lu	[62]
39	Yongquan Ma	[20]
40	Brendan P. Mahony	[14]
41	Bernard Anthony Mair	[30]
42	Andrew Martin	[11]
43	Ning Ning	[20] [24]
44	Soryeok Oh	[61]
45	Jeff Pan	[41]
46	Rudolph E. Seviora	[36]
47	Tazkiya Sheik	[21]
48	Santokh Singh	[25]
49	Shiva Sivashankar	[1]
50	Jun Sun	[7] [22] [27] [28] [33] [35] [48] [50] [52] [53]
51	Kenji Taguchi	[52]
52	Oscar Y. Takeshita	[15] [16]
53	Yandong Tang	[51]
54	Yue Tang	[14]
55	Lin Tao	[49] [59]
56	Ruixiong Tian	[45]
57	Ian Toyn	[11]
58	Mark Utting	[11]
59	Christopher Vermillion	[56]
60	Dongsheng Wang	[20]
61	Hai H. Wang	[3] [4] [5] [7] [8] [9] [12] [17] [18] [19] [21] [22] [23] [27] [28] [33] [41] [60] [63]
62	Le Yi Wang	[1]
63	Lin Wang	[38]
64	Weijun Wang	[46]
65	Xiaojing Wang	[49] [59]
66	Ian Warren	[39] [53]
67	Thiranjith Weerasinghe	[39]
68	Stephen Wong	[53]
69	Di Wu	[49] [59]
70	Huibing Xiao	[65]
71	Rui Xiong	[46]
72	Tianlei Xu	[59]
73	Xiaolian Xu	[59]
74	Bo Yang	[45]
75	Xiaobo Yu	[6] [13]
76	Ling Yuan	[29] [40]
77	Hongyu Zhang	[17] [23] [41]
78	Xian Zhang	[52]
79	Zhiqiang Zhang	[26]
80	Huiqun Zhao	[65]
81	SiYuan Zheng	[49]
82	Weimin Zheng	[20] [24]

Colors in the list of coauthors