Analyzing Security Protocols in Hierarchical Networks. - Ye Zhang 002; Hanne Riis Nielson (ATVA, 2006)

A Scalable Inclusion Constraint Solver Using Unification. - Ye Zhang 002; Flemming Nielson (LOPSTR, 2007)

From generic to specific: off-line optimization for a general constraint solver. - Ye Zhang 002; Torben Amtoft; Flemming Nielson (GPCE, 2008)