Ye Zhang
- 2009
- 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: Research › Ph.d. thesis – Annual report year: 2009
- 2008
- Published
From generic to specific: off-line optimization for a general constraint solver. / Zhang, Ye; Amtoft, Torben; Nielson, Flemming.
In: Proceedings of the ACM SIGPLAN Seventh International Conference on Generative Programming and Component Engineering. ACM, 2008. p. 45-54.Publication: Research - peer-review › Article in proceedings – Annual report year: 2008
- 2007
- Published
A Scalable Inclusion Constraint Solver Using Unification. / Zhang, Ye; Nielson, Flemming.
In: 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-review › Article in proceedings – Annual report year: 2007
- 2006
- Published
Analyzing security protocols in hierarchical networks. / Zhang, Ye; Nielson, Hanne Riis.
In: Automated Technology For Verification and Analysis, Proceedings. Berlin : Springer-verlag Berlin, 2006. (Lecture Notes in Computer Science; No. 4218).Publication: Research - peer-review › Book chapter – Annual report year: 2006