The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

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

Publications of Author

  1. Olivier Danvy, Zhe Yang
    An Operational Investigation of the CPS Hierarchy. [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:224-242 [Conf]
  2. Xiangfeng Luo, Ning Fang, Zhe Yang, Huizhe Xiao, Weimin Xu
    Scientific Text Topics Discovery for e-science Semantic Grid Environment. [Citation Graph (0, 0)][DBLP]
    GCC, 2006, pp:440-447 [Conf]
  3. Zhe Yang
    Encoding Types in ML-Like Languages. [Citation Graph (0, 0)][DBLP]
    ICFP, 1998, pp:289-300 [Conf]
  4. Brian Hackett, Manuvir Das, Daniel Wang, Zhe Yang
    Modular checking for buffer overflows in the large. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:232-241 [Conf]
  5. Nurit Dor, Stephen Adams, Manuvir Das, Zhe Yang
    Software validation via scalable path-sensitive value flow analysis. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2004, pp:12-22 [Conf]
  6. Bernd Grobauer, Zhe Yang
    The Second Futamura Projection for Type-Directed Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    PEPM, 2000, pp:22-32 [Conf]
  7. Robert Paige, Zhe Yang
    High Level Reading and Data Structure Compilation. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:456-469 [Conf]
  8. Roman Manevich, Manu Sridharan, Stephen Adams, Manuvir Das, Zhe Yang
    PSE: explaining program failures via postmortem static analysis. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2004, pp:63-72 [Conf]
  9. Bernd Grobauer, Zhe Yang
    The Second Futamura Projection for Type-Directed Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2001, v:14, n:2-3, pp:173-219 [Journal]
  10. Zhe Yang
    Encoding types in ML-like languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:315, n:1, pp:151-190 [Journal]

  11. Active Analysis of BT with a Modified Azureus Client. [Citation Graph (, )][DBLP]


  12. Practical Scheduling Algorithms for Concurrent Transmissions in Rate-adaptive Wireless Networks. [Citation Graph (, )][DBLP]


  13. On the Cost-Effective Wireless Broadband Service Delivery from High Altitude Platforms with an Economical Business Model Design. [Citation Graph (, )][DBLP]


  14. Business model design for capacity-driven services from High Altitude Platforms. [Citation Graph (, )][DBLP]


  15. A comparative study on business models of municipal wireless cities in US and Sweden. [Citation Graph (, )][DBLP]


  16. An Algorithm of Information Hiding Based on Compound Encryption in Non-Uniform B-Spline Wavelet Domain. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
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