Conference paperPrior derivation models for formally syntax-based translation using linguistically syntactic parsing and tree kernelsBowen Zhou, Bing Xiang, et al.SSST 2008
Conference paperA fast fanout optimization algorithm for near-continuous buffer librariesDavid S. KungDAC 1998
Conference paperNon-gaussian statistical timing analysis using second-order polynomial fittingLerong Cheng, Jinjun Xiong, et al.ASP-DAC 2008
PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science