MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Chenyi Zhang" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

A comparison of semantic models for noninterference
by Ron Van Der Meyden, Chenyi Zhang — 2006 — In Proc. Workshop on Formal Aspects of Security and Trust
…A Comparison of Semantic Models for Noninterference ⋆ Ron van der Meyden and Chenyi Zhang 1…
Cited by 3 (3 self) – Add To MetaCart

Independent JPEG Group. JPEG image compression software
by Ron Van Der Meyden, Chenyi Zhang — 2006 — In Proceedings Workshop on Views on Designing Complex Systems, ENTCS
…, Chenyi Zhang School of Computer Science and Engineering, University of New South Wales, Sydney, Australia…
Cited by 3 (1 self) – Add To MetaCart

Scalar outcomes suffice for finitary probabilistic testing
by Yuxin Deng, Rob Van Glabbeek, Carroll Morgan, Chenyi Zhang — 2007 — Proc ESOP ’07, LNCS
…,1 , Carroll Morgan 1⋆ & Chenyi Zhang 1,2 1 School of Comp. Sci. and Eng., University of New South Wales…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB