PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science
PaperOn the Existence of Optimum Cyclic Burst Correcting Codes Over GF(q)Khaled A.S. Abdel-GhaffarIEEE Trans. Inf. Theory
Conference paperOptimization algorithms for energy-efficient data centersHendrik F. HamannInterPACK 2013
Workshop paperOntologies for specifying and reconciling contexts of web servicesS. Sattanathan, N.C. Narendra, et al.CONTEXT 2005