Communications of the ACM

Review

01 Dec 1998

Guaranteeing Rights for the User

Conference paper

Prior derivation models for formally syntax-based translation using linguistically syntactic parsing and tree kernels

Bowen Zhou, Bing Xiang, et al.

SSST 2008

Paper

A list-oriented extension of the lambda-calculus satisfying the Church-Rosser theorem

György E. Révész

Theoretical Computer Science

Paper

HAG-based application layer multicast system for streaming media

Ruixiong Tian, Zhe Xiang, et al.

Qinghua Daxue Xuebao/Journal of Tsinghua University

Conference paper

Enriching the interactive user experience of open document format

John M. Boyer, Charles F. Wiecha

DocEng 2009

View all publications