| 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 | 120 | 1999 |
| P systems with mobile membranes SN Krishna, G Păun Natural Computing 4, 255-274, 2005 | 56 | 2005 |
| P systems with replicated rewriting SN Krishna, R Rama Journal of Automata, Languages and Combinatorics 6 (3), 345-350, 2001 | 53 | 2001 |
| 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 | 51 | 2019 |
| 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 | 49 | 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 the power of P systems with sequential and parallel rewriting SN Krishna, R Rama Intern. J. Computer Math 77 (1-2), 1-14, 2000 | 38 | 2000 |
| First-order definable string transformations E Filiot, SN Krishna, A Trivedi arXiv preprint arXiv:1406.7824, 2014 | 36 | 2014 |
| Universality results for P systems based on brane calculi operations SN Krishna Theoretical Computer Science 371 (1-2), 83-105, 2007 | 36 | 2007 |
| 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 | 34 | 2018 |
| 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 | 33 | 2018 |
| Compositional verification of software product lines JV Millo, S Ramesh, SN Krishna, GK Narwane Integrated Formal Methods: 10th International Conference, IFM 2013, Turku …, 2013 | 33 | 2013 |
| Languages of P systems: computability and complexity SN Krishna PhD Thesis, 2001 | 31 | 2001 |
| Results on catalytic and evolution-communication P systems SN Krishna, A Pâun New Generation Computing 22, 377-394, 2004 | 30 | 2004 |
| 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 | 27 | 2019 |
| Matrix insertion-deletion systems for bio-molecular structures L Kuppusamy, A Mahendran, SN Krishna Distributed Computing and Internet Technology: 7th International Conference …, 2011 | 26 | 2011 |
| 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 | 25 | 2014 |
| Hybrid automata for formal modeling and verification of cyber-physical systems SN Krishna, A Trivedi arXiv preprint arXiv:1503.04928, 2015 | 24 | 2015 |
| Containment of simple regular path queries D Figueira, A Godbole, S Krishna, W Martens, M Niewerth, T Trautner arXiv preprint arXiv:2003.04411, 2020 | 21 | 2020 |
| 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 | 21 | 2012 |
Ashutosh TrivediAssociate Professor, University of Colorado at BoulderCorreu electrònic verificat a colorado.edu