OPTIMA-A Portable PCODE Optimizer. - A. Wilk; William Silverman (Softw. Pract. Exp., 1983)

High-level language support for programming distributed systems. - Joshua S. Auerbach; David F. Bacon; Arthur P. Goldberg; Germán S. Goldszmidt; Mark T. Kennedy; Andy Lowry; James R. Russell; William Silverman; Robert E. Strom; Daniel M. Yellin; Shaula Yemini (CASCON, 1991)

Logic Programs with Inheritance. - Yaron Goldberg; William Silverman; Ehud Shapiro (FGCS, 1992)

High-level language support for programming distributed systems. - Joshua S. Auerbach; David F. Bacon; Arthur P. Goldberg; Germán S. Goldszmidt; Ajei S. Gopal; Mark T. Kennedy; Andy Lowry; James R. Russell; William Silverman; Robert E. Strom; Daniel M. Yellin; Shaula Yemini (ICCL, 1992)

Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra. - Aviv Regev; William Silverman; Ehud Shapiro (Pacific Symposium on Biocomputing, 2001)

Application of a stochastic name-passing calculus to representation and simulation of molecular processes. - Corrado Priami; Aviv Regev; Ehud Shapiro; William Silverman (Inf. Process. Lett., 2001)

BioAmbients: an abstraction for biological compartments. - Aviv Regev; Ekaterina M. Panina; William Silverman; Luca Cardelli; Ehud Shapiro (Theor. Comput. Sci., 2004)