Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

R. K. Shyamasundar | Researchclopedia

Back to researchers

R. K. Shyamasundar

Indian Institute of Technology Bombay ORCID

285

Works

3,400

Citations

20

h-index

48

i10-index

Research Topics

Formal Methods in Verification Security and Verification in Computing Distributed systems and fault tolerance

Affiliations

Rutgers, The State University of New Jersey2017–2017

Tata Institute of Fundamental Research1976–2014

AT&T (United States)1993–1993

Pennsylvania State University1986–1993

IBM (United States)2006–2008

Top Works

Introduction to algorithms

R. K. Shyamasundar

19961,470 citations

Logic, programming, and type systems

Embedded Systems Design Techniques

LAP LAMBERT Academic Publishing, Germany

T S Deepthi,R. K. Shyamasundar,et al.

2012245 citations

Communicating reactive processes

Gérard Berry,S. Ramesh,et al.

1993119 citations

May-happen-in-parallel analysis of X10 programs

Shivali Agarwal,Rajkishore Barik,et al.

200793 citations

Compositional semantics for real-time distributed computing

Ron Koymans,R. K. Shyamasundar,et al.

198864 citations

Compositional semantics for real-time distributed computing

Ron Koymans,R. K. Shyamasundar,et al.

198549 citations

Deadlock-free scheduling of X10 computations with bounded resources

Shivali Agarwal,Rajkishore Barik,et al.

200749 citations

Computing Predicate Abstractions by Integrating BDDs and SMT Solvers

Roberto Cavada,Alessandro Cimatti,et al.

200745 citations

Realizing Purpose-Based Privacy Policies Succinctly via Information-Flow Labels

N. V. Narendra Kumar,R. K. Shyamasundar

201440 citations