Concepedia

R. K. Shyamasundar

RK

31

Publications

2.3K

Citations

17

H-Index

1981

Active since

Affiliations

Tata Institute of Fundamental Research(Current)

Indian Institute of Technology Bombay

IBM (United States)

IBM Research - India

Eindhoven University of Technology

R. K. Shyamasundar is an author at Tata Institute of Fundamental Research specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationSoftware AnalysisProgram AnalysisSystems EngineeringData SecurityAutomated ReasoningInformation Security

Publications per year

1981–2021

31

Publications

31

Introduction to algorithms

R. K. Shyamasundar · Resonance · 1996 · 1.5K citations

Mathematical Programming, Computational Science, Engineering +6

Communicating reactive processes

Gérard Berry, S. Ramesh, R. K. Shyamasundar · 1993 · 119 citations

Event-driven Architecture, Engineering, Communicating Reactive Processes +18

May-happen-in-parallel analysis of X10 programs

Shivali Agarwal, Rajkishore Barik, Vivek Sarkar et al. · 2007 · 93 citations

Engineering, Computer Architecture, Software Engineering +19

Compositional semantics for real-time distributed computing

Ron Koymans, R. K. Shyamasundar, Willem P. de Roever et al. · Information and Computation · 1988 · 64 citations · Full text

Real-time Distributed Computing, Engineering, Automated Reasoning +9

Deadlock-free scheduling of X10 computations with bounded resources

Shivali Agarwal, Rajkishore Barik, Dan Bonachea et al. · 2007 · 49 citations · Full text

Rows per page

1–5 of 31