Shankara Narayanan Krishna

Cited by

	All	Since 2017
Citations	1056	429
h-index	18	11
i10-index	31	15

120

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202214 24 40 16 27 25 30 35 36 44 30 48 32 46 40 69 47 66 90 83 65 117 4

Public access

View all

13 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Ashutosh TrivediAssistant Professor of Computer Science at the University of Colorado at BoulderVerified email at colorado.edu
Paritosh PandyaAdjunct Professor, CSE, IIT Bombay, Former Professor and Dean, STCS, TIFRVerified 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
Vrunda DaveResearch Scholar, Indian Institute of Technology BombayVerified email at cse.iitb.ac.in
Paul GastinProfessor, LSV, ENS Paris-SaclayVerified email at lsv.fr
Parosh AbdullaProfessor of Computer Science, Uppsala UniversityVerified email at it.uu.se
Khushraj MadnaniPost-doctorate, Delft Center for Systems and Control, TU DelftVerified email at tudelft.nl
Mohamed Faouzi AtigUppsala UniversityVerified email at it.uu.se
Gabriel CiobanuRomanian Academy, IasiVerified 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
Jatin AroraCarnegie Mellon UniversityVerified email at andrew.cmu.edu
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
Laure DaviaudCity, University of LondonVerified email at city.ac.uk

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	104	1999
P systems with replicated rewriting SN Krishna, R Rama Journal of Automata, Languages and Combinatorics 6 (3), 345-350, 2001	52	2001
P systems with mobile membranes SN Krishna, G Păun Natural Computing 4 (3), 255-274, 2005	51	2005
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	42	2008
Tissue P systems with contextual and rewriting rules SN Krishna, K Lakshmanan, R Rama Workshop on Membrane Computing, 339-351, 2002	41	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	36	2001
Universality results for P systems based on brane calculi operations SN Krishna Theoretical Computer Science 371 (1-2), 83-105, 2007	34	2007
First-order definable string transformations E Filiot, SN Krishna, A Trivedi arXiv preprint arXiv:1406.7824, 2014	33	2014
Compositional verification of software product lines JV Millo, S Ramesh, SN Krishna, GK Narwane International Conference on Integrated Formal Methods, 109-123, 2013	31	2013
Results on catalytic and evolution-communication P systems SN Krishna, A Pâun New Generation Computing 22 (4), 377-394, 2004	30	2004
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	29	2019
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	25	2012
Regular transducer expressions for regular transformations V Dave, P Gastin, SN Krishna Information and Computation, 104655, 2020	22	2020
Regular and first-order list functions M Bojańczyk, L Daviaud, SN Krishna Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018	21	2018
Analyzing timed systems using tree automata S Akshay, P Gastin, SN Krishna arXiv preprint arXiv:1604.08443, 2016	20	2016
Breaking DES using P systems SN Krishna, R Rama Theoretical Computer Science 299 (1-3), 495-508, 2003	19	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
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
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
Hybrid automata for formal modeling and verification of cyber-physical systems SN Krishna, A Trivedi arXiv preprint arXiv:1503.04928, 2015	17	2015

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