Shankara Narayanan Krishna

Cited by

	All	Since 2016
Citations	946	355
h-index	16	11
i10-index	28	13

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202114 25 32 23 29 22 30 35 34 44 33 54 41 46 40 70 46 68 89 79 64 5

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
Khushraj MadnaniGrad Student, CSE, IIT BombayVerified email at cse.iitb.ac.in
Paul GastinProfessor, LSV, ENS Paris-SaclayVerified email at lsv.fr
Gabriel CiobanuComputer Science, MathematicsVerified email at iit.tuiasi.ro
Vrunda DaveResearch Scholar, Indian Institute of Technology BombayVerified email at cse.iitb.ac.in
Parosh AbdullaProfessor of Computer Science, Uppsala UniversityVerified email at it.uu.se
Mohamed Faouzi AtigUppsala UniversityVerified email at it.uu.se
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
Thomas BrihayeUMONSVerified email at umons.ac.be
Marian GheorgheUniversity of BradfordVerified email at bradford.ac.uk
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	100	1999
P systems with mobile membranes SN Krishna, G Păun Natural Computing 4 (3), 255-274, 2005	50	2005
P systems with replicated rewriting SN Krishna, R Rama Journal of Automata, Languages and Combinatorics 6 (3), 345-350, 2001	49	2001
Tissue P systems with contextual and rewriting rules SN Krishna, K Lakshmanan, R Rama Workshop on Membrane Computing, 339-351, 2002	42	2002
On power of p systems using sequential and parallel rewriting SN Krishna, R Rama International journal of computer mathematics 76 (3), 317-330, 2001	39	2001
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	36	2008
Universality results for P systems based on brane calculi operations SN Krishna Theoretical Computer Science 371 (1-2), 83-105, 2007	34	2007
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
First-order definable string transformations E Filiot, SN Krishna, A Trivedi arXiv preprint arXiv:1406.7824, 2014	28	2014
Results on catalytic and evolution-communication P systems SN Krishna, A Pâun New Generation Computing 22 (4), 377-394, 2004	27	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
A note on parallel rewriting in P systems SN Krishna, R Rama BULLETIN-EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE 73, 147-151, 2001	21	2001
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	18	2014
Breaking DES using P systems SN Krishna, R Rama Theoretical Computer Science 299 (1-3), 495-508, 2003	18	2003
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
Analyzing timed systems using tree automata S Akshay, P Gastin, SN Krishna arXiv preprint arXiv:1604.08443, 2016	17	2016
Regular transducer expressions for regular transformations V Dave, P Gastin, SN Krishna Information and Computation, 104655, 2020	16	2020
Hybrid automata for formal modeling and verification of cyber-physical systems SN Krishna, A Trivedi arXiv preprint arXiv:1503.04928, 2015	16	2015
Enhanced mobile membranes: computability results G Ciobanu, SN Krishna Theory of Computing Systems 48 (3), 715-729, 2011	16	2011
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