More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Yellamraju V. Srinivas

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1997
[c8]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/alc/Srinivas97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/alc/Srinivas97
Yellamraju V. Srinivas:
Refinement of parameterized algebraic specifications. Algorithmic Languages and Calculi 1997: 164-186
1996
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/JuelligSS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/JuelligSS96
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
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/SrinivasJ95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/SrinivasJ95
Yellamraju V. Srinivas, Richard Jüllig:
Specware: Formal Support for Composing Software. MPC 1995: 399-422
1994
[c5]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/procomet/Srinivas94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/procomet/Srinivas94
Yellamraju V. Srinivas:
Augmenting Algebraic Specifications with Structured Sorts and Structural Subsorting. PROCOMET 1994: 531-550
1993
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Srinivas93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Srinivas93
Yellamraju V. Srinivas:
A Sheaf-Theoretic Approach to Pattern Matching and Related Problems. Theor. Comput. Sci. 112(1): 53-97 (1993)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/JulligS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/JulligS93
Richard Jüllig, Yellamraju V. Srinivas:
Diagrams for software synthesis. KBSE 1993: 10-19
1992
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Srinivas92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Srinivas92
Yellamraju V. Srinivas:
Derivation of a Parallel Matching Algorithm. MPC 1992: 323-343
1991
[c2]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/amast/Srinivas91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/Srinivas91
Yellamraju V. Srinivas:
Pattern Matching: A Sheaf-Theoretic Approach. AMAST 1991: 456-466

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1986
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/SrinivasS86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/SrinivasS86
Yellamraju V. Srinivas, Rajeev Sangal:
A Generalization of Backus' FP. FSTTCS 1986: 124-143

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.