PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science
Conference paperNon-gaussian statistical timing analysis using second-order polynomial fittingLerong Cheng, Jinjun Xiong, et al.ASP-DAC 2008
PaperOn convex relaxations of quadrilinear termsSonia Cafieri, Jon Lee, et al.Journal of Global Optimization
PaperAdvanced lithography kits: Serifs and hammerheadHang-Yip Liu, Steffen Schulze, et al.Proceedings of SPIE - The International Society for Optical Engineering