PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science
Conference paperChanges of Tc under epitaxial strain: Implications for the mechanism of superconductivityJ.P. Locquet, J. Perret, et al.SPIE Optical Science, Engineering, and Instrumentation 1998
PaperHAG-based application layer multicast system for streaming mediaRuixiong Tian, Zhe Xiang, et al.Qinghua Daxue Xuebao/Journal of Tsinghua University
Conference paperA divide and conquer strategy for scaling weather simulations with multiple regions of interestPreeti Malakar, Thomas George, et al.SC 2012
