Ye Zhang

Affiliations:

According to our database¹, Ye Zhang authored at least 3 papers between 2006 and 2008.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2008

From generic to specific: off-line optimization for a general constraint solver.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering, 2008

2007

A Scalable Inclusion Constraint Solver Using Unification.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2007

2006

Analyzing Security Protocols in Hierarchical Networks.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2006