Communications of the ACM

Review

01 Dec 1998

Guaranteeing Rights for the User

Paper

The Parallel Protocol Engine

Matthias Kaiserswerth

IEEE/ACM Transactions on Networking

Paper

GeoTran-HC: Geometric transformation of highly coupled variable topology multi-body problems

Sai Zeng, Angran Xiao, et al.

CAD Computer Aided Design

Conference paper

The Pensieve project: A compiler infrastructure for memory models

Chi-Leung Wong, Zehra Sura, et al.

I-SPAN 2002

Paper

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

György E. Révész

Theoretical Computer Science

View all publications