Ye Zhang

  1. 2009
  2. Published

    Constraint Solver Techniques for Implementing Precise and Scalable Static Program Analysis. / Zhang, Ye; Nielson, Flemming (Supervisor).

    Kgs. Lyngby, Denmark : Technical University of Denmark (DTU), 2009. (IMM-PHD-2008-211).

    Publication: ResearchPh.D. thesis – Annual report year: 2009

  3. 2008
  4. Published

    From generic to specific: off-line optimization for a general constraint solver. / Zhang, Ye; Amtoft, Torben; Nielson, Flemming.

    Proceedings of the ACM SIGPLAN Seventh International Conference on Generative Programming and Component Engineering. ACM, 2008. p. 45-54.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2008

  5. 2007
  6. Published

    A Scalable Inclusion Constraint Solver Using Unification. / Zhang, Ye; Nielson, Flemming.

    Proceedings of the 17th International Symposium on Logic-Based Program Symthesis and Transformation. Springer-Verlag, 2007. p. 121-137 (Lecture Notes in Computer Science; No. 4915).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2007

  7. 2006
  8. Published

    Analyzing security protocols in hierarchical networks. / Zhang, Ye; Nielson, Hanne Riis.

    Automated Technology For Verification and Analysis, Proceedings. Berlin : Springer-verlag Berlin, 2006. (Lecture Notes in Computer Science; No. 4218).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2006

Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word