R. K. Shyamasundar - Concepedia

Author

R. K. Shyamasundar

Tata Institute of Fundamental Research ORCID

Also Known As

Jaeger, Trent, Kumar, N. V. Narendra, R K Shyamasundar, R. K. SHYAMASUNDAR, R. K. Shyamasundar, R. Shyamasundar, R.K Shyamasundar, R.K. SHYAMASUNDAR, R.K. Shyamasundar, R.K. Shyamasundar,

285

Publications

3.4K

Citations

H-Index

Concepts

All Affiliations

Tata Institute of Fundamental Research Indian Institute of Technology Bombay IBM (United States)IBM Research - India Eindhoven University of Technology

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	16	26	2.2K
2	Computer Engineering	4	4	150
3	Communication	2	2	159
4	Language Studies	1	1	11
5	Natural Sciences	1	1	12

R. K. Shyamasundar

Publications

2.3K

Citations

H-Index

Page 1

	Year	Citations
Introduction to algorithms R. K. Shyamasundar Resonance Mathematical ProgrammingComputational ScienceEngineeringAlgorithm DesignAnalysis Of Algorithm	1996	1.5K
Communicating reactive processes Gérard Berry, S. Ramesh, R. K. Shyamasundar Event-driven ArchitectureEngineeringCommunicating Reactive ProcessesConcurrent SystemCommunication	1993	119
May-happen-in-parallel analysis of X10 programs Shivali Agarwal, Rajkishore Barik, Vivek Sarkar, EngineeringComputer ArchitectureSoftware EngineeringX10 ProgramsSoftware Analysis	2007	93
Compositional semantics for real-time distributed computing Ron Koymans, R. K. Shyamasundar, Willem P. de Roever, Information and Computation Real-time Distributed ComputingEngineeringAutomated ReasoningFormal MethodsReal-time Computing	1988	64
Deadlock-free scheduling of X10 computations with bounded resources Shivali Agarwal, Rajkishore Barik, Dan Bonachea,	2007	49
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers Roberto Cavada, Alessandro Cimatti, Anders Franzén, Formal Methods in Computer-Aided Design EngineeringSoftware EngineeringPredicate AbstractionsSoftware AnalysisFormal Verification	2007	45
Realizing Purpose-Based Privacy Policies Succinctly via Information-Flow Labels N. V. Narendra Kumar, R. K. Shyamasundar Privacy ProtectionEngineeringInformation SecurityCommunicationSoftware Analysis	2014	40
Static analysis of real-time distributed systems L.Y. Liu, R. K. Shyamasundar IEEE Transactions on Software Engineering EngineeringVerificationSoftware SystemsSoftware EngineeringConcurrent System	1990	37
SLA Monitor: A System for Dynamic Monitoring of Adaptive Web Services Nihita Goel, N. V. Narendra Kumar, R. K. Shyamasundar Web Service SpecificationEngineeringVerificationService MonitoringSoftware Engineering	2011	27
Transformational methodology for proving termination of logic programs M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar The Journal of Logic Programming Applied LogicEngineeringTransformational MethodologyAutomated ReasoningVerification	1998	27

Page 1