The SCEAS System
Navigation Menu

Search the dblp DataBase


Zijiang Yang: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Guojun Gan, Jianhong Wu, Zijiang Yang
    A Fuzzy Subspace Algorithm for Clustering High Dimensional Data. [Citation Graph (0, 0)][DBLP]
    ADMA, 2006, pp:271-278 [Conf]
  2. Guojun Gan, Zijiang Yang, Jianhong Wu
    A Genetic k-Modes Algorithm for Clustering Categorical Data. [Citation Graph (0, 0)][DBLP]
    ADMA, 2005, pp:195-202 [Conf]
  3. Zijiang Yang, Shiyong Lu, Ping Yang
    Itinerary-Based Access Control for Mobile Tasks in Scientific Workflows. [Citation Graph (0, 0)][DBLP]
    AINA Workshops (2), 2007, pp:506-511 [Conf]
  4. Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta
    Whodunit? Causal Analysis for Counterexamples. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:82-95 [Conf]
  5. Rajeev Alur, Michael McDougall, Zijiang Yang
    Exploiting Behavioral Hierarchy for Efficient Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:338-342 [Conf]
  6. Aarti Gupta, Malay K. Ganai, Chao Wang, Zijiang Yang, Pranav Ashar
    Abstraction and BDDs Complement SAT-Based BMC in DiVer. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:206-209 [Conf]
  7. Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Ilya Shlyakhter, Pranav Ashar
    F-Soft: Software Verification Platform. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:301-306 [Conf]
  8. Malay K. Ganai, Aarti Gupta, Zijiang Yang, Pranav Ashar
    Efficient Distributed SAT and SAT-Based Distributed Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:334-347 [Conf]
  9. Aarti Gupta, Malay K. Ganai, Chao Wang, Zijiang Yang, Pranav Ashar
    Learning from BDDs in SAT-based bounded model checking. [Citation Graph (0, 0)][DBLP]
    DAC, 2003, pp:824-829 [Conf]
  10. Aarti Gupta, Anubhav Gupta, Zijiang Yang, Pranav Ashar
    Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation. [Citation Graph (0, 0)][DBLP]
    DAC, 2001, pp:536-541 [Conf]
  11. Zijiang Yang, Shiyong Lu, Ping Yang
    Runtime Security Verification for Itinerary-Driven Mobile Agents. [Citation Graph (0, 0)][DBLP]
    DASC, 2006, pp:177-186 [Conf]
  12. Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta
    Disjunctive image computation for embedded software verification. [Citation Graph (0, 0)][DBLP]
    DATE, 2006, pp:1205-1210 [Conf]
  13. Aarti Gupta, Zijiang Yang, Pranav Ashar, Anubhav Gupta
    SAT-Based Image Computation with Application in Reachability Analysis. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2000, pp:354-371 [Conf]
  14. Zijiang Yang, Rajeev Alur
    Variable Reuse for Efficient Image Computation. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2004, pp:430-444 [Conf]
  15. Zijiang Yang, Joseph C. Paradi
    Cross Firm Bank Branch Benchmarking Using "Handicapped" Data Envelopment Analysis to Adjust for Corporate Strategic Effects. [Citation Graph (0, 0)][DBLP]
    HICSS, 2006, pp:- [Conf]
  16. Wuwei Shen, Mohsen Guizani, Zijiang Yang, Kevin J. Compton, James Huggins
    Execution of A Requirement Model in Software Development. [Citation Graph (0, 0)][DBLP]
    IASSE, 2004, pp:203-208 [Conf]
  17. Aarti Gupta, Malay K. Ganai, Zijiang Yang, Pranav Ashar
    Iterative Abstraction using SAT-based BMC with Proof Analysis. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2003, pp:416-423 [Conf]
  18. Aarti Gupta, Zijiang Yang, Pranav Ashar, Lintao Zhang, Sharad Malik
    Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2001, pp:286-292 [Conf]
  19. Kathi Fisler, Ranan Fraer, Gila Kamhi, Moshe Y. Vardi, Zijiang Yang
    Is There a Best Symbolic Cycle-Detection Algorithm? [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:420-434 [Conf]
  20. Yi Lu, Shiyong Lu, Farshad Fotouhi, Yan Sun, Zijiang Yang, Lily R. Liang
    PDC: Pattern discovery with confidence in DNA sequences. [Citation Graph (0, 0)][DBLP]
    ACST, 2006, pp:345-350 [Conf]
  21. Manuel Muñiz, Joseph C. Paradi, John Ruggiero, Zijiang Yang
    Evaluating alternative DEA models used to control for non-discretionary inputs. [Citation Graph (0, 0)][DBLP]
    Computers & OR, 2006, v:33, n:, pp:1173-1183 [Journal]
  22. 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. [Citation Graph (0, 0)][DBLP]
    Computers & OR, 2007, v:34, n:1, pp:180-198 [Journal]
  23. Supratik Mukhopadhyay, Abhik Roychoudhury, Zijiang Yang
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:157, n:1, pp:1- [Journal]
  24. Desheng Wu, Zijiang Yang, Liang Liang
    Using DEA-neural network approach to evaluate branch efficiency of a large Canadian bank. [Citation Graph (0, 0)][DBLP]
    Expert Syst. Appl., 2006, v:31, n:1, pp:108-115 [Journal]
  25. Malay K. Ganai, Aarti Gupta, Zijiang Yang, Pranav Ashar
    Efficient distributed SAT and SAT-based distributed Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:4-5, pp:387-396 [Journal]
  26. Desheng Wu, Zijiang Yang, Liang Liang
    Efficiency analysis of cross-region bank branches using fuzzy data envelopment analysis. [Citation Graph (0, 0)][DBLP]
    Applied Mathematics and Computation, 2006, v:181, n:1, pp:271-281 [Journal]
  27. Chao Wang, Zijiang Yang, Aarti Gupta, Franjo Ivancic
    Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:352-365 [Conf]
  28. Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic
    Mixed symbolic representations for model checking software programs. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2006, pp:17-26 [Conf]
  29. Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta
    Disjunctive image computation for software verification. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Design Autom. Electr. Syst., 2007, v:12, n:2, pp:- [Journal]

  30. Using Learned PSR Model for Planning under Uncertainty. [Citation Graph (, )][DBLP]

  31. CRI: Symbolic Debugger for MCAPI Applications. [Citation Graph (, )][DBLP]

  32. HEAT: An Integrated Static and Dynamic Approach for Thread Escape Analysis. [Citation Graph (, )][DBLP]

  33. Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Machines. [Citation Graph (, )][DBLP]

  34. HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis. [Citation Graph (, )][DBLP]

  35. Application of Fuzzy Classification in Bankruptcy Prediction. [Citation Graph (, )][DBLP]

  36. Cross System Bank Branch Evaluation Using Clustering and Data Envelopment Analysis. [Citation Graph (, )][DBLP]

  37. A Novel Method for Progressive Multiple Sequence Alignment Based on Lempel-Ziv. [Citation Graph (, )][DBLP]

  38. Dynamic Path Reduction for Software Model Checking. [Citation Graph (, )][DBLP]

  39. PARTCAT: A Subspace Clustering Algorithm for High Dimensional Categorical Data. [Citation Graph (, )][DBLP]

  40. Efficient SAT-based Bounded Model Checking for Software Verification. [Citation Graph (, )][DBLP]

  41. Offline symbolic analysis for multi-processor execution replay. [Citation Graph (, )][DBLP]

  42. Peephole Partial Order Reduction. [Citation Graph (, )][DBLP]

  43. The MicroOppnet tool for Collaborative Computing experiments with class 2 opportunistic networks. [Citation Graph (, )][DBLP]

  44. Opportunistic Networks for Emergency Applications and Their Standard Implementation Framework. [Citation Graph (, )][DBLP]

Search in 0.066secs, Finished in 0.070secs
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