 | 2012 |
| 42 |  | Shankara Narayanan Krishna,
Bogdan Aman,
Gabriel Ciobanu:
On the Computability Power of Membrane Systems with Controlled Mobility.
CiE 2012: 626-635 |
| 41 |  | Shankara Narayanan Krishna,
Lakshmi Manasa,
Ashish Chiplunkar:
Nash Equilibrium in Weighted Concurrent Timed Games with Reachability Objectives.
ICDCIT 2012: 117-128 |
| 40 |  | Shankara Narayanan Krishna,
Ganesh Narwane,
S. Ramesh,
Swarup Mohalik,
Jean-Vivien Millo:
Formalizing Traceability and Derivability in Software Product Lines
CoRR abs/1201.0595: (2012) |
| 2011 |
| 39 |  | Shankara Narayanan Krishna,
Gabriel Ciobanu:
Computability Power of Mobility in Enhanced Mobile Membranes.
CiE 2011: 160-170 |
| 38 |  | Shankara Narayanan Krishna,
Gabriel Ciobanu:
A S2P ÈP2P\Sigma_2^P \cup \Pi_2^P Lower Bound Using Mobile Membranes.
DCFS 2011: 275-288 |
| 37 |  | Dileep Raghunath Kini,
Shankara Narayanan Krishna,
Paritosh K. Pandya:
On Construction of Safety Signal Automata for $MITL[\: \mathcal{U}, \: \mathcal{S}]$ Using Temporal Projections.
FORMATS 2011: 225-239 |
| 36 |  | Shankara Narayanan Krishna:
An Overview of Membrane Computing.
ICDCIT 2011: 1-14 |
| 35 |  | Lakshmanan Kuppusamy,
Anand Mahendran,
Shankara Narayanan Krishna:
Matrix Insertion-Deletion Systems for Bio-Molecular Structures.
ICDCIT 2011: 301-312 |
| 34 |  | Raghavan Rama,
H. Ramesh,
Marian Gheorghe,
Shankara Narayanan Krishna:
Further Results on Languages of Membrane Structures
CoRR abs/1108.3431: (2011) |
| 33 |  | Raghavan Rama,
H. Ramesh,
Marian Gheorghe,
Shankara Narayanan Krishna:
On Restricted Bio-Turing Machines.
Fundam. Inform. 110(1-4): 309-320 (2011) |
| 32 |  | Lakshmi Manasa,
Shankara Narayanan Krishna,
Chinmay Jain:
Model Checking Weighted Integer Reset Timed Automata.
Theory Comput. Syst. 48(3): 648-679 (2011) |
| 31 |  | Gabriel Ciobanu,
Shankara Narayanan Krishna:
Enhanced Mobile Membranes: Computability Results.
Theory Comput. Syst. 48(3): 715-729 (2011) |
| 2010 |
| 30 |  | Lakshmi Manasa,
Shankara Narayanan Krishna:
Integer Reset Timed Automata: Clock Reduction and Determinizability
CoRR abs/1001.1215: (2010) |
| 2009 |
| 29 |  | Ashish Chiplunkar,
Shankara Narayanan Krishna,
Chinmay Jain:
Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata.
FORMATS 2009: 88-102 |
| 28 |  | Shankara Narayanan Krishna:
Membrane computing with transport and embedded proteins.
Theor. Comput. Sci. 410(4-5): 355-375 (2009) |
| 2008 |
| 27 |  | Shankara Narayanan Krishna,
Gabriel Ciobanu:
On the Computational Power of Enhanced Mobile Membranes.
CiE 2008: 326-335 |
| 26 |  | Lakshmi Manasa,
Shankara Narayanan Krishna,
Kumar Nagaraj:
Updatable Timed Automata with Additive and Diagonal Constraints.
CiE 2008: 407-416 |
| 25 |  | P. Vijay Suman,
Paritosh K. Pandya,
Shankara Narayanan Krishna,
Lakshmi Manasa:
Timed Automata with Integer Resets: Language Inclusion and Expressiveness.
FORMATS 2008: 78-92 |
| 24 |  | Shankara Narayanan Krishna:
The Expressiveness of Concentration Controlled P Systems.
UC 2008: 96-110 |
| 2007 |
| 23 |  | Shankara Narayanan Krishna:
On the Computational Power of Flip-Flop Proteins on Membranes.
CiE 2007: 695-704 |
| 22 |  | Paritosh K. Pandya,
Shankara Narayanan Krishna,
Kuntal Loya:
On Sampling Abstraction of Continuous Time Logic with Durations.
TACAS 2007: 246-260 |
| 21 |  | Shankara Narayanan Krishna:
Universality results for P systems based on brane calculi operations.
Theor. Comput. Sci. 371(1-2): 83-105 (2007) |
| 2006 |
| 20 |  | Shankara Narayanan Krishna:
Upper and Lower Bounds for the Computational Power of P Systems with Mobile Membranes.
CiE 2006: 526-535 |
| 19 |  | Shankara Narayanan Krishna:
On Pure Catalytic P Systems.
UC 2006: 152-165 |
| 18 |  | H. Ramesh,
Shankara Narayanan Krishna,
Raghavan Rama:
On the Power of Bio-Turing Machines.
UC 2006: 243-253 |
| 2005 |
| 17 |  | Shankara Narayanan Krishna:
The Power of Mobility: Four Membranes Suffice.
CiE 2005: 242-251 |
| 16 |  | Shankara Narayanan Krishna:
Communicating Distributed H Systems: Optimal Results with Efficient Ways of Communication.
DNA 2005: 181-192 |
| 15 |  | Shankara Narayanan Krishna,
Paritosh K. Pandya:
Modal Strength Reduction in Quantified Discrete Duration Calculus.
FSTTCS 2005: 444-456 |
| 14 |  | Shankara Narayanan Krishna,
Raghavan Rama,
H. Ramesh:
Further Results on Contextual and Rewriting P Systems.
Fundam. Inform. 64(1-4): 241-253 (2005) |
| 13 |  | Shankara Narayanan Krishna,
Gheorghe Paun:
P Systems with Mobile Membranes.
Natural Computing 4(3): 255-274 (2005) |
| 2004 |
| 12 |  | Shankara Narayanan Krishna:
P Systems with Symport/Antiport: The Traces of RBCs.
Workshop on Membrane Computing 2004: 331-343 |
| 11 |  | Shankara Narayanan Krishna,
Andrei Paun:
Results on Catalytic and Evolution-Communication P Systems.
New Generation Comput. 22(4): 377-394 (2004) |
| 2003 |
| 10 |  | Shankara Narayanan Krishna,
Kuppuswamy Lakshmanan,
Raghavan Rama:
On Some Classes of Contextual Grammars.
Int. J. Comput. Math. 80(2): 151-164 (2003) |
| 9 |  | Shankara Narayanan Krishna,
Raghavan Rama:
Breaking DES using P systems.
Theor. Comput. Sci. 1-3(299): 495-508 (2003) |
| 2002 |
| 8 |  | Shankara Narayanan Krishna,
Raghavan Rama:
On The Power of Tissue P Systems Working in the Minimal Mode.
UMC 2002: 208-219 |
| 7 |  | Shankara Narayanan Krishna,
Kuppuswamy Lakshmanan,
Raghavan Rama:
Tissue P Systems with Contextual and Rewriting Rules.
WMC-CdeA 2002: 339-351 |
| 6 |  | Shankara Narayanan Krishna,
Kuppuswamy Lakshmanan,
Raghavan Rama:
On the Power of P Systems with Contextual Rules.
Fundam. Inform. 49(1-3): 167-178 (2002) |
| 2001 |
| 5 |  | Shankara Narayanan Krishna,
Raghavan Rama:
Insertion-Deletion P Systems.
DNA 2001: 360-370 |
| 4 |  | Shankara Narayanan Krishna,
Raghavan Rama,
Kamala Krithivasan:
P Systems with Picture Objects.
Acta Cybern. 15(1): 53-74 (2001) |
| 3 |  | Shankara Narayanan Krishna,
Raghavan Rama:
A Note on Parallel Rewriting in P Systems.
Bulletin of the EATCS 73: 147-151 (2001) |
| 2 |  | Shankara Narayanan Krishna,
Raghavan Rama:
P Systems with Replicated Rewriting.
Journal of Automata, Languages and Combinatorics 6(3): 345-350 (2001) |
| 1999 |
| 1 |  | Raghavan Rama,
Shankara Narayanan Krishna:
Contextual Array Splicing Systems.
SPIRE/CRIWG 1999: 168-175 |