×

zbMATH — the first resource for mathematics

Edit Profile

Ranganath, Venkatesh Prasad

Compute Distance To:
Author ID: ranganath.venkatesh-prasad Recent zbMATH articles by "Ranganath, Venkatesh Prasad"
Published as: Ranganath, Venkatesh Prasad; Ranganath, Venkatesh-Prasad
External Links: MGP · Wikidata · ORCID
Documents Indexed: 7 Publications since 2004
all top 5

Co-Authors

0 single-authored
4 Hatcliff, John
3 Ramalingam, Ganesan
3 Vaswani, Kapil
2 Deshmukh, Jyotirmoy V.
2 Dwyer, Matthew B.
1 Amtoft, Torben
1 Banerjee, Anindya
1 Jung, Georg
1 Lo, David
1 Robby, Matthew

Serials

1 Science of Computer Programming
1 Formal Methods in System Design
1 Logical Methods in Computer Science

Fields

7 Computer science (68-XX)

Publications by Year

Citations contained in zbMATH

3 Publications have been cited 15 times in 15 Documents Cited by ▼ Year ▼
A new foundation for control-dependence and slicing for modern program structures. Zbl 1108.68429
Ranganath, Venkatesh Prasad; Amtoft, Torben; Banerjee, Anindya; Dwyer, Matthew B.; Hatcliff, John
10
2005
Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs. Zbl 1090.68020
Dwyer, Matthew B.; Hatcliff, John; Robby; Ranganath, Venkatesh Prasad
4
2004
Logical concurrency control from sequential proofs. Zbl 1260.68091
Deshmukh, Jyotirmoy; Ramalingam, G.; Ranganath, Venkatesh-Prasad; Vaswani, Kapil
1
2010
Logical concurrency control from sequential proofs. Zbl 1260.68091
Deshmukh, Jyotirmoy; Ramalingam, G.; Ranganath, Venkatesh-Prasad; Vaswani, Kapil
1
2010
A new foundation for control-dependence and slicing for modern program structures. Zbl 1108.68429
Ranganath, Venkatesh Prasad; Amtoft, Torben; Banerjee, Anindya; Dwyer, Matthew B.; Hatcliff, John
10
2005
Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs. Zbl 1090.68020
Dwyer, Matthew B.; Hatcliff, John; Robby; Ranganath, Venkatesh Prasad
4
2004
all top 5

Cited by 42 Authors

3 Amtoft, Torben
3 Harman, Mark
2 Androutsopoulos, Kelly
2 Barraclough, Richard W.
2 Clark, David
2 Danicic, Sebastian
2 Kiss, Ákos
1 Barbosa, Luís Soares
1 Binkley, Dave
1 Černý, Pavol
1 Clarke, Edmund Melson jun.
1 Farzan, Azadeh
1 Gallois, Jean-Pierre
1 Günther, Henning
1 Henzinger, Thomas A.
1 Hierons, Robert Mark
1 Howroyd, John D.
1 Huynh, Thuan Quang
1 Kosmatov, Nikolai
1 Laarman, Alfons
1 Labbe, Sebastien
1 Laurence, Michael R.
1 Laurence, Mike
1 Le Gall, Pascale
1 Léchenet, Jean-Christophe
1 Li, Zheng
1 Meseguer Guaita, José
1 Moraru, Iulia
1 Nica, Mihai
1 Ouarbya, Lahcen
1 Radhakrishna, Arjun
1 Rodrigues, Nuno F.
1 Roychoudhury, Abhik
1 Ryzhyk, Leonid
1 Samanta, Roopsha
1 Siegel, Stephen F.
1 Sokolova, Ana
1 Tarrach, Thorsten
1 Weissenbacher, Georg
1 Winter, Kirsten
1 Wotawa, Franz
1 Yatapanage, Nisansala
all top 5

Cited in 6 Serials

3 Theoretical Computer Science
3 Formal Methods in System Design
2 Information Processing Letters
2 Formal Aspects of Computing
1 Science of Computer Programming
1 The Journal of Logic and Algebraic Programming

Cited in 1 Field

15 Computer science (68-XX)

Citations by Year

Wikidata Timeline