Shankara Narayanan Krishna

Cited by

	All	Since 2018
Citations	1141	456
h-index	19	12
i10-index	33	15

120

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202311 29 25 26 25 28 33 33 38 44 29 48 28 48 42 64 47 66 99 86 69 114 79 9

Public access

View all

15 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Ashutosh TrivediUniversity 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
Vrunda DaveResearch Scholar, Indian Institute of Technology BombayVerified email at cse.iitb.ac.in
Paul GastinProfessor, LSV, ENS Paris-SaclayVerified email at lsv.fr
Khushraj MadnaniPost-doctoral Resercher, Max-Planck Instiute for Software SystemsVerified email at mpi-sws.org
Parosh AbdullaProfessor of Computer Science, Uppsala UniversityVerified email at it.uu.se
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
Mohamed Faouzi AtigUppsala UniversityVerified email at it.uu.se
Gabriel CiobanuRomanian Academy, IasiVerified email at info.uaic.ro
Emmanuel FiliotFNRS - Université Libre de BruxellesVerified email at ulb.ac.be
Devendra BhaveIIT BombayVerified email at cse.iitb.ac.in
Jatin AroraCarnegie Mellon UniversityVerified email at andrew.cmu.edu
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
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	113	1999
P systems with replicated rewriting SN Krishna, R Rama Journal of Automata, Languages and Combinatorics 6 (3), 345-350, 2001	53	2001
P systems with mobile membranes SN Krishna, G Păun Natural Computing 4, 255-274, 2005	50	2005
Timed automata with integer resets: Language inclusion and expressiveness PV Suman, PK Pandya, SN Krishna, L Manasa Formal Modeling and Analysis of Timed Systems: 6th International Conference …, 2008	45	2008
Tissue P systems with contextual and rewriting rules SN Krishna, K Lakshmanan, R Rama Lecture Notes in Computer Science 2597, 339-351, 2003	41	2003
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	39	2019
First-order definable string transformations E Filiot, SN Krishna, A Trivedi arXiv preprint arXiv:1406.7824, 2014	34	2014
On the power of P systems with sequential and parallel rewriting SN Krishna, R Rama Intern. J. Computer Math 77 (1-2), 1-14, 2000	34	2000
Universality results for P systems based on brane calculi operations SN Krishna Theoretical Computer Science 371 (1-2), 83-105, 2007	32	2007
Compositional verification of software product lines JV Millo, S Ramesh, SN Krishna, GK Narwane Integrated Formal Methods: 10th International Conference, IFM 2013, Turku …, 2013	30	2013
Results on catalytic and evolution-communication P systems SN Krishna, A Pâun New Generation Computing 22, 377-394, 2004	30	2004
Regular transducer expressions for regular transformations V Dave, P Gastin, SN Krishna Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018	29	2018
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	24	2018
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
Analyzing timed systems using tree automata S Akshay, P Gastin, SN Krishna arXiv preprint arXiv:1604.08443, 2016	23	2016
Hybrid automata for formal modeling and verification of cyber-physical systems SN Krishna, A Trivedi arXiv preprint arXiv:1503.04928, 2015	23	2015
Adding negative prices to priced timed games T Brihaye, G Geeraerts, S Narayanan Krishna, L Manasa, B Monmege, ... CONCUR 2014–Concurrency Theory: 25th International Conference, CONCUR 2014 …, 2014	23	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	19	2016
Breaking DES using P systems SN Krishna, R Rama Theoretical Computer Science 299 (1-3), 495-508, 2003	19	2003
P systems with picture objects SN Krishna, R Rama, K Krithivasan Acta Cybernetica 15 (1), 53-74, 2001	17	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

Follow

Cited by

Co-authors