RK Shyamasundar

Cited by

	All	Since 2019
Citations	3119	755
h-index	25	14
i10-index	73	20

180

135

1986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320248 9 18 33 48 51 48 36 69 50 36 45 61 54 66 42 43 54 50 53 58 111 71 180 115 96 86 114 93 121 105 139 113 152 131 141 143 107 81

Public access

View all

0 articles

1 article

available

not available

Based on funding mandates

Co-authors

Vishwas PatilIIT BombayVerified email at iitb.ac.in
Shivali AgarwalIBM ResearchVerified email at in.ibm.com
A.K. BhattacharjeeBARCVerified email at barc.gov.in
Ramesh S.formerly Professor of Computer Science, IIT Bombay, now Technical Fellow, General Motors R&DVerified email at iitbombay.org
Deepak KapurUniversity of New MexicoVerified email at cs.unm.edu
Hrushikesha MohantyUniversity of Hyderabad,IndiaVerified email at uohyd.ernet.in
Raj BarikTech Lead and Research Manager, Uber Technologies IncVerified email at uber.com
Ankur NarangSenior Member, IEEEVerified email at sigmoidstar.com
Prof. Rajiv Ranjan, MAE, FIEEE, FAIAANewcastle University Director (National Edge AI Hub and International EV Security Centre)Verified email at newcastle.ac.uk
Mesfin BelachewMinistry of Innovation and Technology (MInT) EthiopiaVerified email at orchidbg.com
Parjanya VyasUniversity of WaterlooVerified email at uwaterloo.ca
Vivek SarkarSchool of Computer Science, Georgia Institute of TechnologyVerified email at gatech.edu
Gérard BerryProfessor emeritus at Collège de FranceVerified email at college-de-france.fr
Rajesh K. GuptaProfessor of Computer Science and Engineering, Halıcıoğlu Data Science Institute, UC San DiegoVerified email at ucsd.edu
Sandip GhosalAssistant Professor, Birla Institute of Technology MesraVerified email at bitmesra.ac.in
Subir Kumar GhoshRamakrishna Mission Vivekananda Educational and Research InstituteVerified email at rkmvu.ac.in
Abhinav SrivastavZalando SEVerified email at zalando.de
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Anshu S AnandIndian Institute of Information Technology AllahabadVerified email at iitb.ac.in
Prem Prakash JayaramanSwinburne University of TechnologyVerified email at swinburne.edu.au

RK Shyamasundar

IIT Bombay

Verified email at cse.iitb.ac.in - Homepage

Concurrency Parallel Programming Reactive Systems Network security. Language and OS Security Information Security (Cyber sec


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Communicating reactive processes G Berry, S Ramesh, RK Shyamasundar Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993	216	1993
City data fusion: Sensor data fusion in the internet of things M Wang, C Perera, PP Jayaraman, M Zhang, P Strazdins, ... International Journal of Distributed Systems and Technologies (IJDST) 7 (1 …, 2016	123	2016
May-happen-in-parallel analysis of X10 programs S Agarwal, R Barik, V Sarkar, RK Shyamasundar Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of …, 2007	123	2007
Compositional semantics for real-time distributed computing R Koymans, RK Shyamasundar, WP de Roever, R Gerth, S Arun-Kumar Information and Computation 79 (3), 210-256, 1988	116	1988
Smart cities cybersecurity and privacy DB Rawat, KZ Ghafoor Elsevier, 2018	112	2018
Hybrid and Real-Time Systems: International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings O Maler Springer Science & Business Media, 1997	73*	1997
Deadlock-free scheduling of X10 computations with bounded resources S Agarwal, R Barik, D Bonachea, V Sarkar, RK Shyamasundar, K Yelick Proceedings of the nineteenth annual ACM symposium on Parallel algorithms …, 2007	71	2007
Computing predicate abstractions by integrating BDDs and SMT solvers R Cavada, A Cimatti, A Franzén, K Kalyanasundaram, M Roveri, ... Formal Methods in Computer Aided Design (FMCAD'07), 69-76, 2007	70	2007
A transformational methodology for proving termination of logic programs MRK Krishna Rao, D Kapur, RK Shyamasundar Computer Science Logic: 5th Workshop, CSL'91 Berne, Switzerland, October 7 …, 1992	66*	1992
Realizing purpose-based privacy policies succinctly via information-flow labels NVN Kumar, RK Shyamasundar 2014 IEEE Fourth International Conference on Big Data and Cloud Computing …, 2014	55	2014
Failure detection and membership management in grid environments A Jain, RK Shyamasundar Fifth IEEE/ACM International Workshop on Grid Computing, 44-52, 2004	49	2004
Static analysis of real-time distributed systems LY Liu, RK Shyamasundar IEEE Transactions on Software Engineering 16 (4), 373-388, 1990	48	1990
Static code analysis S Chandra, P Dhoolia, M Gowri III, M Gupta, RK Shyamasundar, S Sinha US Patent 8,806,441, 2014	47	2014
A translation of Statecharts to Esterel SA Seshia, RK Shyamasundar, AK Bhattacharjee, SD Dhodapkar FM’99—Formal Methods: World Congress on Formal Methods in the Development …, 1999	46	1999
An optimal multiprocessor real-time scheduling algorithm A Khemka, RK Shyamasundar Journal of parallel and distributed computing 43 (1), 37-45, 1997	45	1997
An efficient, secure and delegable micro-payment system V Patil, RK Shyamasundar IEEE International Conference on e-Technology, e-Commerce and e-Service …, 2004	41	2004
Activity diagrams: A formal framework to model business processes and code generation AK Bhattacharjee, RK Shyamasundar Journal of Object Technology 8 (1), 189-220, 2009	38	2009
SLA monitor: A system for dynamic monitoring of adaptive web services N Goel, NVN Kumar, RK Shyamasundar 2011 IEEE Ninth European Conference on Web Services, 109-116, 2011	37	2011
e-coupons: An Efficient, Secure and Delegable Micro-Payment System V Patil, RK Shyamasundar Information Systems Frontiers 7, 371-389, 2005	37	2005
Holistic performance monitoring of hybrid clouds: Complexities and future directions M Natu, RK Ghosh, RK Shyamsundar, R Ranjan IEEE Cloud Computing 3 (1), 72-81, 2016	32	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors