Rk Shyamasundar - Google Scholar Citations

Cited by

	All	Since 2015
Citations	2295	599
h-index	23	12
i10-index	53	15

140

105

198319841985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920206 7 4 7 9 17 38 41 44 45 37 79 34 35 46 59 48 59 39 37 46 42 48 54 101 65 86 120 92 91 106 93 114 93 121 111 136 23

Co-authors

Vishwas T PatilIIT BombayVerified email at iitb.ac.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
A.K. BhattacharjeeBARCVerified email at barc.gov.in
Hrushikesha MohantyUniversity of Hyderabad,IndiaVerified email at uohyd.ernet.in
Rajkishore BarikResearch Scientist, Intel LabsVerified email at intel.com
Ankur NarangHikeVerified email at hike.in
Rajiv RanjanChair and Professor of Computing Science and Internet of Things, Newcastle University, UnitedVerified email at ncl.ac.uk
Mesfin BelachewHiLCoE School of Computer Science & TechnologyVerified email at orchidbg.com
Vivek SarkarSchool of Computer Science, Georgia Institute of TechnologyVerified email at gatech.edu
Gérard BerryProfessor at Collège de FranceVerified email at college-de-france.fr
Rajesh K. GuptaProfessor of Computer Science and Engineering, UC San DiegoVerified email at ucsd.edu
Jagannath AghavProfessor, Computer Engineering and IT, College of Engineering Pune IndiaVerified email at coep.ac.in
S ARUN KUMARKalasalingam Academy of Research and EducationVerified email at klu.ac.in
Sanjit A. SeshiaUniversity of California, BerkeleyVerified email at eecs.berkeley.edu
supriya vaddiResearch Scholar, University of HyderabadVerified email at gnits.ac.in
Saurabh JoshiIIT HyderabadVerified email at iith.ac.in
Paritosh PandyaProfessor, Tata Institute of Fundamental Research & Adjunct Professor, IIT BombayVerified email at tifr.res.in
Katherine YelickAssociate Laboratory Director of Computing Sciences, LBNL and EECS Professor, UC BerkeleyVerified email at lbl.gov
Dan BonacheaLawrence Berkeley National LaboratoryVerified email at lbl.gov

Rk Shyamasundar

IIT Bombay

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

Concurrency Parallel Programming Reactive Systems Network security. Language and Os Security


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	201	1993
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	113	1988
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	108	2007
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	77	2016
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
A transformational methodology for proving termination of logic programs MRKK Rao, D Kapur, RK Shyamasundar International Workshop on Computer Science Logic, 213-226, 1991	60*	1991
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	58	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	54	2007
Failure detection and membership management in grid environments A Jain, RK Shyamasundar Fifth IEEE/ACM International Workshop on Grid Computing, 44-52, 2004	43	2004
A translation of Statecharts to Esterel SA Seshia, RK Shyamasundar, AK Bhattacharjee, SD Dhodapkar International Symposium on Formal Methods, 983-1007, 1999	41	1999
An optimal multiprocessor real-time scheduling algorithm A Khemka, RK Shyamasundar Journal of parallel and distributed computing 43 (1), 37-45, 1997	40	1997
Static analysis of real-time distributed systems LY Liu, RK Shyamasundar IEEE Transactions on Software Engineering 16 (4), 373-388, 1990	40	1990
An efficient, secure and delegable micro-payment system V Patil, RK Shyamasundar IEEE International Conference on e-Technology, e-Commerce and e-Service …, 2004	38	2004
Static code analysis S Chandra, P Dhoolia, M Gowri III, M Gupta, RK Shyamasundar, S Sinha US Patent 8,806,441, 2014	35	2014
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	33	2011
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	31	2014
E-coupons: an efficient, secure and delegable micro-payment system V Patil, RK Shyamasundar Information Systems Frontiers 7 (4-5), 371-389, 2005	30	2005
Method for protecting user-managed memory using an exception P Varma, RK Shyamasundar US Patent 8,347,061, 2013	29	2013
Multiclock ESTEREL: A reactive framework for asynchronous design B Rajan, RK Shyamasundar Proceedings 14th International Parallel and Distributed Processing Symposium …, 2000	29	2000
Trust management for e-transactions V Patil, RK Shyamasundar Sadhana 30 (2-3), 141-158, 2005	26	2005

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

Upload PDF

Follow this author

Cited by

Co-authors