Shankara Narayanan Krishna

Cited by

	All	Since 2016
Citations	969	384
h-index	17	12
i10-index	30	14

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202113 24 32 26 29 23 30 35 36 44 33 53 32 46 39 70 46 66 88 78 66 36

Co-authors

Ashutosh TrivediAssistant Professor of Computer Science at the University of Colorado at BoulderVerified email at colorado.edu
Paritosh PandyaProfessor, Tata Institute of Fundamental Research & Adjunct Professor, IIT BombayVerified email at tifr.res.in
Lakshmi ManasaPhD Student, IIT BombayVerified email at cse.iitb.ac.in
Ramesh S.formerly Professor of Computer Science, IIT Bombay, now Technical Fellow, General Motors R&DVerified email at iitbombay.org
Jean-Vivien MilloINRIA Sophia-AntipolisVerified email at inria.fr
Paul GastinProfessor, LSV, ENS Paris-SaclayVerified email at lsv.fr
Khushraj MadnaniGrad Student, CSE, IIT BombayVerified email at cse.iitb.ac.in
Parosh AbdullaProfessor of Computer Science, Uppsala UniversityVerified email at it.uu.se
Vrunda DaveResearch Scholar, Indian Institute of Technology BombayVerified email at cse.iitb.ac.in
Mohamed Faouzi AtigUppsala UniversityVerified email at it.uu.se
Gabriel CiobanuComputer Science, MathematicsVerified email at iit.tuiasi.ro
Devendra BhaveIIT BombayVerified email at cse.iitb.ac.in
Emmanuel FiliotFNRS - Université Libre de BruxellesVerified email at ulb.ac.be
Ramchandra PhawadeAssistant Professor, Dept of Computer Science and Engineering, IIT DharwadVerified email at iitdh.ac.in
Swarup MohalikPrinicipal Engineer - Research, EricssonVerified email at ericsson.com
Marian GheorgheUniversity of BradfordVerified email at bradford.ac.uk
Thomas BrihayeUMONSVerified email at umons.ac.be
Dileep KiniUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
Gilles GeeraertsAssociate Prof. of Computer Science, Université Libre de Bruxelles (ULB)Verified email at ulb.ac.be
Benjamin MonmegeAssistant Professor, Aix-Marseille Université, Laboratoire d'Informatique et SystèmesVerified email at univ-amu.fr

Shankara Narayanan Krishna

IIT Bombay

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

Formal Methods Automata Logic


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A variant of P systems with active membranes: Solving NP-complete problems SN Krishna, R Rama Romanian Journal of Information Science and Technology 2 (4), 357-367, 1999	98	1999
P systems with replicated rewriting SN Krishna, R Rama Journal of Automata, Languages and Combinatorics 6 (3), 345-350, 2001	51	2001
P systems with mobile membranes SN Krishna, G Păun Natural Computing 4 (3), 255-274, 2005	50	2005
Tissue P systems with contextual and rewriting rules SN Krishna, K Lakshmanan, R Rama Workshop on Membrane Computing, 339-351, 2002	42	2002
Timed automata with integer resets: Language inclusion and expressiveness PV Suman, PK Pandya, SN Krishna, L Manasa International Conference on Formal Modeling and Analysis of Timed Systems, 78-92, 2008	37	2008
On power of p systems using sequential and parallel rewriting SN Krishna, R Rama International journal of computer mathematics 76 (3), 317-330, 2001	36	2001
Universality results for P systems based on brane calculi operations SN Krishna Theoretical Computer Science 371 (1-2), 83-105, 2007	33	2007
First-order definable string transformations E Filiot, SN Krishna, A Trivedi arXiv preprint arXiv:1406.7824, 2014	31	2014
Compositional verification of software product lines JV Millo, S Ramesh, SN Krishna, GK Narwane International Conference on Integrated Formal Methods, 109-123, 2013	30	2013
Results on catalytic and evolution-communication P systems SN Krishna, A Pâun New Generation Computing 22 (4), 377-394, 2004	28	2004
Tracing SPLs precisely and efficiently S Mohalik, S Ramesh, JV Millo, SN Krishna, GK Narwane Proceedings of the 16th International Software Product Line Conference …, 2012	24	2012
Breaking DES using P systems SN Krishna, R Rama Theoretical Computer Science 299 (1-3), 495-508, 2003	20	2003
A note on parallel rewriting in P systems SN Krishna, R Rama BULLETIN-EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE 73, 147-151, 2001	19	2001
Regular transducer expressions for regular transformations V Dave, P Gastin, SN Krishna Information and Computation, 104655, 2020	18	2020
Analyzing timed systems using tree automata S Akshay, P Gastin, SN Krishna arXiv preprint arXiv:1604.08443, 2016	18	2016
Verification of programs under the release-acquire semantics PA Abdulla, J Arora, MF Atig, S Krishna Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019	17	2019
Traceability analyses between features and assets in software product lines GK Narwane, JA Galindo, SN Krishna, D Benavides, JV Millo, S Ramesh Entropy 18 (8), 269, 2016	17	2016
Adding negative prices to priced timed games T Brihaye, G Geeraerts, SN Krishna, L Manasa, B Monmege, A Trivedi International Conference on Concurrency Theory, 560-575, 2014	17	2014
Hybrid automata for formal modeling and verification of cyber-physical systems SN Krishna, A Trivedi arXiv preprint arXiv:1503.04928, 2015	16	2015
P systems with picture objects SN Krishna, R Rama, K Krithivasan Acta Cybernetica 15 (1), 53-74, 2001	16	2001

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