Search the dblp DataBase
Jing Sun :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Jing Sun , Jin Song Dong Specifying and Reasoning about Generic Architecture in TCOZ. [Citation Graph (0, 0)][DBLP ] APSEC, 2002, pp:405-0 [Conf ] Jing Sun , Jin Song Dong , Jing Liu , Hai Wang An XML/XSL Approach to Visualize and Animate TCOZ. [Citation Graph (0, 0)][DBLP ] APSEC, 2001, pp:453-460 [Conf ] Yue Tang , Jin Song Dong , Jing Sun , Brendan P. Mahony Reasoning about Semantic Web in Isabelle/HOL. [Citation Graph (0, 0)][DBLP ] APSEC, 2004, pp:46-53 [Conf ] Lin Wang , Gillian Dobbie , Jing Sun , Lindsay Groves Validating ORA-SS Data Models using Alloy. [Citation Graph (0, 0)][DBLP ] ASWEC, 2006, pp:231-242 [Conf ] Qi Guo , Hang Guo , Zhiqiang Zhang , Jing Sun , Jianhua Feng Schema Driven and Topic Specific Web Crawling. [Citation Graph (0, 0)][DBLP ] DASFAA, 2005, pp:594-599 [Conf ] Jin Song Dong , Jing Sun , Hai Wang Semantic Web for Extending and Linking Formalisms. [Citation Graph (0, 0)][DBLP ] FME, 2002, pp:587-606 [Conf ] Jin Song Dong , Jing Sun , Hai Wang Checking and Reasoning about Semantic Web through Alloy. [Citation Graph (0, 0)][DBLP ] FME, 2003, pp:796-813 [Conf ] Ali Beydoun , Le Yi Wang , Jing Sun , Shiva Sivashankar Hybrid Control of Automotive Powertrain Systems: A Case Study. [Citation Graph (0, 0)][DBLP ] HSCC, 1998, pp:33-48 [Conf ] Ning Ning , Dongsheng Wang , Yongquan Ma , Jinfeng Hu , Jing Sun , Chongnan Gao , Weimin Zheng Genius: Peer-to-Peer Location-Aware Gossip Using Network Coordinates. [Citation Graph (0, 0)][DBLP ] International Conference on Computational Science (3), 2005, pp:163-170 [Conf ] Gillian Dobbie , Jing Sun , Yuan-Fang Li , Scott Uk-Jin Lee Research into Verifying Semistructured Data. [Citation Graph (0, 0)][DBLP ] ICDCIT, 2006, pp:361-374 [Conf ] Chongnan Gao , Jing Sun , Jinfeng Hu , Ning Ning , Weimin Zheng ImDeploy: A Tool for Global-Scale Service Deployment on Peer-to-Peer Networks. [Citation Graph (0, 0)][DBLP ] ICDCS Workshops, 2005, pp:856-860 [Conf ] Jing Sun , Hongyu Zhang , Yuan-Fang Li , Hai H. Wang Formal Semantics and Verification for Feature Modeling. [Citation Graph (0, 0)][DBLP ] ICECCS, 2005, pp:303-312 [Conf ] Jin Song Dong , Yuan-Fang Li , Jing Sun , Jun Sun , Hai H. Wang XML-Based Static Type Checking and Dynamic Visualization for TCOZ. [Citation Graph (0, 0)][DBLP ] ICFEM, 2002, pp:311-322 [Conf ] Jin Song Dong , Jing Sun , Hai Wang Z Approach to Semantic Web. [Citation Graph (0, 0)][DBLP ] ICFEM, 2002, pp:156-167 [Conf ] Jun Sun , Yuan-Fang Li , Hai Wang , Jing Sun Visualizing and Simulating Semantic Web Services Ontologies. [Citation Graph (0, 0)][DBLP ] ICFEM, 2005, pp:435-449 [Conf ] Jing Sun , Hai Wang , Sasanka Athauda , Tazkiya Sheik SVG Web Environment for Z Specification Language. [Citation Graph (0, 0)][DBLP ] ICFEM, 2005, pp:480-494 [Conf ] Santokh Singh , John C. Grundy , John G. Hosking , Jing Sun An Architecture for Developing Aspect-Oriented Web Services. [Citation Graph (0, 0)][DBLP ] ECOWS, 2005, pp:72-82 [Conf ] Jing Liu , Jin Song Dong , Jing Sun TRMCS in TCOZ. [Citation Graph (0, 0)][DBLP ] IWSSD, 2000, pp:63-74 [Conf ] Ian Warren , Jing Sun , Sanjev Krishnamohan , Thiranjith Weerasinghe An Automated Formal Approach to Managing Dynamic Reconfiguration. [Citation Graph (0, 0)][DBLP ] ASE, 2006, pp:37-46 [Conf ] Scott Uk-Jin Lee , Gillian Dobbie , Jing Sun , Lindsay Groves A PVS Approach to Verifying ORA-SS Data Models. [Citation Graph (0, 0)][DBLP ] SEKE, 2006, pp:126-131 [Conf ] Hai Wang , Jin Song Dong , Jing Sun Reasoning Support for SWRL-FOL Using Alloy. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:626-631 [Conf ] Hai H. Wang , Jin Song Dong , Jing Sun , Yuan-Fang Li TCOZ Approach to OWL-S Process Model Design. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:354-359 [Conf ] Jing Sun , Xiaobo Yu , George Baciu , Mark Green Template-based generation of road networks for virtual city modeling. [Citation Graph (0, 0)][DBLP ] VRST, 2002, pp:33-40 [Conf ] Yuan-Fang Li , Jing Sun , Gillian Dobbie , Jun Sun , Hai H. Wang Validating Semistructured Data Using OWL. [Citation Graph (0, 0)][DBLP ] WAIM, 2006, pp:520-531 [Conf ] Jing Sun , Jin Song Dong , Jing Liu , Hai Wang Object-Z web environment and projections to UML. [Citation Graph (0, 0)][DBLP ] WWW, 2001, pp:725-734 [Conf ] Hai H. Wang , Yuan-Fang Li , Jing Sun , Hongyu Zhang Verify Feature Models using protegeowl. [Citation Graph (0, 0)][DBLP ] WWW (Special interest tracks and posters), 2005, pp:1038-1039 [Conf ] Mark Utting , Ian Toyn , Jing Sun , Andrew Martin , Jin Song Dong , Nicholas Daley , David W. Currie ZML: XML Support for Standard Z. [Citation Graph (0, 0)][DBLP ] ZB, 2003, pp:437-456 [Conf ] Jing Sun , Jin Song Dong , Jing Liu , Hai Wang A Formal Object Approach to the Design of ZML. [Citation Graph (0, 0)][DBLP ] Ann. Software Eng., 2002, v:13, n:1-4, pp:329-356 [Journal ] Scott Uk-Jin Lee , Jing Sun , Gillian Dobbie , Yuan-Fang Li A Z Approach in Validating ORA-SS Data Models. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:157, n:1, pp:95-109 [Journal ] Jing Sun , George Baciu , Xiaobo Yu , Mark Green Image-Based Template Generation Of Road Networks For Virtual Maps. [Citation Graph (0, 0)][DBLP ] Int. J. Image Graphics, 2004, v:4, n:4, pp:701-720 [Journal ] Yuan-Fang Li , Jing Sun , Gillian Dobbie , Hai H. Wang , Jun Sun Reasoning About ORA-SS Data Models Using the Semantic Web. [Citation Graph (0, 0)][DBLP ] , 2006, v:, n:, pp:219-241 [Journal ] Jing Sun , Oscar Y. Takeshita On maximum-length linear congruential-sequences-based low-density parity-check codes. [Citation Graph (0, 0)][DBLP ] IEEE Transactions on Communications, 2005, v:53, n:12, pp:1977-1980 [Journal ] Jing Sun , Oscar Y. Takeshita Interleavers for turbo codes using permutation polynomials over integer rings. [Citation Graph (0, 0)][DBLP ] IEEE Transactions on Information Theory, 2005, v:51, n:1, pp:101-119 [Journal ] Hui Liang , Jin Song Dong , Jing Sun , Roger Duke , Rudolph E. Seviora Formal Specification-based Online Monitoring. [Citation Graph (0, 0)][DBLP ] ICECCS, 2006, pp:152-162 [Conf ] Hui Liang , Jing Sun Modular Specification of Aspect-oriented Systems and Aspect Conflicts Detection. [Citation Graph (0, 0)][DBLP ] SEKE, 2007, pp:77-80 [Conf ] Hui Liang , Jin Song Dong , Jing Sun Evolution and Runtime Monitoring of Software Systems. [Citation Graph (0, 0)][DBLP ] SEKE, 2007, pp:343-348 [Conf ] Ling Yuan , Jin Song Dong , Jing Sun , Hamid Abdul Basit Generic Fault Tolerant Software Architecture Reasoning and Customization. [Citation Graph (0, 0)][DBLP ] IEEE Transactions on Reliability, 2006, v:55, n:3, pp:421-435 [Journal ] Hai H. Wang , Yuan-Fang Li , Jing Sun , Hongyu Zhang , Jeff Pan Verifying feature models using OWL. [Citation Graph (0, 0)][DBLP ] J. Web Sem., 2007, v:5, n:2, pp:117-129 [Journal ] Lightweight Public Key Infrastructure and Service Relation Model for Designing a Trustworthy ONS. [Citation Graph (, )][DBLP ] Towards Verifying Semistructured Data. [Citation Graph (, )][DBLP ] Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL. [Citation Graph (, )][DBLP ] Correctness Criteria for Normalization of Semistructured Data. [Citation Graph (, )][DBLP ] Towards Specification Based Testing for Semantic Web Services. [Citation Graph (, )][DBLP ] Study of ZigBee Wireless Mesh Networks. [Citation Graph (, )][DBLP ] Design of a Web2.0-based Knowledge Management Platform. [Citation Graph (, )][DBLP ] Flow Management for SIP Application Servers. [Citation Graph (, )][DBLP ] Verifying Semistructured Data Normalization Using PVS. [Citation Graph (, )][DBLP ] A Scalable Approach to Multi-style Architectural Modeling and Verification. [Citation Graph (, )][DBLP ] Specifying and Verifying Sensor Networks: An Experiment of Formal Methods. [Citation Graph (, )][DBLP ] Identification and analysis of structural time-varying parameters using seismic response records. [Citation Graph (, )][DBLP ] Structural time-invariant modal parameters identification from seismic response data. [Citation Graph (, )][DBLP ] Understanding Locality-Awareness in Peer-to-Peer Systems. [Citation Graph (, )][DBLP ] Rate-based SIP flow management for SLA satisfaction. [Citation Graph (, )][DBLP ] Context Awareness Systems Design and Reasoning. [Citation Graph (, )][DBLP ] Study of Methodology of Testing Mobile Games Based on TTCN-3. [Citation Graph (, )][DBLP ] Verifying Semistructured Data Normalization Using SWRL. [Citation Graph (, )][DBLP ] Bounded Model Checking of Compositional Processes. [Citation Graph (, )][DBLP ] Shadow Detection and Removal from Solo Natural Image Based on Retinex Theory. [Citation Graph (, )][DBLP ] Performance enhancement of modular control systems using µ synthesis. [Citation Graph (, )][DBLP ] Less conservative robust control of constrained linear systems with bounded disturbances. [Citation Graph (, )][DBLP ] Fuel cell based auxiliary power unit modeling, optimization, and control. [Citation Graph (, )][DBLP ] An Improved Chaos-Based Stream Cipher Algorithm and its VLSI Implementation. [Citation Graph (, )][DBLP ] Non-Mercer hybrid kernel for linear programming support vector regression in nonlinear systems identification. [Citation Graph (, )][DBLP ] Ab-origin: an enhanced tool to identify the sourcing gene segments in germline for rearranged antibodies. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.455secs