| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yunlong Gao, Jinyan Pan, Guoli Ji, Zijiang Yang |
A novel two-level nearest neighbor classification algorithm using an adaptive distance metric.  |
Knowl.-Based Syst.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Zijiang Yang, Wenjie You, Guoli Ji |
Using partial least squares and support vector machines for bankruptcy prediction. |
Expert Syst. Appl. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sun Zhou, Guoli Ji, Zijiang Yang, Wei Chen |
Hybrid intelligent control scheme of a polymerization kettle for ACR production. |
Knowl.-Based Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Qichang Chen, Liqiang Wang, Zijiang Yang |
HEAT: a combined approach for thread escape analysis. |
Int. J. Systems Assurance Engineering and Management |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Elwakil, Zijiang Yang |
Deterministic replay for MCAPI programs. |
PADTAD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zijiang Yang, Shouxin Cao, Bo Yan |
Using linear discriminant analysis and data mining approaches to identify E-commerce anomaly. |
ICNC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Tu, Zijiang Yang, Younes Benslimane |
Towards an optimal classification model against imbalanced data for Customer Relationship Management. |
ICNC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahmoud Said, Chao Wang, Zijiang Yang, Karem A. Sakallah |
Generating Data Race Witnesses by an SMT-Based Analysis. |
NASA Formal Methods |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Dongyoon Lee, Mahmoud Said, Satish Narayanasamy, Zijiang Yang |
Offline symbolic analysis to infer Total Store Order. |
HPCA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zijiang Yang, Xiaogang Wang, Dongming Sun |
Using the bootstrap method to detect influential DMUs in data envelopment analysis. |
Annals OR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ping Yang, Shiyong Lu, Mikhail I. Gofman, Zijiang Yang |
Information flow analysis of scientific workflows. |
J. Comput. Syst. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zijiang Yang, Karem A. Sakallah |
Trace-Driven Verification of Multithreaded Programs. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zijiang Yang |
Cross System Bank Branch Evaluation Using Clustering and Data Envelopment Analysis. |
ICIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Elwakil, Zijiang Yang |
Debugging support tool for MCAPI applications. |
PDATAD |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Elwakil, Zijiang Yang, Liqiang Wang |
CRI: Symbolic Debugger for MCAPI Applications. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Elwakil, Zijiang Yang, Liqiang Wang, Qichang Chen |
Message Race Detection for Web Services by an SMT-Based Analysis. |
ATC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunlong Liu, Guoli Ji, Zijiang Yang |
Using Learned PSR Model for Planning under Uncertainty. |
Canadian Conference on AI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic |
Model checking sequential software programs via mixed symbolic analysis. |
ACM Trans. Design Autom. Electr. Syst. |
2009 |
DBLP DOI BibTeX RDF |
composite symbolic formula, Model checking, binary decision diagram, reachability analysis, presburger arithmetic, image computation |
| 1 | Dongyoon Lee, Mahmoud Said, Satish Narayanasamy, Zijiang Yang, Cristiano Pereira |
Offline symbolic analysis for multi-processor execution replay. |
MICRO |
2009 |
DBLP DOI BibTeX RDF |
multi-processor replay, shared-memory dependencies, SMT solver |
| 1 | Qichang Chen, Liqiang Wang, Zijiang Yang |
HEAT: An Integrated Static and Dynamic Approach for Thread Escape Analysis. |
COMPSAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zijiang Yang, Bashar Al-Rawi, Karem A. Sakallah, Xiaowan Huang, Scott A. Smolka, Radu Grosu |
Dynamic Path Reduction for Software Model Checking. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Qichang Chen, Liqiang Wang, Zijiang Yang, Scott D. Stoller |
HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Guoli Ji, Congting Ye, Zijiang Yang, Zhenya Guo |
A Novel Method for Progressive Multiple Sequence Alignment Based on Lempel-Ziv. |
ICONIP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Pranav Ashar |
Efficient SAT-based bounded model checking for software verification. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zijiang Yang, Guojun Gan |
Application of Fuzzy Classification in Bankruptcy Prediction. |
ICIC |
2008 |
DBLP DOI BibTeX RDF |
Fuzzy subspace clustering, Data mining, Classification, Bankruptcy prediction |
| 1 | Chao Wang, Zijiang Yang, Vineet Kahlon, Aarti Gupta |
Peephole Partial Order Reduction. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Younes Benslimane, Zijiang Yang |
Linking commercial website functions to perceived usefulness: A free disposal hull approach. |
Mathematical and Computer Modelling |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta |
Disjunctive image computation for software verification. |
ACM Trans. Design Autom. Electr. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Model checking, formal verification, binary decision diagram, reachability analysis, image computation |
| 1 | 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 |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Leszek Lilien, Ajay K. Gupta, Zijiang Yang |
Opportunistic Networks for Emergency Applications and Their Standard Implementation Framework. |
IPCCC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ping Yang, Zijiang Yang, Shiyong Lu |
Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Machines. |
eScience |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Zijiang Yang, Shiyong Lu, Ping Yang |
Itinerary-Based Access Control for Mobile Tasks in Scientific Workflows. |
AINA Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Zille Huma Kamal, Ajay K. Gupta, Leszek Lilien, Zijiang Yang |
The MicroOppnet tool for Collaborative Computing experiments with class 2 opportunistic networks. |
CollaborateCom |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Chao Wang, Zijiang Yang, Aarti Gupta, Franjo Ivancic |
Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Zijiang Yang |
A two-stage DEA model to evaluate the overall performance of Canadian life and health insurance companies. |
Mathematical and Computer Modelling |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Desheng Wu, Zijiang Yang, Liang Liang |
Using DEA-neural network approach to evaluate branch efficiency of a large Canadian bank. |
Expert Syst. Appl. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Supratik Mukhopadhyay, Abhik Roychoudhury, Zijiang Yang |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Muñiz, Joseph C. Paradi, John Ruggiero, Zijiang Yang |
Evaluating alternative DEA models used to control for non-discretionary inputs. |
Computers & OR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Desheng Wu, Zijiang Yang, Liang Liang |
Efficiency analysis of cross-region bank branches using fuzzy data envelopment analysis. |
Applied Mathematics and Computation |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Malay K. Ganai, Aarti Gupta, Zijiang Yang, Pranav Ashar |
Efficient distributed SAT and SAT-based distributed Bounded Model Checking. |
STTT |
2006 |
DBLP DOI BibTeX RDF |
Distributed-SAT, Parallel SAT, Model Checking, Formal Verification, SAT, BMC |
| 1 | Zijiang Yang, Shiyong Lu, Ping Yang |
Runtime Security Verification for Itinerary-Driven Mobile Agents. |
DASC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic |
Mixed symbolic representations for model checking software programs. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta |
Whodunit? Causal Analysis for Counterexamples. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Zijiang Yang, Joseph C. Paradi |
Cross Firm Bank Branch Benchmarking Using "Handicapped" Data Envelopment Analysis to Adjust for Corporate Strategic Effects. |
HICSS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Lu, Shiyong Lu, Farshad Fotouhi, Yan Sun, Zijiang Yang, Lily R. Liang |
PDC: Pattern discovery with confidence in DNA sequences. |
ACST |
2006 |
DBLP BibTeX RDF |
|
| 1 | Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta |
Disjunctive image computation for embedded software verification. |
DATE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Guojun Gan, Jianhong Wu, Zijiang Yang |
PARTCAT: A Subspace Clustering Algorithm for High Dimensional Categorical Data. |
IJCNN |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Guojun Gan, Jianhong Wu, Zijiang Yang |
A Fuzzy Subspace Algorithm for Clustering High Dimensional Data. |
ADMA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Ilya Shlyakhter, Pranav Ashar |
F-Soft: Software Verification Platform. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Guojun Gan, Zijiang Yang, Jianhong Wu |
A Genetic k-Modes Algorithm for Clustering Categorical Data. |
ADMA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wuwei Shen, Mohsen Guizani, Zijiang Yang, Kevin J. Compton, James Huggins |
Execution of A Requirement Model in Software Development. |
IASSE |
2004 |
DBLP BibTeX RDF |
|
| 1 | Zijiang Yang, Rajeev Alur |
Variable Reuse for Efficient Image Computation. |
FMCAD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Pranav Ashar, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Zijiang Yang |
Efficient SAT-based Bounded Model Checking for Software Verification. |
ISoLA (Preliminary proceedings) |
2004 |
DBLP BibTeX RDF |
|
| 1 | Aarti Gupta, Malay K. Ganai, Chao Wang, Zijiang Yang, Pranav Ashar |
Learning from BDDs in SAT-based bounded model checking. |
DAC |
2003 |
DBLP DOI BibTeX RDF |
BDD learning, learning, SAT, BDDs, bounded model checking, boolean satisfiability, SAT solvers, property checking |
| 1 | Malay K. Ganai, Aarti Gupta, Zijiang Yang, Pranav Ashar |
Efficient Distributed SAT and SAT-Based Distributed Bounded Model Checking. |
CHARME |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Aarti Gupta, Malay K. Ganai, Chao Wang, Zijiang Yang, Pranav Ashar |
Abstraction and BDDs Complement SAT-Based BMC in DiVer. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Aarti Gupta, Malay K. Ganai, Zijiang Yang, Pranav Ashar |
Iterative Abstraction using SAT-based BMC with Proof Analysis. |
ICCAD |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Michael McDougall, Zijiang Yang |
Exploiting Behavioral Hierarchy for Efficient Model Checking. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Kathi Fisler, Ranan Fraer, Gila Kamhi, Moshe Y. Vardi, Zijiang Yang |
Is There a Best Symbolic Cycle-Detection Algorithm? |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Aarti Gupta, Anubhav Gupta, Zijiang Yang, Pranav Ashar |
Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation. |
DAC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Aarti Gupta, Zijiang Yang, Pranav Ashar, Lintao Zhang, Sharad Malik |
Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs. |
ICCAD |
2001 |
DBLP BibTeX RDF |
|
| 1 | Aarti Gupta, Zijiang Yang, Pranav Ashar, Anubhav Gupta |
SAT-Based Image Computation with Application in Reachability Analysis. |
FMCAD |
2000 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")