The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Baowen Xu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Zhengqiang Chen, Baowen Xu, Hongji Yang
    Slicing Tagged Objects in Ada. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 2001, pp:100-112 [Conf]
  2. Zhengqiang Chen, Baowen Xu, Jianjun Zhao, Hongji Yang
    Static Dependency Analysis for Concurrent Ada 95 Programs. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 2002, pp:219-230 [Conf]
  3. Dazhou Kang, Baowen Xu, Jianjiang Lu, Yanhui Li, Peng Wang
    Refined Approximation of Concepts in Ontology. [Citation Graph (0, 0)][DBLP]
    AI*IA, 2005, pp:82-85 [Conf]
  4. Zhenqiang Chen, Baowen Xu, Hongji Yang, Kecheng Liu, Jianping Zhang
    An Approach to Analyzing Dependency of Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    APAQS, 2000, pp:39-43 [Conf]
  5. Xiaoyuan Xie, Liang Shi, Changhai Nie, Yanxiang He, Baowen Xu
    A Dynamic Optimization Strategy for Evolutionary Testing. [Citation Graph (0, 0)][DBLP]
    APSEC, 2005, pp:568-575 [Conf]
  6. Yuming Zhou, Lijie Wen, Jianmin Wang, Yujian Chen, Hongmin Lu, Baowen Xu
    DRC: A Dependence Relationships Based Cohesion Measure for Classes. [Citation Graph (0, 0)][DBLP]
    APSEC, 2003, pp:215-223 [Conf]
  7. Peng Wang, Baowen Xu, Jianjiang Lu, Dazhou Kang, Jin Zhou
    Mapping Ontology Relations: An Approach Based on Best Approximations. [Citation Graph (0, 0)][DBLP]
    APWeb, 2006, pp:930-936 [Conf]
  8. Yingzhou Zhang, Baowen Xu, José Emilio Labra Gayo
    A Formal Method for Program Slicing. [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 2005, pp:140-148 [Conf]
  9. Jianjiang Lu, Baowen Xu, Jixiang Jiang
    Generating Different Semantic Spaces for Document Classification. [Citation Graph (0, 0)][DBLP]
    AWCC, 2004, pp:430-436 [Conf]
  10. Baowen Xu, Dazhou Kang, Jianjiang Lu
    A Framework of Extracting Sub-ontology. [Citation Graph (0, 0)][DBLP]
    AWCC, 2004, pp:493-498 [Conf]
  11. Baowen Xu, Weifeng Zhang, Hongji Yang, William C. Chu
    A Rough Set Based Self-Adaptive Web Search Engine. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2001, pp:377-382 [Conf]
  12. William C. Chu, Chih-Wei Lu, Chih-Hung Chang, Yeh-Ching Chung, Yueh-Min Huang, Baowen Xu
    Software Maintainability Improvement: Integrating Standards and Models. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2002, pp:697-702 [Conf]
  13. Feng Chen, Hongji Yang, He Guo, Baowen Xu
    Agentification for Web Services. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2004, pp:514-519 [Conf]
  14. Yanhui Li, Baowen Xu, Jianjiang Lu, Dazhou Kang, Peng Wang
    A Family of Extended Fuzzy Description Logics. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2005, pp:221-226 [Conf]
  15. Bangqing Li, Baowen Xu, Hongji Yang, William C. Chu
    ConC++: A Concurrent C++. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2000, pp:223-227 [Conf]
  16. Bing Qiao, Hongji Yang, William C. Chu, Baowen Xu
    Bridging Legacy Systems to Model Driven Architecture. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2003, pp:304-0 [Conf]
  17. Yingzhou Zhang, Baowen Xu, Liang Shi, Bixin Li, Hongji Yang
    Modular Monadic Program Slicing. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2004, pp:66-71 [Conf]
  18. Xiaoyuan Xie, Baowen Xu, Changhai Nie, Liang Shi, Lei Xu
    Configuration Strategies for Evolutionary Testing. [Citation Graph (0, 0)][DBLP]
    COMPSAC (2), 2005, pp:13-14 [Conf]
  19. Baowen Xu, Yu Guan, Zhenqiang Chen, Karl R. P. H. Leung
    Parallel Genetic Algorithms with Schema Migration. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2002, pp:879-886 [Conf]
  20. Lei Xu, Baowen Xu, Zhenqiang Chen, Jixiang Jiang, Huowang Chen
    Regression Testing for Web Applications Based on Slicing. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2003, pp:652-656 [Conf]
  21. Dazhou Kang, Hanwu Chen, Baowen Xu, Jianjiang Lu, Keyue Li, William C. Chu
    Approximate Information Retrieval for Heterogeneity Ontologies. [Citation Graph (0, 0)][DBLP]
    CW, 2005, pp:539-544 [Conf]
  22. Junhua Wu, Baowen Xu, Jixiang Jiang
    Slicing Web Application Based on Hyper Graph. [Citation Graph (0, 0)][DBLP]
    CW, 2004, pp:177-181 [Conf]
  23. Baowen Xu, Jianjiang Lu, Yingzhou Zhang, Lei Xu, Huowang Chen, Hongji Yang
    Parallel Algorithm for Mining Fuzzy Association Rules. [Citation Graph (0, 0)][DBLP]
    CW, 2003, pp:288-293 [Conf]
  24. Baowen Xu, Peng Wang, Jianjiang Lu, Yanhui Li, Dazhou Kang
    Bridge Ontology and Its Role in Semantic Annotation. [Citation Graph (0, 0)][DBLP]
    CW, 2004, pp:329-334 [Conf]
  25. Lei Xu, Baowen Xu
    A Framework for Web Applications Testing. [Citation Graph (0, 0)][DBLP]
    CW, 2004, pp:300-305 [Conf]
  26. Lei Xu, Baowen Xu, Yanxiang He, Hanwu Chen, Qiaoming Zhu
    Research on the Analysis and Measurement for Testing Results of Web Applications. [Citation Graph (0, 0)][DBLP]
    CW, 2005, pp:559-566 [Conf]
  27. Baowen Xu, Weifeng Zhang, Hongji Yang
    Result Integration in a Meta Web Search Engine. [Citation Graph (0, 0)][DBLP]
    CW, 2002, pp:154-160 [Conf]
  28. Weifeng Zhang, Baowen Xu, Zifeng Cui
    A Document Classification Approach By GA Feature Extraction Based Corner Classification Neural Network. [Citation Graph (0, 0)][DBLP]
    CW, 2005, pp:499-504 [Conf]
  29. Jianjiang Lu, Baowen Xu, Dazhou Kang, Yanhui Li, Peng Wang
    Approximations of Concept Based on Multielement Bounds. [Citation Graph (0, 0)][DBLP]
    DEXA, 2005, pp:676-685 [Conf]
  30. Jianjun Zhao, Baowen Xu
    Measuring Aspect Cohesion. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:54-68 [Conf]
  31. Junyan Qian, Baowen Xu
    Model Checking for Timed Statecharts. [Citation Graph (0, 0)][DBLP]
    FORTE, 2005, pp:261-274 [Conf]
  32. Jianjiang Lu, Baowen Xu, Yanhui Li, Dazhou Kang, Peng Wang
    Extended Fuzzy ALCN and Its Tableau Algorithm. [Citation Graph (0, 0)][DBLP]
    FSKD (1), 2005, pp:232-242 [Conf]
  33. Dazhou Kang, Baowen Xu, Jianjiang Lu, William C. Chu
    A Complexity Measure for Ontology Based on UML. [Citation Graph (0, 0)][DBLP]
    FTDCS, 2004, pp:222-228 [Conf]
  34. Lei Xu, Baowen Xu, Zhenqiang Chen, Huowang Chen
    Website Evolution Based on Statistic Data. [Citation Graph (0, 0)][DBLP]
    FTDCS, 2003, pp:301-307 [Conf]
  35. Dazhou Kang, Baowen Xu, Jianjiang Lu, Yingzhou Zhang
    CSCW in Design on the Semantic Web. [Citation Graph (0, 0)][DBLP]
    GCC (2), 2003, pp:736-743 [Conf]
  36. Baowen Xu, Lei Xu, Jixiang Jiang
    Applying Agent into Web Testing and Evolution. [Citation Graph (0, 0)][DBLP]
    GCC (1), 2003, pp:794-798 [Conf]
  37. Jianjiang Lu, Baowen Xu, Wenxian Zhang, Dazhou Kang
    Query Between Heterogeneous Ontology-Based Information Sources Using Association Matrix. [Citation Graph (0, 0)][DBLP]
    ICADL, 2004, pp:650- [Conf]
  38. Xiaofang Qi, Baowen Xu
    Dependence Analysis of Concurrent Programs Based on Reachability Graph and Its Applications. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science, 2004, pp:405-408 [Conf]
  39. Liang Shi, Changhai Nie, Baowen Xu
    A Software Debugging Method Based on Pairwise Testing. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science (3), 2005, pp:1088-1091 [Conf]
  40. Zhongqiang Wu, Yingzhou Zhang, Baowen Xu
    Modular Monadic Slicing in the Presence of Pointers. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science (4), 2006, pp:748-756 [Conf]
  41. Baowen Xu, Dazhou Kang, Jianjiang Lu
    A Structural Complexity Measure for UML Class Diagrams. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science, 2004, pp:421-424 [Conf]
  42. Baowen Xu, Yanhui Li, Jianjiang Lu, Dazhou Kang
    Secure OWL Query. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science (4), 2006, pp:95-103 [Conf]
  43. Yanhui Li, Baowen Xu, Jianjiang Lu, Dazhou Kang
    Reasoning Technique for Extended Fuzzy ALCQ. [Citation Graph (0, 0)][DBLP]
    ICCSA (2), 2006, pp:1179-1188 [Conf]
  44. Yingzhou Zhang, Baowen Xu
    A Slice Monad Transformer and Its Applications in Program Slicing. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2005, pp:147-154 [Conf]
  45. Lei Xu, Baowen Xu
    Testing Web Applications Intelligently Based on Agent. [Citation Graph (0, 0)][DBLP]
    ICEIS (4), 2005, pp:194-199 [Conf]
  46. Baowen Xu, Peng Wang, Jianjiang Lu, Dazhou Kang, Yanhui Li
    A Framework for Managing Multiple Ontologies: The Function-Oriented Perspective. [Citation Graph (0, 0)][DBLP]
    ICEIS (3), 2005, pp:300-305 [Conf]
  47. Yuan Liu, Baowen Xu, Zhenqiang Chen
    Detecting Deadlock in Ada Rendezvous Flow Structure Based on Process Algebra. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2002, pp:262-274 [Conf]
  48. Zhenqiang Chen, Yuming Zhou, Baowen Xu, Jianjun Zhao, Hongji Yang
    A Novel Approach to Measuring Class Cohesion Based on Dependence Analysis. [Citation Graph (0, 0)][DBLP]
    ICSM, 2002, pp:377-384 [Conf]
  49. Yuming Zhou, Baowen Xu
    Extracting Objects of Ada Programs Using Module Features. [Citation Graph (0, 0)][DBLP]
    ICSM, 1999, pp:23-0 [Conf]
  50. Yuming Zhou, Baowen Xu, Jianjun Zhao, Hongji Yang
    ICBMC: An Improved Cohesion Measure for Classes. [Citation Graph (0, 0)][DBLP]
    ICSM, 2002, pp:44-53 [Conf]
  51. Jianjiang Lu, Baowen Xu, Dazhou Kang, Huowang Chen, Hongji Yang
    Mining Association Rules with Linguistic Terms. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2003, pp:129-133 [Conf]
  52. Yanhui Li, Baowen Xu, Jianjiang Lu, Dazhou Kang, Jie Xu
    Reasoning Technique for Extended Fuzzy Description Logics. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2005, pp:665-666 [Conf]
  53. Baowen Xu, Peng Wang, Jianjiang Lu, Yanhui Li, Dazhou Kang
    Theory and Semantic Refinement of Bridge Ontology Based on Multi-Ontologies. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2004, pp:442-449 [Conf]
  54. Jixiang Jiang, Baowen Xu, Jianjiang Lu, Hongji Yang
    Local Nonnegative Matrix Factorization for Mining Typical User Session Profile. [Citation Graph (0, 0)][DBLP]
    ICWE, 2004, pp:558-562 [Conf]
  55. Lei Xu, Baowen Xu, Changhai Nie, Huowang Chen, Hongji Yang
    A Browser Compatibility Testing Method Based on Combinatorial Testing. [Citation Graph (0, 0)][DBLP]
    ICWE, 2003, pp:310-313 [Conf]
  56. Dazhou Kang, Peng Wang, Jianjiang Lu, Jixiang Jiang, Baowen Xu
    Logic-based Inference Detection in Querying XML Document. [Citation Graph (0, 0)][DBLP]
    IKE, 2005, pp:105-112 [Conf]
  57. Tong Li, Hongji Yang, Baowen Xu, Liang Shi
    An Approach to Decomposing Assertions into Java Codes. [Citation Graph (0, 0)][DBLP]
    IKE, 2005, pp:185-191 [Conf]
  58. Jianjiang Lu, Baowen Xu, William C. Chu, Hongji Yang
    Non-Negative Matrix for Mining Typical user Profiles Factorization. [Citation Graph (0, 0)][DBLP]
    IKE, 2003, pp:539-543 [Conf]
  59. Baowen Xu, Jixiang Jiang, Jianjiang Lu, Peng Wang
    Non-negative Matrix Factorization for Filtering Chinese and Oriental Language Document. [Citation Graph (0, 0)][DBLP]
    IKE, 2004, pp:192-196 [Conf]
  60. Baowen Xu, Jianjiang Lu, William C. Chu, Hongji Yang
    Classification Method for Interval Valued Relational Database. [Citation Graph (0, 0)][DBLP]
    IKE, 2003, pp:566-570 [Conf]
  61. Zhenqiang Chen, Baowen Xu, Hongji Yang
    Test Coverage Analysis Based on Program Slicing. [Citation Graph (0, 0)][DBLP]
    IRI, 2003, pp:559-565 [Conf]
  62. Dazhou Kang, Baowen Xu, Wenxian Zhang, Jianjiang Lu
    An Object-Extracting Approach Based on Non-negative Matrix Factorization. [Citation Graph (0, 0)][DBLP]
    IRI, 2004, pp:1-5 [Conf]
  63. Yuan Liu, Baowen Xu
    ACP model of Java multithreading. [Citation Graph (0, 0)][DBLP]
    IRI, 2003, pp:513-518 [Conf]
  64. Jianjiang Lu, Baowen Xu, Jixiang Jiang
    A prediction method of fuzzy association rules. [Citation Graph (0, 0)][DBLP]
    IRI, 2003, pp:98-103 [Conf]
  65. Baowen Xu, Dazhou Kang, Jianjiang Lu, Peng Wang, Yanhui Li
    Equivalent Individuals on the Semantic Web. [Citation Graph (0, 0)][DBLP]
    IRI, 2004, pp:253-258 [Conf]
  66. Baowen Xu, Jianjiang Lu, Gangshi Huang
    A constrained non-negative matrix factorization in information retrieva. [Citation Graph (0, 0)][DBLP]
    IRI, 2003, pp:273-277 [Conf]
  67. Jinguang Gu, Baowen Xu
    XML Based Semantic Query Mechanism on Grid. [Citation Graph (0, 0)][DBLP]
    ISPA Workshops, 2006, pp:532-541 [Conf]
  68. Peng Wang, Baowen Xu, Jianjiang Lu, Dazhou Kang, Yanhui Li
    Manage Distributed Ontologies on the Semantic Web. [Citation Graph (0, 0)][DBLP]
    ISPA, 2005, pp:1047-1054 [Conf]
  69. Lei Xu, Baowen Xu, Changhai Nie
    Testing and Fault Diagnosis for Web Application Compatibility Based on Combinatorial Method. [Citation Graph (0, 0)][DBLP]
    ISPA Workshops, 2005, pp:619-626 [Conf]
  70. Weifeng Zhang, Baowen Xu, Guoqiang Zhou
    User's Rough Set Based Fuzzy Interest Model in Mining WWW Cache. [Citation Graph (0, 0)][DBLP]
    ISPA Workshops, 2005, pp:657-665 [Conf]
  71. Dazhou Kang, Jianjiang Lu, Baowen Xu, Peng Wang, Yanhui Li
    A Framework of Checking Subsumption Relations Between Composite Concepts in Different Ontologies. [Citation Graph (0, 0)][DBLP]
    KES (1), 2005, pp:953-959 [Conf]
  72. Dazhou Kang, Baowen Xu, Jianjiang Lu, Yanhui Li
    A Fuzzy Extension of Description Logic ALC with Comparison Expressions. [Citation Graph (0, 0)][DBLP]
    KES (1), 2006, pp:647-654 [Conf]
  73. Yanhui Li, Baowen Xu, Jianjiang Lu, Dazhou Kang
    A Distributed and Fuzzy Extension of Description Logics. [Citation Graph (0, 0)][DBLP]
    KES (1), 2006, pp:655-662 [Conf]
  74. Yanhui Li, Baowen Xu, Jianjiang Lu, Dazhou Kang, Peng Wang
    Extended Fuzzy Description Logic ALCN. [Citation Graph (0, 0)][DBLP]
    KES (4), 2005, pp:896-902 [Conf]
  75. Baowen Xu, Dazhou Kang, Jianjiang Lu, Yanhui Li, Jixiang Jiang
    Mapping Fuzzy Concepts Between Fuzzy Ontologies. [Citation Graph (0, 0)][DBLP]
    KES (3), 2005, pp:199-205 [Conf]
  76. Yanhui Li, Jianjiang Lu, Baowen Xu, Dazhou Kang, Jixiang Jiang
    A Fuzzy Extension of Description Logic ALCH. [Citation Graph (0, 0)][DBLP]
    MICAI, 2005, pp:152-161 [Conf]
  77. Weifeng Li, Baowen Xu, Hongji Yang, William Cheng-Chung Chu, Chih-Wei Lu
    Application of Genetic Algorithm in Search Engine. [Citation Graph (0, 0)][DBLP]
    ISMSE, 2000, pp:366-371 [Conf]
  78. Baowen Xu, Weifeng Zhang, William Song, Hongji Yang, Chih-Hung Chang
    Application of Data Mining in Web Pre-Fetching. [Citation Graph (0, 0)][DBLP]
    ISMSE, 2000, pp:372-377 [Conf]
  79. Baowen Xu, Weifeng Zhang, Hongji Yang
    Mining Users' Two-Dimension Interests from Cache. [Citation Graph (0, 0)][DBLP]
    ISMSE, 2002, pp:188-0 [Conf]
  80. Dazhou Kang, Jianjiang Lu, Baowen Xu, Yanhui Li, Yanxiang He
    Two Reasoning Methods for Extended Fuzzy ALCH. [Citation Graph (0, 0)][DBLP]
    OTM Conferences (2), 2005, pp:1588-1595 [Conf]
  81. Dazhou Kang, Baowen Xu, Jianjiang Lu, Peng Wang, Yanhui Li
    Extracting Sub-ontology from Multiple Ontologies. [Citation Graph (0, 0)][DBLP]
    OTM Workshops, 2004, pp:731-740 [Conf]
  82. Peng Wang, Baowen Xu, Jianjiang Lu, Yanhui Li, Dazhou Kang
    Theory and Semi-automatic Generation of Bridge Ontology in Multi-ontologies Environment. [Citation Graph (0, 0)][DBLP]
    OTM Workshops, 2004, pp:763-767 [Conf]
  83. Changhai Nie, Baowen Xu, Ziyuan Wang, Liang Shi
    Generating Optimal Test Set for Neighbor Factors Combinatorial Testing. [Citation Graph (0, 0)][DBLP]
    QSIC, 2006, pp:259-265 [Conf]
  84. Yuming Zhou, Baowen Xu
    Measuring structural complexity for class diagrams: an information theory approach. [Citation Graph (0, 0)][DBLP]
    SAC, 2005, pp:1679-1683 [Conf]
  85. Zhenqiang Chen, Baowen Xu, Hongji Yang
    Detecting Dead Statements for Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    SCAM, 2001, pp:67-74 [Conf]
  86. Baowen Xu, Zhenqiang Chen, Hongji Yang
    Dynamic Slicing Object-Oriented Programs for Debugging. [Citation Graph (0, 0)][DBLP]
    SCAM, 2002, pp:115-122 [Conf]
  87. Zhenqiang Chen, Baowen Xu, William C. Chu, Hongji Yang, Jianjun Zhao
    Partial Slicing for Large Programs. [Citation Graph (0, 0)][DBLP]
    SEKE, 2003, pp:204-207 [Conf]
  88. Changhai Nie, Baowen Xu, Liang Shi, Ziyuan Wang
    A New Heuristic for Test Suite Generation for Pair-wise Testing. [Citation Graph (0, 0)][DBLP]
    SEKE, 2006, pp:517-521 [Conf]
  89. Chaohong Zhou, Baowen Xu, Tiallin Zhou, Liang Shi
    An Aspect Transformation Approach with Refactoring. [Citation Graph (0, 0)][DBLP]
    SEKE, 2005, pp:318-323 [Conf]
  90. Tong Li, Hongji Yang, Baowen Xu, Liang Shi
    An Approach to Transforming Parallel Function Specification into Java Program Framework. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2005, pp:517-523 [Conf]
  91. Junyan Qian, Baowen Xu
    Compositional Abstraction for Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2006, pp:399-404 [Conf]
  92. Baowen Xu, Changhai Nie, Liang Shi, William C. Chu, Hongji Yang, Huowang Chen
    Test Plan Design for Software Configuration Testing. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2003, pp:686-692 [Conf]
  93. Zhengqiang Chen, Baowen Xu, Huiming Yu
    Detecting concurrently executed pairs of statements using an adapted MHP algorithm. [Citation Graph (0, 0)][DBLP]
    SIGAda, 2001, pp:107-114 [Conf]
  94. Bangqing Li, Baowen Xu, Huiming Yu
    Transforming Ada Serving Tasks into Protected Objects. [Citation Graph (0, 0)][DBLP]
    SIGAda, 1998, pp:240-245 [Conf]
  95. Baowen Xu, Zhenqiang Chen, Jianjun Zhao
    Measuring cohesion of packages in Ada95. [Citation Graph (0, 0)][DBLP]
    SIGAda, 2003, pp:62-67 [Conf]
  96. Changhai Nie, Baowen Xu, Liang Shi, Guowei Dong
    Automatic Test Generation for N-Way Combinatorial Testing. [Citation Graph (0, 0)][DBLP]
    QoSA/SOQUA, 2005, pp:203-211 [Conf]
  97. Baowen Xu, Yingzhou Zhang, Yanhui Li
    Retrospect and Prospect of Formal Methods Education in China. [Citation Graph (0, 0)][DBLP]
    TFM, 2004, pp:225-234 [Conf]
  98. Jianjiang Lu, Baowen Xu, Hongji Yang
    Matrix Dimensionality Reduction for Mining Web Logs. [Citation Graph (0, 0)][DBLP]
    Web Intelligence, 2003, pp:405-408 [Conf]
  99. Weifeng Zhang, Baowen Xu, William Song, Hongji Yang, Kecheng Liu
    Data Mining Algorithms for Web Pre-Fetching. [Citation Graph (0, 0)][DBLP]
    WISE (2), 2000, pp:34-38 [Conf]
  100. Weifeng Zhang, Baowen Xu, Hongji Yang
    Development of a Self-Adaptive Web Search Engine. [Citation Graph (0, 0)][DBLP]
    WSE, 2001, pp:86-0 [Conf]
  101. Zhenqiang Chen, Baowen Xu, Hongji Yang, Jianjun Zhao
    Concurrent Ada dead statements detection. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2002, v:44, n:13, pp:733-741 [Journal]
  102. Jianmin Wang, Yuming Zhou, Lijie Wen, Yujian Chen, Hongmin Lu, Baowen Xu
    DMC: a more precise cohesion measure for classes. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2005, v:47, n:3, pp:167-180 [Journal]
  103. Baowen Xu, Yuming Zhou, Hongmin Lu
    An improved accuracy measure for rough sets. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2005, v:71, n:2, pp:163-173 [Journal]
  104. Baowen Xu, Yuming Zhou
    Extracting Objects from Ada83 Programs: A Case Study. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2001, v:16, n:6, pp:574-581 [Journal]
  105. Baowen Xu
    Tagged Semaphores. [Citation Graph (0, 0)][DBLP]
    Operating Systems Review, 2000, v:34, n:3, pp:11-15 [Journal]
  106. Baowen Xu
    On Subprograms With A Variable Number Of Parameters Of Varying Types. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1993, v:28, n:2, pp:14-20 [Journal]
  107. Baowen Xu
    CRL/Pascal: A Pascal-oriented Cross Reference Language And Its Applications. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1993, v:28, n:4, pp:49-54 [Journal]
  108. Baowen Xu
    PIDL / Pascal: A Pascal-oriented Program Interface Description Language And Its Applications. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1993, v:28, n:5, pp:53-62 [Journal]
  109. Baowen Xu
    Comments On Several Syntax Rules in Ada95. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1998, v:33, n:2, pp:65-67 [Journal]
  110. Zhengqiang Chen, Baowen Xu
    Slicing Object-Oriented Java Programs. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2001, v:36, n:4, pp:33-40 [Journal]
  111. Zhengqiang Chen, Baowen Xu
    Slicing Concurrent Java Programs. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2001, v:36, n:4, pp:41-47 [Journal]
  112. Zhenqiang Chen, Baowen Xu, Jianjun Zhao
    An overview of methods for dependence analysis of concurrent programs. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2002, v:37, n:8, pp:45-52 [Journal]
  113. Guilan Dai, Baowen Xu
    An Ada-based Object-Oriented Modeling Language. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1999, v:34, n:12, pp:47-56 [Journal]
  114. Guilan Dai, Baowen Xu
    A Comparison of Real/time Object-Oriented Modeling Methods ROOM and OCTOPUS. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1999, v:34, n:12, pp:67-71 [Journal]
  115. Shujuan Jiang, Baowen Xu
    An efficient and reliable object-oriented exception handling mechanism. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2005, v:40, n:2, pp:27-32 [Journal]
  116. Yuan Liu, Baowen Xu
    Process algebra model of Ada protected objects. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2004, v:39, n:2, pp:34-39 [Journal]
  117. Hongmin Lu, Yuming Zhou, Jiangtao Lu, Baowen Xu
    A compile-time optimization framework for Ada rendezvous. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2004, v:39, n:2, pp:18-25 [Journal]
  118. Baowen Xu, Zhenqiang Chen
    Dependence Analysis for Recursive Java Programs. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2001, v:36, n:12, pp:70-76 [Journal]
  119. Shujuan Jiang, Baowen Xu, Liang Shi
    An approach to analyzing recursive programs with exception handling constructs. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2006, v:41, n:4, pp:30-35 [Journal]
  120. Yingzhou Zhang, Baowen Xu
    A survey of semantic description frameworks for programming languages. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2004, v:39, n:3, pp:14-30 [Journal]
  121. Jianjun Zhao, Hongji Yang, Liming Xiang, Baowen Xu
    Change impact analysis to support architectural evolution. [Citation Graph (0, 0)][DBLP]
    Journal of Software Maintenance, 2002, v:14, n:5, pp:317-333 [Journal]
  122. Baowen Xu, Yuming Zhou
    Comments on A cohesion measure for object-oriented classes by Heung Seok Chae, Yong Rae Kwon and Doo Hwan Bae. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2001, v:31, n:14, pp:1381-1388 [Journal]
  123. Baowen Xu, Yuming Zhou
    More comments on 'A cohesion measure for object-oriented classes' by Heung-Seok Chae, Yong-Rae Kwon and Doo-Hwan Bae. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2003, v:33, n:6, pp:583-588 [Journal]
  124. Bo Qu, Changhai Nie, Baowen Xu, Xiaofang Zhang
    Test Case Prioritization for Black Box Testing. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2007, pp:465-474 [Conf]
  125. Zhenyu Chen, Baowen Xu, Changhai Nie
    Comparing Fault-based Testing Strategies of General Boolean Specifications. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2007, pp:621-622 [Conf]
  126. Dazhou Kang, Baowen Xu, Jianjiang Lu, Yanhui Li
    Reasoning for Fuzzy Description Logic with Comparison Expressions. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2006, pp:- [Conf]
  127. Yanhui Li, Baowen Xu, Jianjiang Lu, Dazhou Kang
    Discrete Tableau Algorithms for FSHI. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2006, pp:- [Conf]
  128. Ju Qian, Baowen Xu, Hongbo Min
    Interstatement must aliases for data dependence analysis of heap locations. [Citation Graph (0, 0)][DBLP]
    PASTE, 2007, pp:17-24 [Conf]
  129. Bin Yang, Baowen Xu, Yajun Li
    An Incremental Approach for Attribute Reduction in Concept Lattice. [Citation Graph (0, 0)][DBLP]
    RSKT, 2007, pp:451-459 [Conf]
  130. Shujuan Jiang, Baowen Xu, Liang Shi
    An approach to analyzing exception propagation. [Citation Graph (0, 0)][DBLP]
    IASTED Conf. on Software Engineering and Applications, 2004, pp:300-305 [Conf]
  131. Yingzhou Zhang, Baowen Xu, Ju Qian
    Modular monadic slicing of concurrent programs. [Citation Graph (0, 0)][DBLP]
    IASTED Conf. on Software Engineering and Applications, 2004, pp:583-587 [Conf]
  132. Junyan Qian, Baowen Xu
    The compositional semantics of timed statecharts. [Citation Graph (0, 0)][DBLP]
    IASTED Conf. on Software Engineering and Applications, 2004, pp:345-349 [Conf]
  133. Zhenyu Chen, Zhihong Tao, Baowen Xu, Lifu Wang
    Implication-Based Approximating Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:350-363 [Conf]
  134. Junyan Qian, Baowen Xu
    Formal Verification for C Program. [Citation Graph (0, 0)][DBLP]
    Informatica, Lith. Acad. Sci., 2007, v:18, n:2, pp:289-304 [Journal]

  135. Contribution-Based Call Stack Abstraction and Its Application in Pointer Analysis of AspectJ Programs. [Citation Graph (, )][DBLP]


  136. An Effective Similarity Propagation Method for Matching Ontologies without Sufficient or Regular Linguistic Information. [Citation Graph (, )][DBLP]


  137. Combining MDE and UML to Reverse Engineer Web-Based Legacy Systems. [Citation Graph (, )][DBLP]


  138. A New Mutation Analysis Method for Testing Java Exception Handling. [Citation Graph (, )][DBLP]


  139. A Constraint Based Bug Checking Approach for Python. [Citation Graph (, )][DBLP]


  140. Verifying Programs Using Abstraction and Theorem Proving. [Citation Graph (, )][DBLP]


  141. Test Case Prioritization Based on Varying Testing Requirement Priorities and Test Case Costs. [Citation Graph (, )][DBLP]


  142. An Effective Iterative Metamorphic Testing Algorithm Based on Program Path Analysis. [Citation Graph (, )][DBLP]


  143. An Empirical Evaluation of Test Suite Reduction for Boolean Specification-Based Testing (Short Paper). [Citation Graph (, )][DBLP]


  144. Greedy Heuristic Algorithms to Generate Variable Strength Combinatorial Test Suite. [Citation Graph (, )][DBLP]


  145. Application of Metamorphic Testing to Supervised Classifiers. [Citation Graph (, )][DBLP]


  146. A detectability analysis of fault classes for Boolean specifications. [Citation Graph (, )][DBLP]


  147. Scenario oriented program slicing. [Citation Graph (, )][DBLP]


  148. A novel approach for test suite reduction based on requirement relation contraction. [Citation Graph (, )][DBLP]


  149. Improving Side-Effect Analysis with Lazy Access Path Resolving. [Citation Graph (, )][DBLP]


  150. A Degraded ILP Approach for Test Suite Reduction. [Citation Graph (, )][DBLP]


  151. A Dynamic Adjusting Method for Test Case Prioritization. [Citation Graph (, )][DBLP]


  152. A Novel Method of Mutation Clustering Based on Domain Analysis. [Citation Graph (, )][DBLP]


  153. LILY: the Results for the Ontology Alignment Contest OAEI 2007. [Citation Graph (, )][DBLP]


  154. Lily: Ontology Alignment Results for OAEI 2008. [Citation Graph (, )][DBLP]


  155. Lily: Ontology Alignment Results for OAEI 2009. [Citation Graph (, )][DBLP]


  156. Generating combinatorial test suite for interaction relationship. [Citation Graph (, )][DBLP]


  157. Web Page's Blocks Based Topical Crawler. [Citation Graph (, )][DBLP]


  158. Fast algorithm for 4-qubit reversible logic circuits synthesis. [Citation Graph (, )][DBLP]


  159. CLDA: Feature Selection for Text Categorization Based on Constrained LDA. [Citation Graph (, )][DBLP]


  160. Reasoning within the Extended Fuzzy Description Logics with Restricted Terminological Boxes. [Citation Graph (, )][DBLP]


  161. A Markov Decision Approach to Optimize Testing Profile in Software Testing. [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.912secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002