The SCEAS System
Navigation Menu

Search the dblp DataBase


Jing Sun: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jing Sun, Jin Song Dong
    Specifying and Reasoning about Generic Architecture in TCOZ. [Citation Graph (0, 0)][DBLP]
    APSEC, 2002, pp:405-0 [Conf]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. Jin Song Dong, Jing Sun, Hai Wang
    Z Approach to Semantic Web. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2002, pp:156-167 [Conf]
  15. 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]
  16. 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]
  17. 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]
  18. Jing Liu, Jin Song Dong, Jing Sun
    TRMCS in TCOZ. [Citation Graph (0, 0)][DBLP]
    IWSSD, 2000, pp:63-74 [Conf]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]

  39. Lightweight Public Key Infrastructure and Service Relation Model for Designing a Trustworthy ONS. [Citation Graph (, )][DBLP]

  40. Towards Verifying Semistructured Data. [Citation Graph (, )][DBLP]

  41. Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL. [Citation Graph (, )][DBLP]

  42. Correctness Criteria for Normalization of Semistructured Data. [Citation Graph (, )][DBLP]

  43. Towards Specification Based Testing for Semantic Web Services. [Citation Graph (, )][DBLP]

  44. Study of ZigBee Wireless Mesh Networks. [Citation Graph (, )][DBLP]

  45. Design of a Web2.0-based Knowledge Management Platform. [Citation Graph (, )][DBLP]

  46. Flow Management for SIP Application Servers. [Citation Graph (, )][DBLP]

  47. Verifying Semistructured Data Normalization Using PVS. [Citation Graph (, )][DBLP]

  48. A Scalable Approach to Multi-style Architectural Modeling and Verification. [Citation Graph (, )][DBLP]

  49. Specifying and Verifying Sensor Networks: An Experiment of Formal Methods. [Citation Graph (, )][DBLP]

  50. Identification and analysis of structural time-varying parameters using seismic response records. [Citation Graph (, )][DBLP]

  51. Structural time-invariant modal parameters identification from seismic response data. [Citation Graph (, )][DBLP]

  52. Understanding Locality-Awareness in Peer-to-Peer Systems. [Citation Graph (, )][DBLP]

  53. Rate-based SIP flow management for SLA satisfaction. [Citation Graph (, )][DBLP]

  54. Context Awareness Systems Design and Reasoning. [Citation Graph (, )][DBLP]

  55. Study of Methodology of Testing Mobile Games Based on TTCN-3. [Citation Graph (, )][DBLP]

  56. Verifying Semistructured Data Normalization Using SWRL. [Citation Graph (, )][DBLP]

  57. Bounded Model Checking of Compositional Processes. [Citation Graph (, )][DBLP]

  58. Shadow Detection and Removal from Solo Natural Image Based on Retinex Theory. [Citation Graph (, )][DBLP]

  59. Performance enhancement of modular control systems using µ synthesis. [Citation Graph (, )][DBLP]

  60. Less conservative robust control of constrained linear systems with bounded disturbances. [Citation Graph (, )][DBLP]

  61. Fuel cell based auxiliary power unit modeling, optimization, and control. [Citation Graph (, )][DBLP]

  62. An Improved Chaos-Based Stream Cipher Algorithm and its VLSI Implementation. [Citation Graph (, )][DBLP]

  63. Non-Mercer hybrid kernel for linear programming support vector regression in nonlinear systems identification. [Citation Graph (, )][DBLP]

  64. Ab-origin: an enhanced tool to identify the sourcing gene segments in germline for rearranged antibodies. [Citation Graph (, )][DBLP]

Search in 0.028secs, Finished in 0.030secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002