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
PaperMapping behavioral specifications to model parameters in synthetic biologyHeinz Koeppl, Marc Hafner, et al.BMC Bioinformatics