Shankara Narayanan Krishna
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
60
Venues
24
Active years
1999–2026
Best venue rank
A*
Where they publish
- BCONCUR8 papers
- CCiE8 papers
- A*LICS5 papers
- NationalICDCIT5 papers
- BATVA4 papers
- ATACAS3 papers
- BMFCS3 papers
- CUC3 papers
- BFOSSACS2 papers
- CDLT2 papers
- CLATA2 papers
- CTIME2 papers
- BDNA2 papers
- A*ICALP1 paper
- BFCT1 paper
- BFM1 paper
- BFMCAD1 paper
- A*PLDI1 paper
- A*DAC1 paper
- CTAMC1 paper
- CICTAC1 paper
- BIFM1 paper
- BSPLC1 paper
- CSPIRE1 paper
Papers
60 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TACAS | MightyPPL: Model Checking MITL with Past and Pnueli Modalities. | Hsi-Ming Ho, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Paritosh K. Pandya |
| 2025 | CONCUR | Expressive Equivalence Between Decidable Freeze and Metric Timed Temporal Logics. | Hsi-Ming Ho, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Paritosh K. Pandya |
| 2024 | ATVA | Dynamic Partial Order Reduction for Transactional Programs on Serializable Platforms. | Parosh Aziz Abdulla, Ashutosh Gupta, Shankara Narayanan Krishna, Omkar Tuppe |
| 2024 | ICALP | An Efficient Quantifier Elimination Procedure for Presburger Arithmetic. | Christoph Haase, Shankara Narayanan Krishna, Khushraj Madnani, Om Swostik Mishra, Georg Zetzsche |
| 2023 | CONCUR | Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete. | Shankara Narayanan Krishna, Khushraj Nanik Madnani, Rupak Majumdar, Paritosh K. Pandya |
| 2023 | TACAS | Parameterized Verification under TSO with Data Types. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Adwait Amit Godbole, Yacoub G. Hendi, Shankara Narayanan Krishna, Stephan Spengler |
| 2022 | ATVA | Optimal Repair for Omega-Regular Properties. | Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi |
| 2022 | LICS | Efficient Construction of Reversible Transducers from Regular Transducer Expressions. | Luc Dartois, Paul Gastin, R. Govind, Shankara Narayanan Krishna |
| 2021 | FCT | Regular Model Checking with Regular Relations. | Vrunda Dave, Taylor Dohmen, Shankara Narayanan Krishna, Ashutosh Trivedi |
| 2021 | FM | Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers. | Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya |
| 2021 | FOSSACS | One-way Resynchronizability of Word Transducers. | Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Gabriele Puppis |
| 2021 | LICS | SD-Regular Transducer Expressions for Aperiodic Transformations. | Luc Dartois, Paul Gastin, Shankara Narayanan Krishna |
| 2020 | ATVA | Robust Controller Synthesis for Duration Calculus. | Kalyani Dole, Ashutosh Gupta, Shankara Narayanan Krishna |
| 2020 | CONCUR | On the Separability Problem of String Constraints. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Vrunda Dave, Shankara Narayanan Krishna |
| 2020 | CONCUR | Synthesis of Computable Regular Functions of Infinite Words. | Vrunda Dave, Emmanuel Filiot, Shankara Narayanan Krishna, Nathan Lhote |
| 2019 | DLT | On Timed Scope-Bounded Context-Sensitive Languages. | Devendra Bhave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi |
| 2019 | FMCAD | Knowledge Compilation for Boolean Functional Synthesis. | S. Akshay, Jatin Arora, Supratik Chakraborty, Shankara Narayanan Krishna, Divya Raghunathan, Shetal Shah |
| 2019 | LICS | Timed Systems through the Lens of Logic. | S. Akshay, Paul Gastin, Vincent Jug, Shankara Narayanan Krishna |
| 2019 | MFCS | On Synthesis of Resynchronizers for Transducers. | Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Vincent Penelle, Gabriele Puppis |
| 2019 | PLDI | Verification of programs under the release-acquire semantics. | Parosh Aziz Abdulla, Jatin Arora, Mohamed Faouzi Atig, Shankara Narayanan Krishna |
| 2018 | CONCUR | Logics Meet 1-Clock Alternating Timed Automata. | Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya |
| 2018 | LICS | Regular and First-Order List Functions. | Mikolaj Bojanczyk, Laure Daviaud, Shankara Narayanan Krishna |
| 2018 | LICS | Regular Transducer Expressions for Regular Transformations. | Vrunda Dave, Paul Gastin, Shankara Narayanan Krishna |
| 2017 | ATVA | The Reach-Avoid Problem for Constant-Rate Multi-mode Systems. | Shankara Narayanan Krishna, Aviral Kumar, Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi |
| 2017 | CONCUR | Towards an Efficient Tree Automata Based Technique for Timed Systems. | S. Akshay, Paul Gastin, Shankara Narayanan Krishna, Ilias Sarkar |
| 2017 | MFCS | Making Metric Temporal Logic Rational. | Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya |
| 2016 | CONCUR | Analyzing Timed Systems Using Tree Automata. | S. Akshay, Paul Gastin, Shankara Narayanan Krishna |
| 2016 | DLT | A Perfect Class of Context-Sensitive Timed Languages. | Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi |
| 2016 | FOSSACS | Metric Temporal Logic with Counting. | Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya |
| 2016 | LATA | A Logical Characterization for Dense-Time Visibly Pushdown Automata. | Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi |
| 2016 | MFCS | Stochastic Timed Games Revisited. | S. Akshay, Patricia Bouyer, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi |
| 2015 | DAC | Compositional modeling and analysis of automotive feature product lines. | Shankara Narayanan Krishna, Ganesh Khandu Narwane, S. Ramesh, Ashutosh Trivedi |
| 2015 | LATA | Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable. | Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi |
| 2015 | TAMC | On Pure Nash Equilibria in Stochastic Games. | Ankush Das, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi, Dominik Wojtczak |
| 2015 | TIME | Reachability Games on Recursive Hybrid Automata. | Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi |
| 2014 | CONCUR | Adding Negative Prices to Priced Timed Games. | Thomas Brihaye, Gilles Geeraerts, Shankara Narayanan Krishna, Lakshmi Manasa, Benjamin Monmege, Ashutosh Trivedi |
| 2014 | ICDCIT | A Cost Effective Approach for Analyzing Software Product Lines. | Ganesh Khandu Narwane, Shankara Narayanan Krishna, Anup Kumar Bhattacharjee |
| 2014 | ICTAC | On Unary Fragments of MTL and TPTL over Timed Words. | Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya |
| 2014 | TIME | Partially Punctual Metric Temporal Logic is Decidable. | Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya |
| 2013 | CiE | Some Classes of Generalised Communicating P Systems and Simple Kernel P Systems. | Shankara Narayanan Krishna, Marian Gheorghe, Ciprian Dragomir |
| 2013 | ICDCIT | Solving the 4QBF Problem in Polynomial Time by Using the Biological-Inspired Mobility. | Bogdan Aman, Gabriel Ciobanu, Shankara Narayanan Krishna |
| 2013 | IFM | Compositional Verification of Software Product Lines. | Jean-Vivien Millo, S. Ramesh, Shankara Narayanan Krishna, Ganesh Khandu Narwane |
| 2012 | CiE | On the Computability Power of Membrane Systems with Controlled Mobility. | Shankara Narayanan Krishna, Bogdan Aman, Gabriel Ciobanu |
| 2012 | ICDCIT | Nash Equilibrium in Weighted Concurrent Timed Games with Reachability Objectives. | Shankara Narayanan Krishna, Lakshmi Manasa, Ashish Chiplunkar |
| 2012 | SPLC | Tracing SPLs precisely and efficiently. | Swarup Mohalik, S. Ramesh, Jean-Vivien Millo, Shankara Narayanan Krishna, Ganesh Khandu Narwane |
| 2011 | CiE | Computability Power of Mobility in Enhanced Mobile Membranes. | Shankara Narayanan Krishna, Gabriel Ciobanu |
| 2011 | ICDCIT | An Overview of Membrane Computing. | Shankara Narayanan Krishna |
| 2011 | ICDCIT | Matrix Insertion-Deletion Systems for Bio-Molecular Structures. | Lakshmanan Kuppusamy, Anand Mahendran, Shankara Narayanan Krishna |
| 2008 | CiE | On the Computational Power of Enhanced Mobile Membranes. | Shankara Narayanan Krishna, Gabriel Ciobanu |
| 2008 | CiE | Updatable Timed Automata with Additive and Diagonal Constraints. | Lakshmi Manasa, Shankara Narayanan Krishna, Kumar Nagaraj |
| 2008 | UC | The Expressiveness of Concentration Controlled P Systems. | Shankara Narayanan Krishna |
| 2007 | CiE | On the Computational Power of Flip-Flop Proteins on Membranes. | Shankara Narayanan Krishna |
| 2007 | TACAS | On Sampling Abstraction of Continuous Time Logic with Durations. | Paritosh K. Pandya, Shankara Narayanan Krishna, Kuntal Loya |
| 2006 | CiE | Upper and Lower Bounds for the Computational Power of P Systems with Mobile Membranes. | Shankara Narayanan Krishna |
| 2006 | UC | On Pure Catalytic P Systems. | Shankara Narayanan Krishna |
| 2006 | UC | On the Power of Bio-Turing Machines. | H. Ramesh, Shankara Narayanan Krishna, Raghavan Rama |
| 2005 | CiE | The Power of Mobility: Four Membranes Suffice. | Shankara Narayanan Krishna |
| 2005 | DNA | Communicating Distributed H Systems: Optimal Results with Efficient Ways of Communication. | Shankara Narayanan Krishna |
| 2001 | DNA | Insertion-Deletion P Systems. | Shankara Narayanan Krishna, Raghavan Rama |
| 1999 | SPIRE | Contextual Array Splicing Systems. | Raghavan Rama, Shankara Narayanan Krishna |