Shankara Narayanan Krishna Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Ashish Chiplunkar [29] [41]
2Gabriel Ciobanu [27] [31] [38] [39]
3Marian Gheorghe [33] [34]
4Chinmay Jain [29] [32]
5Dileep Kini (Dileep Raghunath Kini) [37]
6Kamala Krithivasan [4]
7Lakshmanan Kuppusamy [35]
8Kuppuswamy Lakshmanan [6] [7] [10]
9Kuntal Loya [22]
10Anand Mahendran [35]
11Lakshmi Manasa [25] [26] [30] [32] [41]
12Jean-Vivien Millo [40]
13Swarup Mohalik [40]
14Kumar Nagaraj [26]
15Ganesh Narwane [40]
16Paritosh K. Pandya [15] [22] [25] [37]
17Andrei Paun [11]
18Gheorghe Paun [13]
19Raghavan Rama [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [14] [18] [33] [34]
20H. Ramesh [14] [18] [33] [34]
21S. Ramesh (Sethu Ramesh) [40]
22P. Vijay Suman [25]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page