Edit Profile Ranganath, Venkatesh Prasad Compute Distance To: Compute Author ID: 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.68429Ranganath, 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.68020Dwyer, Matthew B.; Hatcliff, John; Robby; Ranganath, Venkatesh Prasad 4 2004 Logical concurrency control from sequential proofs. Zbl 1260.68091Deshmukh, Jyotirmoy; Ramalingam, G.; Ranganath, Venkatesh-Prasad; Vaswani, Kapil 1 2010 Logical concurrency control from sequential proofs. Zbl 1260.68091Deshmukh, Jyotirmoy; Ramalingam, G.; Ranganath, Venkatesh-Prasad; Vaswani, Kapil 1 2010 A new foundation for control-dependence and slicing for modern program structures. Zbl 1108.68429Ranganath, 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.68020Dwyer, 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