PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science
Conference paperOptimization algorithms for energy-efficient data centersHendrik F. HamannInterPACK 2013
PaperGeoTran-HC: Geometric transformation of highly coupled variable topology multi-body problemsSai Zeng, Angran Xiao, et al.CAD Computer Aided Design
PaperUnderstanding crosstalk in high-resolution co or thin-film-transistor liquid crystal displaysFrank R. Libsch, S.C. LienIBM J. Res. Dev