PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science
Conference paperModeling polarization for Hyper-NA lithography tools and masksKafai Lai, Alan E. Rosenbluth, et al.SPIE Advanced Lithography 2007
Conference paperSemantic interoperability and transformation in enterprise integrationRaymond Wu, Jie LuITA Conference 2007
Conference paperAn analysis of the effects of miss clustering on the cost of a cache missThomas R. Puzak, A. Hartstein, et al.CF 2007