A Generalization of Backus' FP. - Yellamraju V. Srinivas; Rajeev Sangal (FSTTCS, 1986)

Pattern Matching: A Sheaf-Theoretic Approach. - Yellamraju V. Srinivas (AMAST, 1991)

Derivation of a Parallel Matching Algorithm. - Yellamraju V. Srinivas (MPC, 1992)

Diagrams for software synthesis. - Richard Jüllig; Yellamraju V. Srinivas (KBSE, 1993)

A Sheaf-Theoretic Approach to Pattern Matching and Related Problems. - Yellamraju V. Srinivas (Theor. Comput. Sci., 1993)

Augmenting Algebraic Specifications with Structured Sorts and Structural Subsorting. - Yellamraju V. Srinivas (PROCOMET, 1994)

Specware: Formal Support for Composing Software. - Yellamraju V. Srinivas; Richard Jüllig (MPC, 1995)

SPECWARE: An Advanced Evironment for the Formal Development of Complex Software Systems. - Richard Jüllig; Yellamraju V. Srinivas; J. Liu (AMAST, 1996)

Refinement of parameterized algebraic specifications. - Yellamraju V. Srinivas (Algorithmic Languages and Calculi, 1997)