Get started
Author

Rudrapatna K. Shyamasundar

Observed names: R K Shyamasundar, R. K. SHYAMASUNDAR, R. K. Shyamasundar, R. Shyamasundar, R.K Shyamasundar, R.K. SHYAMASUNDAR, R.K. Shyamasundar, R.K. Shyamasundar,, Rudrapatna K Shyamasundar, Rudrapatna Shyamasundar, Shyamasundar, R K, Shyamasundar, R. K., Shyamasundar, Rudrapatna 1950-, Shyamasundar, Rudrapatna K, Shyamasundar, Rudrapatna K. 1950-
Observed institutions: Rutgers, The State University of New Jersey, Tata Institute of Fundamental Research, Pennsylvania State University, Indian Institute of Technology Kharagpur, Indian Institute of Technology Bombay, National University of Singapore, IBM Research - India, IBM Research - Thomas J. Watson Research Center, IBM (India), Indian Institute of Science Bangalore, Indian Institute of Technology Delhi, Eindhoven University of Technology, Sapienza University of Rome
ORCID: 0000-0001-6966-0507
Observed ORCID: 0000-0001-6966-0507
OpenAlex ID: A5111410153
Introduction to algorithms
1996 · R. K. Shyamasundar · Resonance · 1,467
LAP LAMBERT Academic Publishing, Germany
2012 · T S Deepthi, R. K. Shyamasundar, et al. · Narosa Publishing House eBooks · 245
Communicating reactive processes
1993 · G. Berry, S. Ramesh, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 118
May-happen-in-parallel analysis of X10 programs
2007 · Shivali Agarwal, Rajkishore Barik, et al. · ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming · 94
Compositional semantics for real-time distributed computing
1988 · R. Koymans, R.K. Shyamasundar, et al. · Information and Computation · 64
Deadlock-free scheduling of X10 computations with bounded resources
2007 · Shivali Agarwal, Rajkishore Barik, et al. · 49
PDF
Compositional semantics for real-time distributed computing
1985 · R. Koymans, R. K. Shyamasundar, et al. · Lecture notes in computer science · 49
Realizing Purpose-Based Privacy Policies Succinctly via Information-Flow Labels
2014 · N.V. Narendra Kumar, R.K. Shyamasundar · IEEE International Conference on Big Data and Cloud Computing (BDCloud) · 42
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers
2007 · Roberto Cavada, Alessandro Cimatti, et al. · Formal Methods in Computer-Aided Design · 42
Static analysis of real-time distributed systems
1990 · L.Y. Liu, R.K. Shyamasundar · IEEE Transactions on Software Engineering · 37
A transformational methodology for proving termination of logic programs
2005 · M. R. K. Krishna Rao, D. Kapur, et al. · Springer eBooks · 30
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers
2007 · Roberto Cavada, Alessandro Cimatti, et al. · Formal Methods in Computer-Aided Design · 28
SLA Monitor: A System for Dynamic Monitoring of Adaptive Web Services
2011 · Nihita Goel, N.V. Narendra Kumar, et al. · 27
An efficient, secure and delegable micro-payment system
2004 · Vishwas Patil, R.K. Shyamasundar · 27
A translation of statecharts to esterel
1999 · S. A. Seshia, R. K. Shyamasundar, et al. · Lecture notes in computer science · 27
PDF
A Complete Generative Label Model for Lattice-Based Access Control Models
2017 · N. V. Narendra Kumar, R. K. Shyamasundar · Lecture notes in computer science · 24
Transformational methodology for proving termination of logic programs
1998 · M.R.K. Krishna Rao, Deepak Kapur, et al. · The Journal of Logic Programming · 24
PDF
Enforcing Secure Data Sharing in Web Application Development Frameworks Like Django Through Information Flow Control
2015 · S. Susheel, N. V. Narendra Kumar, et al. · Lecture notes in computer science · 23
Multiclock Esterel: a reactive framework for asynchronous design
2002 · B. Rajan, R.K. Shyamasundar · Proceedings - IEEE International Parallel and Distributed Processing Symposium · 21
Failure Detection and Membership Management in Grid Environments
2005 · A. Jain, R.K. Shyamasundar · 20
Internet of Things (IoT) and Cloud Computing Enabled Disaster Management
2020 · Raj Gaire, Chigulapalli Sriharsha, et al. · Scalable computing and communications · 19
PDF
Crowdsensing and Privacy in Smart City Applications
2018 · Raj Gaire, Ratan K. Ghosh, et al. · Elsevier eBooks · 19
PDF
An Optimal Multiprocessor Real-Time Scheduling Algorithm
1997 · Ashok Khemka, R.K. Shyamasundar · Journal of Parallel and Distributed Computing · 19
Proving termination of GHC programs
1997 · M. R. K. Krishna Rao, D. Kapur, et al. · New Generation Computing · 18
Activity Diagrams : A Formal Framework to Model Business Processes and Code Generation.
2009 · A.K. Bhattacharjee, R.K. Shyamasundar · The Journal of Object Technology · 17
PDF
Works count: 284
Citation count: 3,366
H-index: 20
I10-index: 47
Year
Topic
Type