PaperSpecifying Queries as Relational Expressions: The SQUARE Data SublanguageRaymond F. Boyce, Donald D. Chamberlin, et al.CACM
PaperMapping behavioral specifications to model parameters in synthetic biologyHeinz Koeppl, Marc Hafner, et al.BMC Bioinformatics
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
PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science
