PaperA Formal Approach to Undo Operations in Programming LanguagesGeorge B. LeemanACM Transactions on Programming Languages and Systems (TOPLAS)
PaperEffective generation of compressed stationary Gaussian fieldsRobert Manson Sawko, Malgorzata ZimonSIAM/ASA JUQ
Conference paperChanges of Tc under epitaxial strain: Implications for the mechanism of superconductivityJ.P. Locquet, J. Perret, et al.SPIE Optical Science, Engineering, and Instrumentation 1998
Conference paperLithographic characteristics of 193-nm resists imaged at 193 and 248 nmJuliann Opitz, Robert D. Allen, et al.Microlithography 1998
