| 2009 |
|---|
| 53 | EE | 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) |
| 52 | EE | Hai H. Wang,
Jing Sun:
A semantic web environment for components.
Knowledge Eng. Review 24(1): 59-75 (2009) |
| 2008 |
|---|
| 51 | EE | 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 |
| 50 | EE | 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 |
| 49 | EE | Jing Sun,
Yingkui Du,
Yandong Tang:
Shadow Detection and Removal from Solo Natural Image Based on Retinex Theory.
ICIRA (1) 2008: 660-668 |
| 48 | EE | Jun Sun,
Yang Liu,
Jin Song Dong,
Jing Sun:
Bounded Model Checking of Compositional Processes.
TASE 2008: 23-30 |
| 47 | EE | 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 |
|---|
| 46 | EE | Gillian Dobbie,
Jing Sun,
Yuan-Fang Li,
Scott Uk-Jin Lee:
Towards Verifying Semistructured Data.
APCCM 2007: 11-14 |
| 45 | EE | Weijun Wang,
Rui Xiong,
Jing Sun:
Design of a Web2.0-based Knowledge Management Platform.
I3E (2) 2007: 237-245 |
| 44 | EE | Jing Sun,
Jinfeng Hu,
Ruixiong Tian,
Bo Yang:
Flow Management for SIP Application Servers.
ICC 2007: 646-652 |
| 43 | | Hui Liang,
Jin Song Dong,
Jing Sun:
Evolution and Runtime Monitoring of Software Systems.
SEKE 2007: 343-348 |
| 42 | | Hui Liang,
Jing Sun:
Modular Specification of Aspect-oriented Systems and Aspect Conflicts Detection.
SEKE 2007: 77-80 |
| 41 | EE | 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) |
| 40 | EE | 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 |
|---|
| 39 | EE | Ling Yuan,
Jin Song Dong,
Jing Sun:
Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL.
APSEC 2006: 209-216 |
| 38 | EE | Ian Warren,
Jing Sun,
Sanjev Krishnamohan,
Thiranjith Weerasinghe:
An Automated Formal Approach to Managing Dynamic Reconfiguration.
ASE 2006: 37-46 |
| 37 | EE | Lin Wang,
Gillian Dobbie,
Jing Sun,
Lindsay Groves:
Validating ORA-SS Data Models using Alloy.
ASWEC 2006: 231-242 |
| 36 | EE | Gillian Dobbie,
Jing Sun,
Yuan-Fang Li,
Scott Uk-Jin Lee:
Research into Verifying Semistructured Data.
ICDCIT 2006: 361-374 |
| 35 | EE | Hui Liang,
Jin Song Dong,
Jing Sun,
Roger Duke,
Rudolph E. Seviora:
Formal Specification-based Online Monitoring.
ICECCS 2006: 152-162 |
| 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 | EE | Yuan-Fang Li,
Jing Sun,
Gillian Dobbie,
Jun Sun,
Hai H. Wang:
Validating Semistructured Data Using OWL.
WAIM 2006: 520-531 |
| 32 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Qi Guo,
Hang Guo,
Zhiqiang Zhang,
Jing Sun,
Jianhua Feng:
Schema Driven and Topic Specific Web Crawling.
DASFAA 2005: 594-599 |
| 25 | EE | Santokh Singh,
John C. Grundy,
John G. Hosking,
Jing Sun:
An Architecture for Developing Aspect-Oriented Web Services.
ECOWS 2005: 72-82 |
| 24 | EE | 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 | EE | Jing Sun,
Hongyu Zhang,
Yuan-Fang Li,
Hai H. Wang:
Formal Semantics and Verification for Feature Modeling.
ICECCS 2005: 303-312 |
| 22 | EE | Jun Sun,
Yuan-Fang Li,
Hai H. Wang,
Jing Sun:
Visualizing and Simulating Semantic Web Services Ontologies.
ICFEM 2005: 435-449 |
| 21 | EE | Jing Sun,
Hai H. Wang,
Sasanka Athauda,
Tazkiya Sheik:
SVG Web Environment for Z Specification Language.
ICFEM 2005: 480-494 |
| 20 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Yue Tang,
Jin Song Dong,
Jing Sun,
Brendan P. Mahony:
Reasoning about Semantic Web in Isabelle/HOL.
APSEC 2004: 46-53 |
| 13 | EE | 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 | EE | Jin Song Dong,
Jing Sun,
Hai H. Wang:
Checking and Reasoning about Semantic Web through Alloy.
FME 2003: 796-813 |
| 11 | EE | 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 | EE | Jing Sun,
Jin Song Dong:
Specifying and Reasoning about Generic Architecture in TCOZ.
APSEC 2002: 405- |
| 9 | EE | Jin Song Dong,
Jing Sun,
Hai H. Wang:
Semantic Web for Extending and Linking Formalisms.
FME 2002: 587-606 |
| 8 | EE | Jin Song Dong,
Jing Sun,
Hai H. Wang:
Z Approach to Semantic Web.
ICFEM 2002: 156-167 |
| 7 | EE | 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 | EE | 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 | EE | Jing Sun,
Jin Song Dong,
Jing Liu,
Hai H. Wang:
An XML/XSL Approach to Visualize and Animate TCOZ.
APSEC 2001: 453-460 |
| 3 | EE | Jing Sun,
Jin Song Dong,
Jing Liu,
Hai H. Wang:
Object-Z web environment and projections to UML.
WWW 2001: 725-734 |
| 2000 |
|---|
| 2 | EE | 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 |
