PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science
Conference paperSemantic interoperability and transformation in enterprise integrationRaymond Wu, Jie LuITA Conference 2007
Conference paperOptimization algorithms for energy-efficient data centersHendrik F. HamannInterPACK 2013