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