Search the dblp DataBase
Yellamraju V. Srinivas: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Yellamraju V. Srinivas
Refinement of parameterized algebraic specifications. [Citation Graph (0, 0)][DBLP]
Algorithmic Languages and Calculi, 1997, pp:164-186 [Conf] - Richard Jüllig, Yellamraju V. Srinivas, J. Liu
SPECWARE: An Advanced Evironment for the Formal Development of Complex Software Systems. [Citation Graph (0, 0)][DBLP]
AMAST, 1996, pp:551-554 [Conf] - Yellamraju V. Srinivas
Pattern Matching: A Sheaf-Theoretic Approach. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:456-466 [Conf] - Yellamraju V. Srinivas, Rajeev Sangal
A Generalization of Backus' FP. [Citation Graph (0, 0)][DBLP]
FSTTCS, 1986, pp:124-143 [Conf] - Yellamraju V. Srinivas
Derivation of a Parallel Matching Algorithm. [Citation Graph (0, 0)][DBLP]
MPC, 1992, pp:323-343 [Conf] - Yellamraju V. Srinivas, Richard Jüllig
Specware: Formal Support for Composing Software. [Citation Graph (0, 0)][DBLP]
MPC, 1995, pp:399-422 [Conf] - Yellamraju V. Srinivas
Augmenting Algebraic Specifications with Structured Sorts and Structural Subsorting. [Citation Graph (0, 0)][DBLP]
PROCOMET, 1994, pp:531-550 [Conf] - Yellamraju V. Srinivas
A Sheaf-Theoretic Approach to Pattern Matching and Related Problems. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1993, v:112, n:1, pp:53-97 [Journal]
Search in 0.001secs, Finished in 0.002secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002