Contextual Array Splicing Systems. - Raghavan Rama 001; Shankara Narayanan Krishna (SPIRE/CRIWG, 1999)

Insertion-Deletion P Systems. - Shankara Narayanan Krishna; Raghavan Rama 001 (DNA, 2001)

P Systems with Picture Objects. - Shankara Narayanan Krishna; Raghavan Rama 001; Kamala Krithivasan (Acta Cybern., 2001)

A Note on Parallel Rewriting in P Systems. - Shankara Narayanan Krishna; Raghavan Rama 001 (Bull. EATCS, 2001)

On power of p systems using sequential and parallel rewriting. - Shankara Narayanan Krishna; Raghavan Rama 001 (Int. J. Comput. Math., 2001)

P Systems with Replicated Rewriting. - Shankara Narayanan Krishna; Raghavan Rama 001 (J. Autom. Lang. Comb., 2001)

On The Power of Tissue P Systems Working in the Minimal Mode. - Shankara Narayanan Krishna; Raghavan Rama 001 (UMC, 2002)

Tissue P Systems with Contextual and Rewriting Rules. - Shankara Narayanan Krishna; Lakshmanan Kuppusamy; Raghavan Rama 001 (WMC-CdeA, 2002)

On the Power of P Systems with Contextual Rules. - Shankara Narayanan Krishna; Lakshmanan Kuppusamy; Raghavan Rama 001 (Fundam. Informaticae, 2002)

On Some Classes of Contextual Grammars. - Shankara Narayanan Krishna; Lakshmanan Kuppusamy; Raghavan Rama 001 (Int. J. Comput. Math., 2003)

Breaking DES using P systems. - Shankara Narayanan Krishna; Raghavan Rama 001 (Theor. Comput. Sci., 2003)

P Systems with Symport/Antiport: The Traces of RBCs. - Shankara Narayanan Krishna (Workshop on Membrane Computing, 2004)

Results on Catalytic and Evolution-Communication P Systems. - Shankara Narayanan Krishna; Andrei Paun (New Gener. Comput., 2004)

The Power of Mobility: Four Membranes Suffice. - Shankara Narayanan Krishna (CiE, 2005)

Communicating Distributed H Systems: Optimal Results with Efficient Ways of Communication. - Shankara Narayanan Krishna (DNA, 2005)

Modal Strength Reduction in Quantified Discrete Duration Calculus. - Shankara Narayanan Krishna; Paritosh K. Pandya (FSTTCS, 2005)

Further Results on Contextual and Rewriting P Systems. - Shankara Narayanan Krishna; Raghavan Rama 001; H. Ramesh 001 (Fundam. Informaticae, 2005)

P Systems with Mobile Membranes. - Shankara Narayanan Krishna; Gheorghe Paun (Nat. Comput., 2005)

Upper and Lower Bounds for the Computational Power of P Systems with Mobile Membranes. - Shankara Narayanan Krishna (CiE, 2006)

On Pure Catalytic P Systems. - Shankara Narayanan Krishna (UC, 2006)

On the Power of Bio-Turing Machines. - H. Ramesh 001; Shankara Narayanan Krishna; Raghavan Rama 001 (UC, 2006)

Towards Reducing Parallelism in P Systems. - Shankara Narayanan Krishna; Raghavan Rama 001 (Formal Models, Languages and Applications, 2007)

On the Computational Power of Flip-Flop Proteins on Membranes. - Shankara Narayanan Krishna (CiE, 2007)

On Sampling Abstraction of Continuous Time Logic with Durations. - Paritosh K. Pandya; Shankara Narayanan Krishna; Kuntal Loya (TACAS, 2007)

Universality results for P systems based on brane calculi operations. - Shankara Narayanan Krishna (Theor. Comput. Sci., 2007)

On the Computational Power of Enhanced Mobile Membranes. - Shankara Narayanan Krishna; Gabriel Ciobanu (CiE, 2008)

Updatable Timed Automata with Additive and Diagonal Constraints. - Lakshmi Manasa; Shankara Narayanan Krishna; Kumar Nagaraj (CiE, 2008)

Timed Automata with Integer Resets: Language Inclusion and Expressiveness. - P. Vijay Suman; Paritosh K. Pandya; Shankara Narayanan Krishna; Lakshmi Manasa (FORMATS, 2008)

The Expressiveness of Concentration Controlled P Systems. - Shankara Narayanan Krishna (UC, 2008)

Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata. - Ashish Chiplunkar; Shankara Narayanan Krishna; Chinmay Jain (FORMATS, 2009)

Membrane computing with transport and embedded proteins. - Shankara Narayanan Krishna (Theor. Comput. Sci., 2009)

Integer Reset Timed Automata: Clock Reduction and Determinizability - Lakshmi Manasa; Shankara Narayanan Krishna (CoRR, 2010)

Computability Power of Mobility in Enhanced Mobile Membranes. - Shankara Narayanan Krishna; Gabriel Ciobanu (CiE, 2011)

A S2P ÈP2P Sigma_2^P cup Pi_2^P Lower Bound Using Mobile Membranes. - Shankara Narayanan Krishna; Gabriel Ciobanu (DCFS, 2011)

On Construction of Safety Signal Automata for $MITL[ : mathcal{U}, : mathcal{S}]$ Using Temporal Projections. - Dileep Raghunath Kini; Shankara Narayanan Krishna; Paritosh K. Pandya (FORMATS, 2011)

An Overview of Membrane Computing. - Shankara Narayanan Krishna (ICDCIT, 2011)

Matrix Insertion-Deletion Systems for Bio-Molecular Structures. - Lakshmanan Kuppusamy; Anand Mahendran; Shankara Narayanan Krishna (ICDCIT, 2011)

Further Results on Languages of Membrane Structures - Raghavan Rama 001; H. Ramesh 001; Marian Gheorghe 001; Shankara Narayanan Krishna (CoRR, 2011)

On Restricted Bio-Turing Machines. - Rama Raghavan 001; H. Ramesh 001; Marian Gheorghe 001; Shankara Narayanan Krishna (Fundam. Informaticae, 2011)

Enhanced Mobile Membranes: Computability Results. - Gabriel Ciobanu; Shankara Narayanan Krishna (Theory Comput. Syst., 2011)

Model Checking Weighted Integer Reset Timed Automata. - Lakshmi Manasa; Shankara Narayanan Krishna; Chinmay Jain (Theory Comput. Syst., 2011)

On the Computability Power of Membrane Systems with Controlled Mobility. - Shankara Narayanan Krishna; Bogdan Aman; Gabriel Ciobanu (CiE, 2012)

Nash Equilibrium in Weighted Concurrent Timed Games with Reachability Objectives. - Shankara Narayanan Krishna; Lakshmi Manasa; Ashish Chiplunkar (ICDCIT, 2012)

Tracing SPLs precisely and efficiently. - Swarup Mohalik; S. Ramesh 002; Jean-Vivien Millo; Shankara Narayanan Krishna; Ganesh Khandu Narwane (SPLC (1), 2012)

Formalizing Traceability and Derivability in Software Product Lines - Shankara Narayanan Krishna; Ganesh Khandu Narwane; S. Ramesh 002; Swarup Mohalik; Jean-Vivien Millo (CoRR, 2012)

Game Characterizations of Timed Relations for Timed Automata Processes - Shibashis Guha; Shankara Narayanan Krishna (CoRR, 2012)

Compositional Verification of Evolving Software Product Lines - Jean-Vivien Millo; S. Ramesh 002; Shankara Narayanan Krishna; Ganesh Khandu Narwane (CoRR, 2012)

Some Classes of Generalised Communicating P Systems and Simple Kernel P Systems. - Shankara Narayanan Krishna; Marian Gheorghe 001; Ciprian Dragomir (CiE, 2013)

Solving the 4QBF Problem in Polynomial Time by Using the Biological-Inspired Mobility. - Bogdan Aman; Gabriel Ciobanu; Shankara Narayanan Krishna (ICDCIT, 2013)

Compositional Verification of Software Product Lines. - Jean-Vivien Millo; S. Ramesh 002; Shankara Narayanan Krishna; Ganesh Khandu Narwane (IFM, 2013)

A Unifying Approach to Decide Relations for Timed Automata and their Game Characterization. - Shibashis Guha; Shankara Narayanan Krishna; Chinmay Narayan; S. Arun-Kumar 004 (EXPRESS/SOS, 2013)

On the Decidability and Complexity of Some Fragments of Metric Temporal Logic - Khushraj Madnani; Shankara Narayanan Krishna; Paritosh K. Pandya (CoRR, 2013)

Adding Negative Prices to Priced Timed Games. - Thomas Brihaye; Gilles Geeraerts; Shankara Narayanan Krishna; Lakshmi Manasa; Benjamin Monmege; Ashutosh Trivedi 001 (CONCUR, 2014)

Weak Singular Hybrid Automata. - Shankara Narayanan Krishna; Umang Mathur 001; Ashutosh Trivedi 001 (FORMATS, 2014)

First-order Definable String Transformations. - Emmanuel Filiot; Shankara Narayanan Krishna; Ashutosh Trivedi 001 (FSTTCS, 2014)

A Cost Effective Approach for Analyzing Software Product Lines. - Ganesh Khandu Narwane; Shankara Narayanan Krishna; Anup Kumar Bhattacharjee (ICDCIT, 2014)

On Unary Fragments of MTL and TPTL over Timed Words. - Khushraj Madnani; Shankara Narayanan Krishna; Paritosh K. Pandya (ICTAC, 2014)

Partially Punctual Metric Temporal Logic is Decidable. - Khushraj Madnani; Shankara Narayanan Krishna; Paritosh K. Pandya (TIME, 2014)

On The Reachability Problem for Recursive Hybrid Automata with One and Two Players. - Shankara Narayanan Krishna; Lakshmi Manasa; Ashutosh Trivedi 001 (CoRR, 2014)

Improved Undecidability Results for Reachability Games on Recursive Timed Automata. - Shankara Narayanan Krishna; Lakshmi Manasa; Ashutosh Trivedi 001 (GandALF, 2014)

Compositional modeling and analysis of automotive feature product lines. - Shankara Narayanan Krishna; Ganesh Khandu Narwane; S. Ramesh 002; Ashutosh Trivedi 001 (DAC, 2015)

Revisiting Robustness in Priced Timed Games. - Shibashis Guha; Shankara Narayanan Krishna; Lakshmi Manasa; Ashutosh Trivedi 001 (FSTTCS, 2015)

Bounded-rate multi-mode systems based motion planning. - Devendra Bhave; Sagar Jha; Shankara Narayanan Krishna; Sven Schewe; Ashutosh Trivedi 001 (HSCC, 2015)

What's decidable about recursive hybrid automata? - Shankara Narayanan Krishna; Lakshmi Manasa; Ashutosh Trivedi 001 (HSCC, 2015)

Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable. - Shankara Narayanan Krishna; Lakshmi Manasa; Ashutosh Trivedi 001 (LATA, 2015)

On Pure Nash Equilibria in Stochastic Games. - Ankush Das; Shankara Narayanan Krishna; Lakshmi Manasa; Ashutosh Trivedi 001; Dominik Wojtczak (TAMC, 2015)

Reachability Games on Recursive Hybrid Automata. - Shankara Narayanan Krishna; Lakshmi Manasa; Ashutosh Trivedi 001 (TIME, 2015)

Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems. - Shankara Narayanan Krishna; Ashutosh Trivedi 001 (CoRR, 2015)

A Perfect Class of Context-Sensitive Timed Languages. - Devendra Bhave; Vrunda Dave; Shankara Narayanan Krishna; Ramchandra Phawade; Ashutosh Trivedi 001 (DLT, 2016)

Metric Temporal Logic with Counting. - Shankara Narayanan Krishna; Khushraj Madnani; Paritosh K. Pandya (FoSSaCS, 2016)

FO-Definable Transformations of Infinite Strings. - Vrunda Dave; Shankara Narayanan Krishna; Ashutosh Trivedi 001 (FSTTCS, 2016)

Mean-Payoff Games on Timed Automata. - Shibashis Guha; Marcin Jurdzinski; Shankara Narayanan Krishna; Ashutosh Trivedi 001 (FSTTCS, 2016)

A Logical Characterization for Dense-Time Visibly Pushdown Automata. - Devendra Bhave; Vrunda Dave; Shankara Narayanan Krishna; Ramchandra Phawade; Ashutosh Trivedi 001 (LATA, 2016)

Stochastic Timed Games Revisited. - S. Akshay 001; Patricia Bouyer; Shankara Narayanan Krishna; Lakshmi Manasa; Ashutosh Trivedi 001 (MFCS, 2016)

On Nonlinear Prices in Timed Automata. - Devendra Bhave; Shankara Narayanan Krishna; Ashutosh Trivedi 001 (V2CPS@IFM, 2016)

Traceability Analyses between Features and Assets in Software Product Lines. - Ganesh Khandu Narwane; José Angel Galindo; Shankara Narayanan Krishna; David Benavides 001; Jean-Vivien Millo; S. Ramesh 002 (Entropy, 2016)

The Reach-Avoid Problem for Constant-Rate Multi-mode Systems. - Shankara Narayanan Krishna; Aviral Kumar; Fabio Somenzi; Behrouz Touri; Ashutosh Trivedi 001 (ATVA, 2017)

Towards an Efficient Tree Automata Based Technique for Timed Systems. - S. Akshay 001; Paul Gastin; Shankara Narayanan Krishna; Ilias Sarkar (CONCUR, 2017)

Making Metric Temporal Logic Rational. - Shankara Narayanan Krishna; Khushraj Madnani; Paritosh K. Pandya (MFCS, 2017)

What is Decidable about Perfect Timed Channels? - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Shankara Narayanan Krishna (CoRR, 2017)

Further results on generalised communicating P systems. - Shankara Narayanan Krishna; Marian Gheorghe 001; Florentin Ipate; Erzsébet Csuhaj-Varjú; Rodica Ceterchi (Theor. Comput. Sci., 2017)

Logics Meet 1-Clock Alternating Timed Automata. - Shankara Narayanan Krishna; Khushraj Madnani; Paritosh K. Pandya (CONCUR, 2018)

Perfect Timed Communication Is Hard. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Shankara Narayanan Krishna (FORMATS, 2018)

Verification of Timed Asynchronous Programs. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Shankara Narayanan Krishna; Shaan Vaidya (FSTTCS, 2018)

Regular and First-Order List Functions. - Mikolaj Bojanczyk; Laure Daviaud; Shankara Narayanan Krishna (LICS, 2018)

Büchi-Kamp Theorems for 1-clock ATA. - Shankara Narayanan Krishna; Khushraj Madnani; Paritosh K. Pandya (CoRR, 2018)

Unambiguous Forest Factorization. - Paul Gastin; Shankara Narayanan Krishna (CoRR, 2018)

Analyzing Timed Systems Using Tree Automata. - S. Akshay 001; Paul Gastin; Shankara Narayanan Krishna (Log. Methods Comput. Sci., 2018)

On Timed Scope-Bounded Context-Sensitive Languages. - Devendra Bhave; Shankara Narayanan Krishna; Ramchandra Phawade; Ashutosh Trivedi 001 (DLT, 2019)

Knowledge Compilation for Boolean Functional Synthesis. - S. Akshay 001; Jatin Arora 002; Supratik Chakraborty; Shankara Narayanan Krishna; Divya Raghunathan; Shetal Shah (FMCAD, 2019)

Timed Systems through the Lens of Logic. - S. Akshay 001; Paul Gastin; Vincent Jugé; Shankara Narayanan Krishna (LICS, 2019)

On Synthesis of Resynchronizers for Transducers. - Sougata Bose; Shankara Narayanan Krishna; Anca Muscholl; Vincent Penelle; Gabriele Puppis (MFCS, 2019)

Verification of programs under the release-acquire semantics. - Parosh Aziz Abdulla; Jatin Arora 002; Mohamed Faouzi Atig; Shankara Narayanan Krishna (PLDI, 2019)

Deciding the Computability of Regular Functions over Infinite Words. - Vrunda Dave; Emmanuel Filiot; Shankara Narayanan Krishna; Nathan Lhote (CoRR, 2019)

MSO-Definable Regular Model Checking. - Vrunda Dave; Taylor Dohmen; Shankara Narayanan Krishna; Ashutosh Trivedi 001 (CoRR, 2019)

Robust Controller Synthesis for Duration Calculus. - Kalyani Dole; Ashutosh Gupta; Shankara Narayanan Krishna (ATVA, 2020)

On the Separability Problem of String Constraints. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Vrunda Dave; Shankara Narayanan Krishna (CONCUR, 2020)

Containment of Simple Conjunctive Regular Path Queries. - Diego Figueira; Adwait Godbole; S. Krishna 004; Wim Martens; Matthias Niewerth; Tina Trautner (KR, 2020)

Revisiting Underapproximate Reachability for Multipushdown Systems. - S. Akshay 001; Paul Gastin; S. Krishna 004; Sparsa Roychowdhury (TACAS (1), 2020)

Containment of Simple Regular Path Queries. - Diego Figueira; Adwait Godbole; S. Krishna 004; Wim Martens; Matthias Niewerth; Tina Trautner (CoRR, 2020)

The Decidability of Verification under Promising 2.0. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Adwait Godbole; Shankaranarayanan Krishna; Viktor Vafeiadis (CoRR, 2020)

Scope-Bounded Reachability in Valence Systems. - Aneesh K. Shetty; S. Krishna 004; Georg Zetzsche (CONCUR, 2021)

The Decidability of Verification under PS 2.0. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Adwait Godbole; S. Krishna 004; Viktor Vafeiadis (ESOP, 2021)

Regular Model Checking with Regular Relations. - Vrunda Dave; Taylor Dohmen; Shankara Narayanan Krishna; Ashutosh Trivedi 001 (FCT, 2021)

Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers. - Shankara Narayanan Krishna; Khushraj Madnani; Manuel Mazo Jr. 002; Paritosh K. Pandya (FM, 2021)

One-way Resynchronizability of Word Transducers. - Sougata Bose; Shankara Narayanan Krishna; Anca Muscholl; Gabriele Puppis (FoSSaCS, 2021)

Resilience of Timed Systems. - S. Akshay 001; Blaise Genest; Loïc Hélouët; S. Krishna 004; Sparsa Roychowdhury (FSTTCS, 2021)

SD-Regular Transducer Expressions for Aperiodic Transformations. - Luc Dartois; Paul Gastin; Shankara Narayanan Krishna (LICS, 2021)

Event-Triggered and Time-Triggered Duration Calculus for Model-Free Reinforcement Learning. - Kalyani Dole; Ashutosh Gupta; John Komp; Shankaranarayanan Krishna; Ashutosh Trivedi 001 (RTSS, 2021)

Safety Verification of Parameterized Systems under Release-Acquire. - Adwait Godbole; Shankara Narayanan Krishna; Roland Meyer 001 (CoRR, 2021)

Logics Meet 2-Way 1-Clock Alternating Timed Automata. - Shankara Narayanan Krishna; Khushraj Nanik Madnani; Manuel Mazo Jr. 002; Paritosh K. Pandya (CoRR, 2021)

Quantitative Learning of LTL from Finite Traces. - Mohammad Afzal; Sankalp Gambhir; Ashutosh Gupta; S. Krishna 004 (CoRR, 2021)

Optimal Repair for Omega-Regular Properties. - Vrunda Dave; Shankara Narayanan Krishna; Vishnu Murali; Ashutosh Trivedi 001 (ATVA, 2022)

Probabilistic Total Store Ordering. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Raj Aryan Agarwal; Adwait Godbole; S. Krishna 004 (ESOP, 2022)

Efficient Construction of Reversible Transducers from Regular Transducer Expressions. - Luc Dartois; Paul Gastin; R. Govind 001; Shankara Narayanan Krishna (LICS, 2022)

Parameterized Verification under Release Acquire is PSPACE-complete. - Shankaranarayanan Krishna; Adwait Godbole; Roland Meyer 001; Soham Chakraborty 001 (PODC, 2022)

Optimal SMC for Transactional Programs. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Ashutosh Gupta; Shankaranarayanan Krishna; Omkar Tuppe (CoRR, 2022)

Regular transducer expressions for regular transformations. - Vrunda Dave; Paul Gastin; Shankara Narayanan Krishna (Inf. Comput., 2022)

Synthesis of Computable Regular Functions of Infinite Words. - Vrunda Dave; Emmanuel Filiot; Shankara Narayanan Krishna; Nathan Lhote (Log. Methods Comput. Sci., 2022)

Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements. - Kalyani Dole; Ashutosh Gupta; John Komp; Shankaranarayanan Krishna; Ashutosh Trivedi 001 (AAAI, 2023)

LTL-Based Non-Markovian Inverse Reinforcement Learning. - Mohammad Afzal; Sankalp Gambhir; Ashutosh Gupta; S. Krishna 004; Ashutosh Trivedi 001; Alvaro Velasquez (AAMAS, 2023)

Overcoming Memory Weakness with Unified Fairness - Systematic Verification of Liveness in Weak Memory Models. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Adwait Godbole; Shankaranarayanan Krishna; Mihir Vahanwala (CAV (1), 2023)

Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete. - Shankara Narayanan Krishna; Khushraj Nanik Madnani; Rupak Majumdar; Paritosh K. Pandya (CONCUR, 2023)

Counter Machines with Infrequent Reversals. - Alain Finkel; Shankara Narayanan Krishna; Khushraj Madnani; Rupak Majumdar; Georg Zetzsche (FSTTCS, 2023)

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 (TACAS (1), 2023)

Optimal Stateless Model Checking for Causal Consistency. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; S. Krishna 004; Ashutosh Gupta; Omkar Tuppe (TACAS (1), 2023)

Overcoming Memory Weakness with Unified Fairness. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Adwait Godbole; Shankaranarayanan Krishna; Mihir Vahanwala (CoRR, 2023)

Optimal Reads-From Consistency Checking for C11-Style Memory Models. - Hünkar Can Tunç; Parosh Aziz Abdulla; Soham Chakraborty 001; Shankaranarayanan Krishna; Umang Mathur 001; Andreas Pavlogiannis (Proc. ACM Program. Lang., 2023)

Optimal Reads-From Consistency Checking for C11-Style Memory Models. - Hünkar Can Tunç; Parosh Aziz Abdulla; Soham Chakraborty 001; Shankaranarayanan Krishna; Umang Mathur 001; Andreas Pavlogiannis (Zenodo, 2023)

Optimal Reads-From Consistency Checking for C11-Style Memory Models. - Hünkar Can Tunç; Parosh Aziz Abdulla; Soham Chakraborty 001; Shankaranarayanan Krishna; Umang Mathur 001; Andreas Pavlogiannis (Zenodo, 2023)

From Non-punctuality to Non-adjacency: A Quest for Decidability of Timed Temporal Logics with Quantifiers. - Shankara Narayanan Krishna; Khushraj Madnani; Manuel Mazo Jr. 002; Paritosh K. Pandya (Formal Aspects Comput., 2023)

Rational Verification with Quantitative Probabilistic Goals. - David Hyland; Julian Gutierrez 001; Shankaranarayanan Krishna; Michael J. Wooldridge (AAMAS, 2024)

Dynamic Partial Order Reduction for Transactional Programs on Serializable Platforms. - Parosh Aziz Abdulla; Ashutosh Gupta; Shankara Narayanan Krishna; Omkar Tuppe (ATVA, 2024)

Fairness and Liveness Under Weak Consistency. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Adwait Godbole; Shankara Narayanan Krishna; Mihir Vahanwala (Taming the Infinities of Concurrency, 2024)

Reversible Transducers over Infinite Words. - Luc Dartois; Paul Gastin; Loïc Germerie Guizouarn; R. Govind 001; Shankaranarayanan Krishna (CONCUR, 2024)

An Efficient Quantifier Elimination Procedure for Presburger Arithmetic. - Christoph Haase; Shankara Narayanan Krishna; Khushraj Madnani; Om Swostik Mishra; Georg Zetzsche (ICALP, 2024)

Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions. - Diego Figueira; S. Krishna 004; Om Swostik Mishra; Anantha Padmanabha (KR, 2024)

Integrating Explanations in Learning LTL Specifications from Demonstrations. - Ashutosh Gupta; John Komp; Abhay Singh Rajput; Shankaranarayanan Krishna; Ashutosh Trivedi 001; Namrita Varshney (CoRR, 2024)

Openness And Partial Adjacency In One Variable TPTL. - Shankara Narayanan Krishna; Khushraj Madnani; Agnipratim Nag; Paritosh K. Pandya (CoRR, 2024)

How Hard Is Weak-Memory Testing? - Soham Chakraborty 001; Shankara Narayanan Krishna; Umang Mathur 001; Andreas Pavlogiannis (Proc. ACM Program. Lang., 2024)

On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability. - Shankaranarayanan Krishna; Aniket Lal; Andreas Pavlogiannis; Omkar Tuppe (Proc. ACM Program. Lang., 2024)

sfGPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency. - Soham Chakraborty 001; S. Krishna 004; Andreas Pavlogiannis; Omkar Tuppe (CAV (3), 2025)

Reversible Pebble Transducers. - Luc Dartois; Paul Gastin; Loïc Germerie Guizouarn; Shankaranarayanan Krishna (CONCUR, 2025)

Expressive Equivalence Between Decidable Freeze and Metric Timed Temporal Logics. - Hsi-Ming Ho; Shankara Narayanan Krishna; Khushraj Madnani; Rupak Majumdar; Paritosh K. Pandya (CONCUR, 2025)

Efficient Linearizability Monitoring. - Parosh Aziz Abdulla; Samuel Grahn; Bengt Jonsson 001; Shankaranarayanan Krishna; Om Swostik Mishra (Proc. ACM Program. Lang., 2025)

GPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency. - Soham Chakraborty 001; S. Krishna 004; Andreas Pavlogiannis; Omkar Tuppe (CoRR, 2025)