PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science
Conference paperPerformance data on new tunable attenuating PSM for 193nm and 157nm lithographyHans Becker, Frank Schmidt, et al.Photomask and Next-Generation Lithography Mask Technology 2004
Conference paperA component by component listening test analysis of the IBM trainable speech synthesis systemRobert E. DonovanINTERSPEECH - Eurospeech 2001
Conference paperSemantic concept-based query expansion and re-ranking for multimedia retrievalApostol Natsev, Alexander Haubold, et al.MMSP 2007
