The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gaoyan Xie: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gaoyan Xie, Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro
    Dense Counter Machines and Verification Problems. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:93-105 [Conf]
  2. Gaoyan Xie, Zhe Dang
    Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach. [Citation Graph (0, 0)][DBLP]
    FATES, 2005, pp:170-186 [Conf]
  3. Gaoyan Xie, Zhe Dang
    An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components. [Citation Graph (0, 0)][DBLP]
    FATES, 2004, pp:155-169 [Conf]
  4. Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro, Gaoyan Xie
    Real-Counter Automata and Their Decision Problems. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2004, pp:198-210 [Conf]
  5. Gaoyan Xie, Zhe Dang, Oscar H. Ibarra
    A Solvable Class of Quadratic Diophantine Equations with Applications to Verification of Infinite-State Systems. [Citation Graph (0, 0)][DBLP]
    ICALP, 2003, pp:668-680 [Conf]
  6. Gaoyan Xie
    Decompositional Verification of Component-based Systems-A Hybrid Approach. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:414-417 [Conf]
  7. Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie
    On Model-Checking of P Systems. [Citation Graph (0, 0)][DBLP]
    UC, 2005, pp:82-93 [Conf]
  8. Gaoyan Xie, Cheng Li, Zhe Dang
    New Complexity Results for Some Linear Counting Problems Using Minimal Solutions to Linear Diophantine Equations. [Citation Graph (0, 0)][DBLP]
    CIAA, 2003, pp:163-175 [Conf]
  9. Gaoyan Xie, Cheng Li, Zhe Dang
    Testability of Oracle Automata. [Citation Graph (0, 0)][DBLP]
    CIAA, 2004, pp:331-332 [Conf]
  10. Yu Li, YongSen Xu, Gaoyan Xie, Zhiyuan Zhan
    Strategies and Techniques of Freeze/Melt. [Citation Graph (0, 0)][DBLP]
    TOOLS (31), 1999, pp:98-107 [Conf]
  11. Gaoyan Xie, Zhe Dang
    Model-checking Driven Black-box Testing Algorithms for Systems with Unspecified Components [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  12. Yu Li, Gaoyan Xie, YongSen Xu, Yi Yang
    The Security Problem of Nested Classes. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2000, v:35, n:3, pp:34-38 [Journal]
  13. Gaoyan Xie, YongSen Xu, Yu Li, Qian Li
    Codebugger - A Software Tools for Cooperative Debugging. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2000, v:35, n:2, pp:54-60 [Journal]
  14. Frederick T. Sheldon, Gaoyan Xie, Orest Pilskalns, Zhihe Zhou
    A Review of Some Rigorous Software Design and Analysis Tools. [Citation Graph (0, 0)][DBLP]
    Software Focus, 2001, v:2, n:4, pp:140-150 [Journal]
  15. Gaoyan Xie, Zhe Dang
    Testing Systems of Concurrent Black-boxes - an Automata-Theoretic and Decompositional Approach [Citation Graph (0, 0)][DBLP]
    CoRR, 2005, v:0, n:, pp:- [Journal]

Search in 0.032secs, Finished in 0.033secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002