 | 1997 |
|---|
| 8 |       | Yellamraju V. Srinivas:
Refinement of parameterized algebraic specifications.
Algorithmic Languages and Calculi 1997: 164-186 |
| 1996 |
|---|
| 7 | | Richard Jüllig,
Yellamraju V. Srinivas,
J. Liu:
SPECWARE: An Advanced Evironment for the Formal Development of Complex Software Systems.
AMAST 1996: 551-554 |
| 1995 |
|---|
| 6 | | Yellamraju V. Srinivas,
Richard Jüllig:
Specware: Formal Support for Composing Software.
MPC 1995: 399-422 |
| 1994 |
|---|
| 5 | | Yellamraju V. Srinivas:
Augmenting Algebraic Specifications with Structured Sorts and Structural Subsorting.
PROCOMET 1994: 531-550 |
| 1993 |
|---|
| 4 | | Yellamraju V. Srinivas:
A Sheaf-Theoretic Approach to Pattern Matching and Related Problems.
Theor. Comput. Sci. 112(1): 53-97 (1993) |
| 1992 |
|---|
| 3 | | Yellamraju V. Srinivas:
Derivation of a Parallel Matching Algorithm.
MPC 1992: 323-343 |
| 1991 |
|---|
| 2 | | Yellamraju V. Srinivas:
Pattern Matching: A Sheaf-Theoretic Approach.
AMAST 1991: 456-466 |
| 1986 |
|---|
| 1 |  | Yellamraju V. Srinivas,
Rajeev Sangal:
A Generalization of Backus' FP.
FSTTCS 1986: 124-143 |
