Conference paperNon-gaussian statistical timing analysis using second-order polynomial fittingLerong Cheng, Jinjun Xiong, et al.ASP-DAC 2008
PaperMapping behavioral specifications to model parameters in synthetic biologyHeinz Koeppl, Marc Hafner, et al.BMC Bioinformatics
PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science