Shankara Narayanan Krishna
Shankara Narayanan Krishna
Verified email at cse.iitb.ac.in - Homepage
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
991999
P systems with replicated rewriting
SN Krishna, R Rama
Journal of Automata, Languages and Combinatorics 6 (3), 345-350, 2001
522001
P systems with mobile membranes
SN Krishna, G Păun
Natural Computing 4 (3), 255-274, 2005
512005
Tissue P systems with contextual and rewriting rules
SN Krishna, K Lakshmanan, R Rama
Workshop on Membrane Computing, 339-351, 2002
412002
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
402008
On power of p systems using sequential and parallel rewriting
SN Krishna, R Rama
International journal of computer mathematics 76 (3), 317-330, 2001
362001
First-order definable string transformations
E Filiot, SN Krishna, A Trivedi
arXiv preprint arXiv:1406.7824, 2014
332014
Universality results for P systems based on brane calculi operations
SN Krishna
Theoretical Computer Science 371 (1-2), 83-105, 2007
332007
Compositional verification of software product lines
JV Millo, S Ramesh, SN Krishna, GK Narwane
International Conference on Integrated Formal Methods, 109-123, 2013
302013
Results on catalytic and evolution-communication P systems
SN Krishna, A Pâun
New Generation Computing 22 (4), 377-394, 2004
292004
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
242012
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
222019
Analyzing timed systems using tree automata
S Akshay, P Gastin, SN Krishna
arXiv preprint arXiv:1604.08443, 2016
202016
Regular transducer expressions for regular transformations
V Dave, P Gastin, SN Krishna
Information and Computation, 104655, 2020
192020
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
192018
Breaking DES using P systems
SN Krishna, R Rama
Theoretical Computer Science 299 (1-3), 495-508, 2003
192003
A note on parallel rewriting in P systems
SN Krishna, R Rama
BULLETIN-EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE 73, 147-151, 2001
192001
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
182014
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
172016
Hybrid automata for formal modeling and verification of cyber-physical systems
SN Krishna, A Trivedi
arXiv preprint arXiv:1503.04928, 2015
172015
The system can't perform the operation now. Try again later.
Articles 1–20