PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science
Conference paperPrior derivation models for formally syntax-based translation using linguistically syntactic parsing and tree kernelsBowen Zhou, Bing Xiang, et al.SSST 2008
Conference paperModeling and simulating flash based solid-state disks for operating systemsKaoutar El Maghraoui, Gokul Kandiraju, et al.WOSP/SIPEW 2010
Conference paperSelf-assembling materials for lithographic patterning: Overview, status and moving forwardWilliam Hinsberg, Joy Cheng, et al.SPIE Advanced Lithography 2010
