RK Shyamasundar

Cited by

	All	Since 2017
Citations	2681	715
h-index	24	13
i10-index	61	19

160

120

1987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120228 18 42 42 45 41 40 75 41 37 50 56 51 63 34 40 52 45 48 57 100 64 96 120 92 87 112 92 117 104 138 114 152 133 131 44

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
Ramesh S.formerly Professor of Computer Science, IIT Bombay, now Technical Fellow, General Motors R&DVerified email at iitbombay.org
A.K. BhattacharjeeBARCVerified email at barc.gov.in
Deepak KapurUniversity of New MexicoVerified email at cs.unm.edu
Hrushikesha MohantyUniversity of Hyderabad,IndiaVerified email at uohyd.ernet.in
Ankur NarangSenior Member, IEEEVerified email at sigmoidstar.com
Rajkishore BarikResearch Scientist, Uber Technologies IncVerified email at uber.com
Rajiv RanjanDistinguished Professor, School's Chair, Fellow Academia Europaea and AAIA, Newcastle UniversityVerified email at ncl.ac.uk
Vivek SarkarSchool of Computer Science, Georgia Institute of TechnologyVerified email at gatech.edu
Mesfin BelachewMinistry of Innovation and Technology (MInT) EthiopiaVerified email at orchidbg.com
Gérard BerryProfessor at Collège de FranceVerified email at college-de-france.fr
Sanjit A. SeshiaUniversity of California, BerkeleyVerified email at eecs.berkeley.edu
Parjanya VyasUniversity of WaterlooVerified email at uwaterloo.ca
Rajesh K. GuptaProfessor of Computer Science and Engineering, Halıcıoğlu Data Science Institute, UC San DiegoVerified email at ucsd.edu
Anshu S AnandIndian Institute of Technology BombayVerified email at iitb.ac.in
Subir Kumar GhoshRamakrishna Mission Vivekananda Educational and Research InstituteVerified email at rkmvu.ac.in
Abhinav SrivastavZalando SEVerified email at zalando.de
Paritosh PandyaAdjunct Professor, CSE, IIT Bombay, Former Professor and Dean, STCS, TIFRVerified email at tifr.res.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	210	1993
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	119	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	109	1988
City data fusion: Sensor data fusion in the internet of things M Wang, C Perera, PP Jayaraman, M Zhang, P Strazdins, ... The Internet of Things: Breakthroughs in Research and Practice, 398-422, 2017	106	2017
Smart cities cybersecurity and privacy DB Rawat, KZ Ghafoor Elsevier, 2018	72	2018
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	69	2007
Hybrid and Real-Time Systems: International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings O Maler Springer Science & Business Media, 1997	68	1997
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	65	2007
A transformational methodology for proving termination of logic programs MRK Krishna Rao, D Kapur, RK Shyamasundar International Workshop on Computer Science Logic, 213-226, 1991	61*	1991
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	49	2014
Failure detection and membership management in grid environments A Jain, RK Shyamasundar Fifth IEEE/ACM International Workshop on Grid Computing, 44-52, 2004	47	2004
Static analysis of real-time distributed systems LY Liu, RK Shyamasundar IEEE Transactions on Software Engineering 16 (4), 373-388, 1990	47	1990
An optimal multiprocessor real-time scheduling algorithm A Khemka, RK Shyamasundar Journal of parallel and distributed computing 43 (1), 37-45, 1997	46	1997
Static code analysis S Chandra, P Dhoolia, M Gowri III, M Gupta, RK Shyamasundar, S Sinha US Patent 8,806,441, 2014	43	2014
A translation of Statecharts to Esterel SA Seshia, RK Shyamasundar, AK Bhattacharjee, SD Dhodapkar International Symposium on Formal Methods, 983-1007, 1999	43	1999
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
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	38	2011
E-coupons: an efficient, secure and delegable micro-payment system V Patil, RK Shyamasundar Information Systems Frontiers 7 (4), 371-389, 2005	33	2005
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	31	2009
Method for protecting user-managed memory using an exception P Varma, RK Shyamasundar US Patent 8,347,061, 2013	30	2013

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 this author

Cited by

Co-authors