Seguir
Shankara Narayanan Krishna
Shankara Narayanan Krishna
Dirección de correo verificada de cse.iitb.ac.in - Página principal
Título
Citado por
Citado por
Año
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
1161999
P systems with mobile membranes
SN Krishna, G Păun
Natural Computing 4, 255-274, 2005
532005
P systems with replicated rewriting
SN Krishna, R Rama
Journal of Automata, Languages and Combinatorics 6 (3), 345-350, 2001
532001
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
512019
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
492008
Tissue P systems with contextual and rewriting rules
SN Krishna, K Lakshmanan, R Rama
Workshop on Membrane Computing, 339-351, 2002
422002
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
382000
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
372018
First-order definable string transformations
E Filiot, SN Krishna, A Trivedi
arXiv preprint arXiv:1406.7824, 2014
372014
Universality results for P systems based on brane calculi operations
SN Krishna
Theoretical Computer Science 371 (1-2), 83-105, 2007
352007
Languages of P systems: computability and complexity
SN Krishna
University of Madras, Chennai, India, 2001
342001
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
332018
Compositional verification of software product lines
JV Millo, S Ramesh, SN Krishna, GK Narwane
Integrated Formal Methods: 10th International Conference, IFM 2013, Turku …, 2013
322013
Results on catalytic and evolution-communication P systems
SN Krishna, A Pâun
New Generation Computing 22, 377-394, 2004
302004
Adding negative prices to priced timed games
T Brihaye, G Geeraerts, S Narayanan Krishna, L Manasa, B Monmege, ...
International Conference on Concurrency Theory, 560-575, 2014
262014
Matrix insertion-deletion systems for bio-molecular structures
L Kuppusamy, A Mahendran, SN Krishna
Distributed Computing and Internet Technology: 7th International Conference …, 2011
262011
Knowledge compilation for Boolean functional synthesis
S Akshay, J Arora, S Chakraborty, S Krishna, D Raghunathan, S Shah
2019 Formal Methods in Computer Aided Design (FMCAD), 161-169, 2019
252019
Hybrid automata for formal modeling and verification of cyber-physical systems
SN Krishna, A Trivedi
arXiv preprint arXiv:1503.04928, 2015
242015
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
The power of mobility: Four membranes suffice
SN Krishna
New Computational Paradigms: First Conference on Computability in Europe …, 2005
212005
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20