Zijiang Yang

Yan Tu, Zijiang Yang: An enhanced Customer Relationship Management classification framework with Partial Focus Feature Reduction. Expert Syst. Appl. 40(6): 2137-2146 (2013)

Jui-Pin Wang, Zijiang Yang, Duruo Huang: New pole-searching algorithm with applications to probabilistic circular slope stability assessment. Computers & Geosciences 51: 83-89 (2013)

Qinghua Zheng, Zhijiang Ou, Ting Liu, Zijiang Yang, Yuqiao Hou, Chao Zheng: Software structure evaluation based on the interaction and encapsulation of methods. SCIENCE CHINA Information Sciences 55(12): 2816-2825 (2012)

Jui-Pin Wang, Duruo Huang, Zijiang Yang: Deterministic seismic hazard map for Taiwan developed using an in-house Excel-based program. Computers & Geosciences 48: 111-116 (2012)

Yunlong Gao, Jinyan Pan, Guoli Ji, Zijiang Yang: A novel two-level nearest neighbor classification algorithm using an adaptive distance metric. Knowl.-Based Syst. 26: 103-110 (2012)

Mohamed Elwakil, Zijiang Yang: Deterministic replay for message-passing-based concurrent programs. ACM Trans. Design Autom. Electr. Syst. 17(3): 22 (2012)

Yunlong Gao, Guoli Ji, Zijiang Yang, Jinyan Pan: A Dynamic AdaBoost Algorithm With Adaptive Changes of Loss Function. IEEE Transactions on Systems, Man, and Cybernetics, Part C 42(6): 1828-1841 (2012)

Yan Tu, Zijiang Yang: Customer Relationship Management Using Partial Focus Feature Reduction. ICONIP (4) 2012: 27-35

Zijiang Yang, Wenjie You, Guoli Ji: Using partial least squares and support vector machines for bankruptcy prediction. Expert Syst. Appl. 38(7): 8336-8342 (2011)

Zijiang Yang, Shiyong Lu, Ping Yang, Fahima Amin Bhuyan: Model Checking Approach to Secure Host Access Enforcement of Mobile Tasks in Scientific Workflows. I. J. Comput. Appl. 18(3): 148-159 (2011)

Sun Zhou, Guoli Ji, Zijiang Yang, Wei Chen: Hybrid intelligent control scheme of a polymerization kettle for ACR production. Knowl.-Based Syst. 24(7): 1037-1047 (2011)

Qichang Chen, Liqiang Wang, Zijiang Yang: HEAT: a combined approach for thread escape analysis. Int. J. Systems Assurance Engineering and Management 2(2): 135-143 (2011)

Guoli Ji, Zijiang Yang, Wenjie You: PLS-Based Gene Selection and Identification of Tumor-Specific Genes. IEEE Transactions on Systems, Man, and Cybernetics, Part C 41(6): 830-841 (2011)

Dongyoon Lee, Mahmoud Said, Satish Narayanasamy, Zijiang Yang: Offline symbolic analysis to infer Total Store Order. HPCA 2011: 357-358

Qichang Chen, Liqiang Wang, Zijiang Yang: SAM: Self-adaptive Dynamic Analysis for Multithreaded Programs. Haifa Verification Conference 2011: 115-129

Yan Tu, Zijiang Yang, Younes Benslimane: Towards an optimal classification model against imbalanced data for Customer Relationship Management. ICNC 2011: 2401-2405

Zijiang Yang, Shouxin Cao, Bo Yan: Using linear discriminant analysis and data mining approaches to identify E-commerce anomaly. ICNC 2011: 2406-2410

Younes Benslimane, Zijiang Yang: Using methodologies to embed knowledge into the information systems development process: An investigation into the IT sector in China. IEEM 2011: 1073-1077

Bouchaib Bahli, Younes Benslimane, Zijiang Yang: The impact of absorptive capacity on the ex-post adoption of agile methods: The case of Extreme Programming model. IEEM 2011: 1660-1664

Mohamed Elwakil, Zijiang Yang: Deterministic replay for MCAPI programs. PADTAD 2011: 6-14

Mahmoud Said, Chao Wang, Zijiang Yang, Karem A. Sakallah: Generating Data Race Witnesses by an SMT-Based Analysis. NASA Formal Methods 2011: 313-327

Zijiang Yang, Xiaogang Wang, Dongming Sun: Using the bootstrap method to detect influential DMUs in data envelopment analysis. Annals OR 173(1): 89-103 (2010)

Leszek Lilien, Ajay K. Gupta, Zill-E-Huma Kamal, Zijiang Yang: Opportunistic resource utilization networks - A new paradigm for specialized ad hoc networks. Computers & Electrical Engineering 36(2): 328-340 (2010)

Ping Yang, Shiyong Lu, Mikhail I. Gofman, Zijiang Yang: Information flow analysis of scientific workflows. J. Comput. Syst. Sci. 76(6): 390-402 (2010)

Yunlong Liu, Guoli Ji, Zijiang Yang: Using Learned PSR Model for Planning under Uncertainty. Canadian Conference on AI 2010: 309-314

Mohamed Elwakil, Zijiang Yang, Liqiang Wang, Qichang Chen: Message Race Detection for Web Services by an SMT-Based Analysis. ATC 2010: 182-194

Mohamed Elwakil, Zijiang Yang, Liqiang Wang: CRI: Symbolic Debugger for MCAPI Applications. ATVA 2010: 353-358

Zijiang Yang, Karem A. Sakallah: Trace-Driven Verification of Multithreaded Programs. ICFEM 2010: 404-419

Zijiang Yang: Cross System Bank Branch Evaluation Using Clustering and Data Envelopment Analysis. ICIC (1) 2010: 238-245

Mohamed Elwakil, Zijiang Yang: Debugging support tool for MCAPI applications. PDATAD 2010: 20-25

Yonghui Xia, Zijiang Yang, Maoan Han: Lag Synchronization of Unknown Chaotic Delayed Yang-Yang-Type Fuzzy Neural Networks With Noise Perturbation Based on Adaptive Control and Parameter Identification. IEEE Transactions on Neural Networks 20(7): 1165-1180 (2009)

Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic: Model checking sequential software programs via mixed symbolic analysis. ACM Trans. Design Autom. Electr. Syst. 14(1) (2009)

Qichang Chen, Liqiang Wang, Zijiang Yang: HEAT: An Integrated Static and Dynamic Approach for Thread Escape Analysis. COMPSAC (1) 2009: 142-147

Qichang Chen, Liqiang Wang, Zijiang Yang, Scott D. Stoller: HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis. FASE 2009: 425-439

Guoli Ji, Congting Ye, Zijiang Yang, Zhenya Guo: A Novel Method for Progressive Multiple Sequence Alignment Based on Lempel-Ziv. ICONIP (1) 2009: 151-158

Zijiang Yang, Bashar Al-Rawi, Karem A. Sakallah, Xiaowan Huang, Scott A. Smolka, Radu Grosu: Dynamic Path Reduction for Software Model Checking. IFM 2009: 322-336

Dongyoon Lee, Mahmoud Said, Satish Narayanasamy, Zijiang Yang, Cristiano Pereira: Offline symbolic analysis for multi-processor execution replay. MICRO 2009: 564-575

Aleksandr Zaks, Zijiang Yang, Ilya Shlyakhter, Franjo Ivancic, Srihari Cadambi, Malay K. Ganai, Aarti Gupta, Pranav Ashar: Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking. IEEE Trans. on CAD of Integrated Circuits and Systems 27(8): 1513-1517 (2008)

Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Pranav Ashar: Efficient SAT-based bounded model checking for software verification. Theor. Comput. Sci. 404(3): 256-274 (2008)

Zijiang Yang, Guojun Gan: Application of Fuzzy Classification in Bankruptcy Prediction. ICIC (1) 2008: 921-928

Chao Wang, Zijiang Yang, Vineet Kahlon, Aarti Gupta: Peephole Partial Order Reduction. TACAS 2008: 382-396

Desheng Wu, Zijiang Yang, Sandra Vela, Liang Liang: Simultaneous analysis of production and investment performance of Canadian life and health insurance companies using data envelopment analysis. Computers & OR 34(1): 180-198 (2007)

Younes Benslimane, Zijiang Yang: Linking commercial website functions to perceived usefulness: A free disposal hull approach. Mathematical and Computer Modelling 46(9-10): 1191-1202 (2007)

Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta: Disjunctive image computation for software verification. ACM Trans. Design Autom. Electr. Syst. 12(2) (2007)

Zijiang Yang, Shiyong Lu, Ping Yang: Itinerary-Based Access Control for Mobile Tasks in Scientific Workflows. AINA Workshops (2) 2007: 506-511

Chao Wang, Zijiang Yang, Aarti Gupta, Franjo Ivancic: Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra. CAV 2007: 352-365

Zille Huma Kamal, Ajay K. Gupta, Leszek Lilien, Zijiang Yang: The MicroOppnet tool for Collaborative Computing experiments with class 2 opportunistic networks. CollaborateCom 2007: 150-159

Ping Yang, Zijiang Yang, Shiyong Lu: Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Machines. eScience 2007: 619-626

Leszek Lilien, Ajay K. Gupta, Zijiang Yang: Opportunistic Networks for Emergency Applications and Their Standard Implementation Framework. IPCCC 2007: 588-593

Desheng Wu, Zijiang Yang, Liang Liang: Efficiency analysis of cross-region bank branches using fuzzy data envelopment analysis. Applied Mathematics and Computation 181(1): 271-281 (2006)

Manuel Muñiz, Joseph C. Paradi, John Ruggiero, Zijiang Yang: Evaluating alternative DEA models used to control for non-discretionary inputs. Computers & OR 33: 1173-1183 (2006)

Supratik Mukhopadhyay, Abhik Roychoudhury, Zijiang Yang: Preface. Electr. Notes Theor. Comput. Sci. 157(1): 1 (2006)

Desheng Wu, Zijiang Yang, Liang Liang: Using DEA-neural network approach to evaluate branch efficiency of a large Canadian bank. Expert Syst. Appl. 31(1): 108-115 (2006)

Zijiang Yang: A two-stage DEA model to evaluate the overall performance of Canadian life and health insurance companies. Mathematical and Computer Modelling 43(7-8): 910-919 (2006)

Malay K. Ganai, Aarti Gupta, Zijiang Yang, Pranav Ashar: Efficient distributed SAT and SAT-based distributed Bounded Model Checking. STTT 8(4-5): 387-396 (2006)

Yi Lu, Shiyong Lu, Farshad Fotouhi, Yan Sun, Zijiang Yang, Lily R. Liang: PDC: Pattern discovery with confidence in DNA sequences. ACST 2006: 345-350

Guojun Gan, Jianhong Wu, Zijiang Yang: A Fuzzy Subspace Algorithm for Clustering High Dimensional Data. ADMA 2006: 271-278

Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta: Whodunit? Causal Analysis for Counterexamples. ATVA 2006: 82-95

Zijiang Yang, Shiyong Lu, Ping Yang: Runtime Security Verification for Itinerary-Driven Mobile Agents. DASC 2006: 177-186

Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta: Disjunctive image computation for embedded software verification. DATE 2006: 1205-1210

Zijiang Yang, Joseph C. Paradi: Cross Firm Bank Branch Benchmarking Using "Handicapped" Data Envelopment Analysis to Adjust for Corporate Strategic Effects. HICSS 2006

Guojun Gan, Jianhong Wu, Zijiang Yang: PARTCAT: A Subspace Clustering Algorithm for High Dimensional Categorical Data. IJCNN 2006: 4406-4412

Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic: Mixed symbolic representations for model checking software programs. MEMOCODE 2006: 17-26

Guojun Gan, Zijiang Yang, Jianhong Wu: A Genetic k-Modes Algorithm for Clustering Categorical Data. ADMA 2005: 195-202

Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Ilya Shlyakhter, Pranav Ashar: F-Soft: Software Verification Platform. CAV 2005: 301-306

Zijiang Yang, Rajeev Alur: Variable Reuse for Efficient Image Computation. FMCAD 2004: 430-444

Wuwei Shen, Mohsen Guizani, Zijiang Yang, Kevin J. Compton, James Huggins: Execution of A Requirement Model in Software Development. IASSE 2004: 203-208

Pranav Ashar, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Zijiang Yang: Efficient SAT-based Bounded Model Checking for Software Verification. ISoLA (Preliminary proceedings) 2004: 157-164

Aarti Gupta, Malay K. Ganai, Chao Wang, Zijiang Yang, Pranav Ashar: Abstraction and BDDs Complement SAT-Based BMC in DiVer. CAV 2003: 206-209

Malay K. Ganai, Aarti Gupta, Zijiang Yang, Pranav Ashar: Efficient Distributed SAT and SAT-Based Distributed Bounded Model Checking. CHARME 2003: 334-347

Aarti Gupta, Malay K. Ganai, Chao Wang, Zijiang Yang, Pranav Ashar: Learning from BDDs in SAT-based bounded model checking. DAC 2003: 824-829

Aarti Gupta, Malay K. Ganai, Zijiang Yang, Pranav Ashar: Iterative Abstraction using SAT-based BMC with Proof Analysis. ICCAD 2003: 416-423

Rajeev Alur, Michael McDougall, Zijiang Yang: Exploiting Behavioral Hierarchy for Efficient Model Checking. CAV 2002: 338-342

Aarti Gupta, Anubhav Gupta, Zijiang Yang, Pranav Ashar: Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation. DAC 2001: 536-541

Aarti Gupta, Zijiang Yang, Pranav Ashar, Lintao Zhang, Sharad Malik: Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs. ICCAD 2001: 286-292

Kathi Fisler, Ranan Fraer, Gila Kamhi, Moshe Y. Vardi, Zijiang Yang: Is There a Best Symbolic Cycle-Detection Algorithm? TACAS 2001: 420-434

Aarti Gupta, Zijiang Yang, Pranav Ashar, Anubhav Gupta: SAT-Based Image Computation with Application in Reachability Analysis. FMCAD 2000: 354-371