Shankara Narayanan Krishna

150 papers A* 8A 1B 23C 19Misc 5Journal 66Unranked 27

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	MightyPPL: Model Checking MITL with Past and Pnueli Modalities. TACAS (1) Hsi-Ming Ho, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Paritosh K. Pandya
2025	B	`conf`	Expressive Equivalence Between Decidable Freeze and Metric Timed Temporal Logics. CONCUR Hsi-Ming Ho, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Paritosh K. Pandya
2025	J	`jnl`	MightyPPL: Verification of MITL with Past and Pnueli Modalities. CoRR Hsi-Ming Ho, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Paritosh K. Pandya
2024	A*	`conf`	An Efficient Quantifier Elimination Procedure for Presburger Arithmetic. ICALP Christoph Haase, Shankara Narayanan Krishna, Khushraj Madnani, Om Swostik Mishra, Georg Zetzsche
2024	J	`jnl`	An efficient quantifier elimination procedure for Presburger arithmetic. CoRR Christoph Haase, Shankara Narayanan Krishna, Khushraj Madnani, Om Swostik Mishra, Georg Zetzsche
2024	B	`conf`	Dynamic Partial Order Reduction for Transactional Programs on Serializable Platforms. ATVA Parosh Aziz Abdulla, Ashutosh Gupta, Shankara Narayanan Krishna, Omkar Tuppe
2024	—	`conf`	Fairness and Liveness Under Weak Consistency. Taming the Infinities of Concurrency Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankara Narayanan Krishna, Mihir Vahanwala
2024	J	`jnl`	How Hard Is Weak-Memory Testing? Proc. ACM Program. Lang. Soham Chakraborty, Shankara Narayanan Krishna, Umang Mathur, Andreas Pavlogiannis
2024	J	`jnl`	Openness And Partial Adjacency In One Variable TPTL. CoRR Shankara Narayanan Krishna, Khushraj Madnani, Agnipratim Nag, Paritosh K. Pandya
2023	—	`conf`	Counter Machines with Infrequent Reversals. FSTTCS Alain Finkel, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Georg Zetzsche
2023	J	`jnl`	From Non-punctuality to Non-adjacency: A Quest for Decidability of Timed Temporal Logics with Quantifiers. Formal Aspects Comput. Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya
2023	—	`conf`	Parameterized Verification under TSO with Data Types. TACAS (1) Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Adwait Amit Godbole, Yacoub G. Hendi, Shankara Narayanan Krishna, Stephan Spengler
2023	B	`conf`	Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete. CONCUR Shankara Narayanan Krishna, Khushraj Nanik Madnani, Rupak Majumdar, Paritosh K. Pandya
2023	J	`jnl`	Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete. CoRR Shankara Narayanan Krishna, Khushraj Nanik Madnani, Rupak Majumdar, Paritosh K. Pandya
2022	A*	`conf`	Efficient Construction of Reversible Transducers from Regular Transducer Expressions. LICS Luc Dartois, Paul Gastin, R. Govind, Shankara Narayanan Krishna
2022	J	`jnl`	Efficient Construction of Reversible Transducers from Regular Transducer Expressions. CoRR Luc Dartois, Paul Gastin, R. Govind, Shankara Narayanan Krishna
2022	J	`jnl`	Optimal Repair For Omega-regular Properties. CoRR Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi
2022	B	`conf`	Optimal Repair for Omega-Regular Properties. ATVA Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi
2022	J	`jnl`	Regular transducer expressions for regular transformations. Inf. Comput. Vrunda Dave, Paul Gastin, Shankara Narayanan Krishna
2022	J	`jnl`	Synthesis of Computable Regular Functions of Infinite Words. Log. Methods Comput. Sci. Vrunda Dave, Emmanuel Filiot, Shankara Narayanan Krishna, Nathan Lhote
2021	J	`jnl`	Generalizing Non-Punctuality for Timed Temporal Logic with Freeze Quantifiers. CoRR Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya
2021	B	`conf`	Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers. FM Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya
2021	J	`jnl`	Logics Meet 2-Way 1-Clock Alternating Timed Automata. CoRR Shankara Narayanan Krishna, Khushraj Nanik Madnani, Manuel Mazo Jr., Paritosh K. Pandya
2021	B	`conf`	One-way Resynchronizability of Word Transducers. FoSSaCS Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Gabriele Puppis
2021	J	`jnl`	One-way resynchronizability of word transducers. CoRR Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Gabriele Puppis
2021	B	`conf`	Regular Model Checking with Regular Relations. FCT Vrunda Dave, Taylor Dohmen, Shankara Narayanan Krishna, Ashutosh Trivedi
2021	A*	`conf`	SD-Regular Transducer Expressions for Aperiodic Transformations. LICS Luc Dartois, Paul Gastin, Shankara Narayanan Krishna
2021	J	`jnl`	SD-Regular Transducer Expressions for Aperiodic Transformations. CoRR Luc Dartois, Paul Gastin, Shankara Narayanan Krishna
2021	J	`jnl`	Safety Verification of Parameterized Systems under Release-Acquire. CoRR Adwait Godbole, Shankara Narayanan Krishna, Roland Meyer
2020	B	`conf`	On the Separability Problem of String Constraints. CONCUR Parosh Aziz Abdulla, Mohamed Faouzi Atig, Vrunda Dave, Shankara Narayanan Krishna
2020	J	`jnl`	On the Separability Problem of String Constraints. CoRR Parosh Aziz Abdulla, Mohamed Faouzi Atig, Vrunda Dave, Shankara Narayanan Krishna
2020	B	`conf`	Robust Controller Synthesis for Duration Calculus. ATVA Kalyani Dole, Ashutosh Gupta, Shankara Narayanan Krishna
2020	B	`conf`	Synthesis of Computable Regular Functions of Infinite Words. CONCUR Vrunda Dave, Emmanuel Filiot, Shankara Narayanan Krishna, Nathan Lhote
2019	J	`jnl`	Deciding the Computability of Regular Functions over Infinite Words. CoRR Vrunda Dave, Emmanuel Filiot, Shankara Narayanan Krishna, Nathan Lhote
2019	B	`conf`	Knowledge Compilation for Boolean Functional Synthesis. FMCAD S. Akshay, Jatin Arora, Supratik Chakraborty, Shankara Narayanan Krishna, Divya Raghunathan, Shetal Shah
2019	J	`jnl`	Knowledge Compilation for Boolean Functional Synthesis. CoRR S. Akshay, Jatin Arora, Supratik Chakraborty, Shankara Narayanan Krishna, Divya Raghunathan, Shetal Shah
2019	J	`jnl`	MSO-Definable Regular Model Checking. CoRR Vrunda Dave, Taylor Dohmen, Shankara Narayanan Krishna, Ashutosh Trivedi
2019	B	`conf`	On Synthesis of Resynchronizers for Transducers. MFCS Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Vincent Penelle, Gabriele Puppis
2019	J	`jnl`	On Synthesis of Resynchronizers for Transducers. CoRR Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Vincent Penelle, Gabriele Puppis
2019	C	`conf`	On Timed Scope-Bounded Context-Sensitive Languages. DLT Devendra Bhave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi
2019	J	`jnl`	On Timed Scope-bounded Context-sensitive Languages. CoRR Devendra Bhave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi
2019	A*	`conf`	Timed Systems through the Lens of Logic. LICS S. Akshay, Paul Gastin, Vincent Jugé, Shankara Narayanan Krishna
2019	J	`jnl`	Timed Systems through the Lens of Logic. CoRR S. Akshay, Paul Gastin, Vincent Jugé, Shankara Narayanan Krishna
2019	A*	`conf`	Verification of programs under the release-acquire semantics. PLDI Parosh Aziz Abdulla, Jatin Arora, Mohamed Faouzi Atig, Shankara Narayanan Krishna
2018	J	`jnl`	Analyzing Timed Systems Using Tree Automata. Log. Methods Comput. Sci. S. Akshay, Paul Gastin, Shankara Narayanan Krishna
2018	J	`jnl`	Büchi-Kamp Theorems for 1-clock ATA. CoRR Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya
2018	B	`conf`	Logics Meet 1-Clock Alternating Timed Automata. CONCUR Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya
2018	—	`conf`	Perfect Timed Communication Is Hard. FORMATS Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna
2018	A*	`conf`	Regular Transducer Expressions for Regular Transformations. LICS Vrunda Dave, Paul Gastin, Shankara Narayanan Krishna
2018	J	`jnl`	Regular Transducer Expressions for Regular Transformations. CoRR Vrunda Dave, Paul Gastin, Shankara Narayanan Krishna
2018	A*	`conf`	Regular and First-Order List Functions. LICS Mikolaj Bojanczyk, Laure Daviaud, Shankara Narayanan Krishna
2018	J	`jnl`	Unambiguous Forest Factorization. CoRR Paul Gastin, Shankara Narayanan Krishna
2018	—	`conf`	Verification of Timed Asynchronous Programs. FSTTCS Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna, Shaan Vaidya
2017	J	`jnl`	Further results on generalised communicating P systems. Theor. Comput. Sci. Shankara Narayanan Krishna, Marian Gheorghe, Florentin Ipate, Erzsébet Csuhaj-Varjú, Rodica Ceterchi
2017	B	`conf`	Making Metric Temporal Logic Rational. MFCS Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya
2017	J	`jnl`	Making Metric Temporal Logic Rational. CoRR Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya
2017	J	`jnl`	The Reach-Avoid Problem for Constant-Rate Multi-Mode Systems. CoRR Shankara Narayanan Krishna, Aviral Kumar, Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi
2017	B	`conf`	The Reach-Avoid Problem for Constant-Rate Multi-mode Systems. ATVA Shankara Narayanan Krishna, Aviral Kumar, Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi
2017	B	`conf`	Towards an Efficient Tree Automata Based Technique for Timed Systems. CONCUR S. Akshay, Paul Gastin, Shankara Narayanan Krishna, Ilias Sarkar
2017	J	`jnl`	Towards an Efficient Tree Automata based technique for Timed Systems. CoRR S. Akshay, Paul Gastin, Shankara Narayanan Krishna, Ilias Sarkar
2017	J	`jnl`	What is Decidable about Perfect Timed Channels? CoRR Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna
2016	C	`conf`	A Logical Characterization for Dense-Time Visibly Pushdown Automata. LATA Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi
2016	C	`conf`	A Perfect Class of Context-Sensitive Timed Languages. DLT Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi
2016	B	`conf`	Analyzing Timed Systems Using Tree Automata. CONCUR S. Akshay, Paul Gastin, Shankara Narayanan Krishna
2016	J	`jnl`	Analyzing Timed Systems Using Tree Automata. CoRR S. Akshay, Paul Gastin, Shankara Narayanan Krishna
2016	—	`conf`	FO-Definable Transformations of Infinite Strings. FSTTCS Vrunda Dave, Shankara Narayanan Krishna, Ashutosh Trivedi
2016	J	`jnl`	FO-definable transformations of infinite strings. CoRR Vrunda Dave, Shankara Narayanan Krishna, Ashutosh Trivedi
2016	—	`conf`	Mean-Payoff Games on Timed Automata. FSTTCS Shibashis Guha, Marcin Jurdzinski, Shankara Narayanan Krishna, Ashutosh Trivedi
2016	J	`jnl`	Mean-Payoff Games on Timed Automata. CoRR Shibashis Guha, Marcin Jurdzinski, Shankara Narayanan Krishna, Ashutosh Trivedi
2016	B	`conf`	Metric Temporal Logic with Counting. FoSSaCS Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya
2016	—	`conf`	On Nonlinear Prices in Timed Automata. V2CPS@IFM Devendra Bhave, Shankara Narayanan Krishna, Ashutosh Trivedi
2016	B	`conf`	Stochastic Timed Games Revisited. MFCS S. Akshay, Patricia Bouyer, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
2016	J	`jnl`	Stochastic Timed Games Revisited. CoRR S. Akshay, Patricia Bouyer, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
2016	J	`jnl`	Traceability Analyses between Features and Assets in Software Product Lines. Entropy Ganesh Khandu Narwane, José Angel Galindo, Shankara Narayanan Krishna, David Benavides, Jean-Vivien Millo, S. Ramesh
2015	—	`conf`	Bounded-rate multi-mode systems based motion planning. HSCC Devendra Bhave, Sagar Jha, Shankara Narayanan Krishna, Sven Schewe, Ashutosh Trivedi
2015	A*	`conf`	Compositional modeling and analysis of automotive feature product lines. DAC Shankara Narayanan Krishna, Ganesh Khandu Narwane, S. Ramesh, Ashutosh Trivedi
2015	J	`jnl`	Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems. CoRR Shankara Narayanan Krishna, Ashutosh Trivedi
2015	—	`ed.`	Logic and Its Applications - 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings ICLA Mohua Banerjee, Shankara Narayanan Krishna
2015	J	`jnl`	Metric Temporal Logic with Counting. CoRR Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya
2015	C	`conf`	On Pure Nash Equilibria in Stochastic Games. TAMC Ankush Das, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi, Dominik Wojtczak
2015	C	`conf`	Reachability Games on Recursive Hybrid Automata. TIME Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
2015	—	`conf`	Revisiting Robustness in Priced Timed Games. FSTTCS Shibashis Guha, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
2015	J	`jnl`	Revisiting Robustness in Priced Timed Games. CoRR Shibashis Guha, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
2015	C	`conf`	Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable. LATA Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
2015	—	`conf`	What's decidable about recursive hybrid automata? HSCC Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
2014	Misc	`conf`	A Cost Effective Approach for Analyzing Software Product Lines. ICDCIT Ganesh Khandu Narwane, Shankara Narayanan Krishna, Anup Kumar Bhattacharjee
2014	B	`conf`	Adding Negative Prices to Priced Timed Games. CONCUR Thomas Brihaye, Gilles Geeraerts, Shankara Narayanan Krishna, Lakshmi Manasa, Benjamin Monmege, Ashutosh Trivedi
2014	J	`jnl`	Adding Negative Prices to Priced Timed Games. CoRR Thomas Brihaye, Gilles Geeraerts, Shankara Narayanan Krishna, Lakshmi Manasa, Benjamin Monmege, Ashutosh Trivedi
2014	J	`jnl`	Bounded-Rate Multi-Mode Systems Based Motion Planning. CoRR Devendra Bhave, Sagar Jha, Shankara Narayanan Krishna, Sven Schewe, Ashutosh Trivedi
2014	—	`conf`	First-order Definable String Transformations. FSTTCS Emmanuel Filiot, Shankara Narayanan Krishna, Ashutosh Trivedi
2014	J	`jnl`	First-order definable string transformations. CoRR Emmanuel Filiot, Shankara Narayanan Krishna, Ashutosh Trivedi
2014	—	`conf`	Improved Undecidability Results for Reachability Games on Recursive Timed Automata. GandALF Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
2014	J	`jnl`	On The Reachability Problem for Recursive Hybrid Automata with One and Two Players. CoRR Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
2014	C	`conf`	On Unary Fragments of MTL and TPTL over Timed Words. ICTAC Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya
2014	C	`conf`	Partially Punctual Metric Temporal Logic is Decidable. TIME Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya
2014	J	`jnl`	Partially Punctual Metric Temporal Logic is Decidable. CoRR Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya
2014	—	`conf`	Weak Singular Hybrid Automata. FORMATS Shankara Narayanan Krishna, Umang Mathur, Ashutosh Trivedi
2013	—	`conf`	A Unifying Approach to Decide Relations for Timed Automata and their Game Characterization. EXPRESS/SOS Shibashis Guha, Shankara Narayanan Krishna, Chinmay Narayan, S. Arun-Kumar
2013	B	`conf`	Compositional Verification of Software Product Lines. IFM Jean-Vivien Millo, S. Ramesh, Shankara Narayanan Krishna, Ganesh Khandu Narwane
2013	J	`jnl`	On the Decidability and Complexity of Some Fragments of Metric Temporal Logic CoRR Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya
2013	Misc	`conf`	Solving the 4QBF Problem in Polynomial Time by Using the Biological-Inspired Mobility. ICDCIT Bogdan Aman, Gabriel Ciobanu, Shankara Narayanan Krishna
2013	C	`conf`	Some Classes of Generalised Communicating P Systems and Simple Kernel P Systems. CiE Shankara Narayanan Krishna, Marian Gheorghe, Ciprian Dragomir
2013	J	`jnl`	Weak Singular Hybrid Automata. CoRR Shankara Narayanan Krishna, Umang Mathur, Ashutosh Trivedi
2012	J	`jnl`	Compositional Verification of Evolving Software Product Lines CoRR Jean-Vivien Millo, S. Ramesh, Shankara Narayanan Krishna, Ganesh Khandu Narwane
2012	J	`jnl`	Formalizing Traceability and Derivability in Software Product Lines CoRR Shankara Narayanan Krishna, Ganesh Khandu Narwane, S. Ramesh, Swarup Mohalik, Jean-Vivien Millo
2012	J	`jnl`	Game Characterizations of Timed Relations for Timed Automata Processes CoRR Shibashis Guha, Shankara Narayanan Krishna
2012	Misc	`conf`	Nash Equilibrium in Weighted Concurrent Timed Games with Reachability Objectives. ICDCIT Shankara Narayanan Krishna, Lakshmi Manasa, Ashish Chiplunkar
2012	C	`conf`	On the Computability Power of Membrane Systems with Controlled Mobility. CiE Shankara Narayanan Krishna, Bogdan Aman, Gabriel Ciobanu
2012	—	`conf`	Tracing SPLs precisely and efficiently. SPLC (1) Swarup Mohalik, S. Ramesh, Jean-Vivien Millo, Shankara Narayanan Krishna, Ganesh Khandu Narwane
2011	—	`conf`	A S DCFS Shankara Narayanan Krishna, Gabriel Ciobanu
2011	Misc	`conf`	An Overview of Membrane Computing. ICDCIT Shankara Narayanan Krishna
2011	C	`conf`	Computability Power of Mobility in Enhanced Mobile Membranes. CiE Shankara Narayanan Krishna, Gabriel Ciobanu
2011	J	`jnl`	Enhanced Mobile Membranes: Computability Results. Theory Comput. Syst. Gabriel Ciobanu, Shankara Narayanan Krishna
2011	J	`jnl`	Further Results on Languages of Membrane Structures CoRR Raghavan Rama, H. Ramesh, Marian Gheorghe, Shankara Narayanan Krishna
2011	Misc	`conf`	Matrix Insertion-Deletion Systems for Bio-Molecular Structures. ICDCIT Lakshmanan Kuppusamy, Anand Mahendran, Shankara Narayanan Krishna
2011	J	`jnl`	Model Checking Weighted Integer Reset Timed Automata. Theory Comput. Syst. Lakshmi Manasa, Shankara Narayanan Krishna, Chinmay Jain
2011	—	`conf`	On Construction of Safety Signal Automata for $MITL[\: \mathcal{U}, \: \mathcal{S}]$ Using Temporal Projections. FORMATS Dileep Raghunath Kini, Shankara Narayanan Krishna, Paritosh K. Pandya
2011	J	`jnl`	On Restricted Bio-Turing Machines. Fundam. Informaticae Rama Raghavan, H. Ramesh, Marian Gheorghe, Shankara Narayanan Krishna
2010	J	`jnl`	Integer Reset Timed Automata: Clock Reduction and Determinizability CoRR Lakshmi Manasa, Shankara Narayanan Krishna
2009	J	`jnl`	Membrane computing with transport and embedded proteins. Theor. Comput. Sci. Shankara Narayanan Krishna
2009	—	`conf`	Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata. FORMATS Ashish Chiplunkar, Shankara Narayanan Krishna, Chinmay Jain
2008	C	`conf`	On the Computational Power of Enhanced Mobile Membranes. CiE Shankara Narayanan Krishna, Gabriel Ciobanu
2008	C	`conf`	The Expressiveness of Concentration Controlled P Systems. UC Shankara Narayanan Krishna
2008	—	`conf`	Timed Automata with Integer Resets: Language Inclusion and Expressiveness. FORMATS P. Vijay Suman, Paritosh K. Pandya, Shankara Narayanan Krishna, Lakshmi Manasa
2008	C	`conf`	Updatable Timed Automata with Additive and Diagonal Constraints. CiE Lakshmi Manasa, Shankara Narayanan Krishna, Kumar Nagaraj
2007	A	`conf`	On Sampling Abstraction of Continuous Time Logic with Durations. TACAS Paritosh K. Pandya, Shankara Narayanan Krishna, Kuntal Loya
2007	C	`conf`	On the Computational Power of Flip-Flop Proteins on Membranes. CiE Shankara Narayanan Krishna
2007	—	`conf`	Towards Reducing Parallelism in P Systems. Formal Models, Languages and Applications Shankara Narayanan Krishna, Raghavan Rama
2007	J	`jnl`	Universality results for P systems based on brane calculi operations. Theor. Comput. Sci. Shankara Narayanan Krishna
2006	C	`conf`	On Pure Catalytic P Systems. UC Shankara Narayanan Krishna
2006	C	`conf`	On the Power of Bio-Turing Machines. UC H. Ramesh, Shankara Narayanan Krishna, Raghavan Rama
2006	C	`conf`	Upper and Lower Bounds for the Computational Power of P Systems with Mobile Membranes. CiE Shankara Narayanan Krishna
2005	B	`conf`	Communicating Distributed H Systems: Optimal Results with Efficient Ways of Communication. DNA Shankara Narayanan Krishna
2005	J	`jnl`	Further Results on Contextual and Rewriting P Systems. Fundam. Informaticae Shankara Narayanan Krishna, Raghavan Rama, H. Ramesh
2005	—	`conf`	Modal Strength Reduction in Quantified Discrete Duration Calculus. FSTTCS Shankara Narayanan Krishna, Paritosh K. Pandya
2005	J	`jnl`	P Systems with Mobile Membranes. Nat. Comput. Shankara Narayanan Krishna, Gheorghe Paun
2005	C	`conf`	The Power of Mobility: Four Membranes Suffice. CiE Shankara Narayanan Krishna
2004	—	`conf`	P Systems with Symport/Antiport: The Traces of RBCs. Workshop on Membrane Computing Shankara Narayanan Krishna
2004	J	`jnl`	Results on Catalytic and Evolution-Communication P Systems. New Gener. Comput. Shankara Narayanan Krishna, Andrei Paun
2003	J	`jnl`	Breaking DES using P systems. Theor. Comput. Sci. Shankara Narayanan Krishna, Raghavan Rama
2003	J	`jnl`	On Some Classes of Contextual Grammars. Int. J. Comput. Math. Shankara Narayanan Krishna, Lakshmanan Kuppusamy, Raghavan Rama
2002	—	`conf`	On The Power of Tissue P Systems Working in the Minimal Mode. UMC Shankara Narayanan Krishna, Raghavan Rama
2002	J	`jnl`	On the Power of P Systems with Contextual Rules. Fundam. Informaticae Shankara Narayanan Krishna, Lakshmanan Kuppusamy, Raghavan Rama
2002	—	`conf`	Tissue P Systems with Contextual and Rewriting Rules. WMC-CdeA Shankara Narayanan Krishna, Lakshmanan Kuppusamy, Raghavan Rama
2001	J	`jnl`	A Note on Parallel Rewriting in P Systems. Bull. EATCS Shankara Narayanan Krishna, Raghavan Rama
2001	B	`conf`	Insertion-Deletion P Systems. DNA Shankara Narayanan Krishna, Raghavan Rama
2001	J	`jnl`	On power of p systems using sequential and parallel rewriting. Int. J. Comput. Math. Shankara Narayanan Krishna, Raghavan Rama
2001	J	`jnl`	P Systems with Picture Objects. Acta Cybern. Shankara Narayanan Krishna, Raghavan Rama, Kamala Krithivasan
2001	J	`jnl`	P Systems with Replicated Rewriting. J. Autom. Lang. Comb. Shankara Narayanan Krishna, Raghavan Rama
1999	—	`conf`	Contextual Array Splicing Systems. SPIRE/CRIWG Raghavan Rama, Shankara Narayanan Krishna