Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDS. Krishna 0004
Shankaranarayanan Krishna – Shankara Narayanan Krishna
Person information
- affiliation: Indian Institute of Technology Bombay, Mumbai, India
Other persons with the same name
- S. Krishna — disambiguation page
- S. Krishna 0001 — University Visvesvaraya College of Engineering, Bangalore, India
- S. Krishna 0002
![[0000-0002-5586-3351]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-5586-3351")
— Indian Institute of Technology Madras, Department of Electrical Engineering, Chennai, India - S. Krishna 0003 — Amrita Vishwa Vidyapeetham, Amritapuri, India
- S. Krishna 0005 — Indian Institute of Management Bangalore (IIM Bangalore), India
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2024
[j24]Shankaranarayanan Krishna, Aniket Lal, Andreas Pavlogiannis, Omkar Tuppe:
On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability. Proc. ACM Program. Lang. 8(POPL): 1239-1268 (2024)- [j23]Soham Chakraborty, Shankara Narayanan Krishna, Umang Mathur, Andreas Pavlogiannis:
How Hard Is Weak-Memory Testing? Proc. ACM Program. Lang. 8(POPL): 1978-2009 (2024) - 2023
- [j22]Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya:
From Non-punctuality to Non-adjacency: A Quest for Decidability of Timed Temporal Logics with Quantifiers. Formal Aspects Comput. 35(2): 9:1-9:50 (2023) - [j21]Hünkar Can Tunç, Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis:
Optimal Reads-From Consistency Checking for C11-Style Memory Models. Proc. ACM Program. Lang. 7(PLDI): 761-785 (2023) - 2022
- [j20]Vrunda Dave, Paul Gastin, Shankara Narayanan Krishna:
Regular transducer expressions for regular transformations. Inf. Comput. 282: 104655 (2022) - [j19]Vrunda Dave, Emmanuel Filiot, Shankara Narayanan Krishna, Nathan Lhote:
Synthesis of Computable Regular Functions of Infinite Words. Log. Methods Comput. Sci. 18(2) (2022) - 2018
- [j18]S. Akshay, Paul Gastin, Shankara Narayanan Krishna:
Analyzing Timed Systems Using Tree Automata. Log. Methods Comput. Sci. 14(2) (2018) - 2017
- [j17]Shankara Narayanan Krishna, Marian Gheorghe, Florentin Ipate, Erzsébet Csuhaj-Varjú, Rodica Ceterchi:
Further results on generalised communicating P systems. Theor. Comput. Sci. 701: 146-160 (2017) - 2016
- [j16]Ganesh Khandu Narwane, José Angel Galindo, Shankara Narayanan Krishna, David Benavides, Jean-Vivien Millo, S. Ramesh:
Traceability Analyses between Features and Assets in Software Product Lines. Entropy 18(8): 269 (2016) - 2011
- [j15]Rama Raghavan, H. Ramesh, Marian Gheorghe, Shankara Narayanan Krishna:
On Restricted Bio-Turing Machines. Fundam. Informaticae 110(1-4): 309-320 (2011) - [j14]Lakshmi Manasa, Shankara Narayanan Krishna, Chinmay Jain:
Model Checking Weighted Integer Reset Timed Automata. Theory Comput. Syst. 48(3): 648-679 (2011) - [j13]Gabriel Ciobanu, Shankara Narayanan Krishna:
Enhanced Mobile Membranes: Computability Results. Theory Comput. Syst. 48(3): 715-729 (2011) - 2009
- [j12]Shankara Narayanan Krishna:
Membrane computing with transport and embedded proteins. Theor. Comput. Sci. 410(4-5): 355-375 (2009) - 2007
- [j11]Shankara Narayanan Krishna:
Universality results for P systems based on brane calculi operations. Theor. Comput. Sci. 371(1-2): 83-105 (2007) - 2005
- [j10]Shankara Narayanan Krishna, Raghavan Rama, H. Ramesh:
Further Results on Contextual and Rewriting P Systems. Fundam. Informaticae 64(1-4): 241-253 (2005) - [j9]Shankara Narayanan Krishna, Gheorghe Paun:
P Systems with Mobile Membranes. Nat. Comput. 4(3): 255-274 (2005) - 2004
- [j8]Shankara Narayanan Krishna, Andrei Paun:
Results on Catalytic and Evolution-Communication P Systems. New Gener. Comput. 22(4): 377-394 (2004) - 2003
- [j7]Shankara Narayanan Krishna, Lakshmanan Kuppusamy, Raghavan Rama:
On Some Classes of Contextual Grammars. Int. J. Comput. Math. 80(2): 151-164 (2003) - [j6]Shankara Narayanan Krishna, Raghavan Rama:
Breaking DES using P systems. Theor. Comput. Sci. 299(1-3): 495-508 (2003) - 2002
- [j5]Shankara Narayanan Krishna, Lakshmanan Kuppusamy, Raghavan Rama:
On the Power of P Systems with Contextual Rules. Fundam. Informaticae 49(1-3): 167-178 (2002) - 2001
- [j4]Shankara Narayanan Krishna, Raghavan Rama, Kamala Krithivasan:
P Systems with Picture Objects. Acta Cybern. 15(1): 53-74 (2001) - [j3]Shankara Narayanan Krishna, Raghavan Rama:
A Note on Parallel Rewriting in P Systems. Bull. EATCS 73: 147-151 (2001) - [j2]Shankara Narayanan Krishna, Raghavan Rama:
On power of p systems using sequential and parallel rewriting. Int. J. Comput. Math. 76(3): 317-330 (2001) - [j1]Shankara Narayanan Krishna, Raghavan Rama:
P Systems with Replicated Rewriting. J. Autom. Lang. Comb. 6(3): 345-350 (2001)
Conference and Workshop Papers
- 2023
- [c90]Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi:
Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements. AAAI 2023: 14792-14800 - [c89]Mohammad Afzal, Sankalp Gambhir, Ashutosh Gupta, S. Krishna, Ashutosh Trivedi, Alvaro Velasquez:
LTL-Based Non-Markovian Inverse Reinforcement Learning. AAMAS 2023: 2857-2859 - [c88]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Mihir Vahanwala:
Overcoming Memory Weakness with Unified Fairness - Systematic Verification of Liveness in Weak Memory Models. CAV (1) 2023: 184-205 - [c87]Shankara Narayanan Krishna, Khushraj Nanik Madnani, Rupak Majumdar, Paritosh K. Pandya:
Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete. CONCUR 2023: 23:1-23:18 - [c86]Alain Finkel, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Georg Zetzsche:
Counter Machines with Infrequent Reversals. FSTTCS 2023: 42:1-42:17 - [c85]Parosh Aziz Abdulla, Mohamed Faouzi Atig, S. Krishna, Ashutosh Gupta, Omkar Tuppe:
Optimal Stateless Model Checking for Causal Consistency. TACAS (1) 2023: 105-125 - [c84]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Adwait Amit Godbole, Yacoub G. Hendi, Shankara Narayanan Krishna, Stephan Spengler:
Parameterized Verification under TSO with Data Types. TACAS (1) 2023: 588-606 - 2022
- [c83]Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi:
Optimal Repair for Omega-Regular Properties. ATVA 2022: 354-370 - [c82]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Raj Aryan Agarwal, Adwait Godbole, S. Krishna:
Probabilistic Total Store Ordering. ESOP 2022: 317-345 - [c81]Luc Dartois, Paul Gastin, R. Govind, Shankara Narayanan Krishna:
Efficient Construction of Reversible Transducers from Regular Transducer Expressions. LICS 2022: 50:1-50:13 - [c80]Shankaranarayanan Krishna, Adwait Godbole, Roland Meyer, Soham Chakraborty:
Parameterized Verification under Release Acquire is PSPACE-complete. PODC 2022: 482-492 - 2021
- [c79]Aneesh K. Shetty, S. Krishna, Georg Zetzsche:
Scope-Bounded Reachability in Valence Systems. CONCUR 2021: 29:1-29:19 - [c78]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, S. Krishna, Viktor Vafeiadis:
The Decidability of Verification under PS 2.0. ESOP 2021: 1-29 - [c77]Vrunda Dave, Taylor Dohmen, Shankara Narayanan Krishna, Ashutosh Trivedi:
Regular Model Checking with Regular Relations. FCT 2021: 190-203 - [c76]Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya:
Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers. FM 2021: 182-199 - [c75]Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Gabriele Puppis:
One-way Resynchronizability of Word Transducers. FoSSaCS 2021: 124-143 - [c74]S. Akshay, Blaise Genest, Loïc Hélouët, S. Krishna, Sparsa Roychowdhury:
Resilience of Timed Systems. FSTTCS 2021: 33:1-33:22 - [c73]Luc Dartois, Paul Gastin, Shankara Narayanan Krishna:
SD-Regular Transducer Expressions for Aperiodic Transformations. LICS 2021: 1-13 - [c72]Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi:
Event-Triggered and Time-Triggered Duration Calculus for Model-Free Reinforcement Learning. RTSS 2021: 240-252 - 2020
- [c71]Kalyani Dole, Ashutosh Gupta, Shankara Narayanan Krishna:
Robust Controller Synthesis for Duration Calculus. ATVA 2020: 429-446 - [c70]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Vrunda Dave, Shankara Narayanan Krishna:
On the Separability Problem of String Constraints. CONCUR 2020: 16:1-16:19 - [c69]Vrunda Dave, Emmanuel Filiot, Shankara Narayanan Krishna, Nathan Lhote:
Synthesis of Computable Regular Functions of Infinite Words. CONCUR 2020: 43:1-43:17 - [c68]Diego Figueira, Adwait Godbole, S. Krishna, Wim Martens, Matthias Niewerth, Tina Trautner:
Containment of Simple Conjunctive Regular Path Queries. KR 2020: 371-380 - [c67]S. Akshay, Paul Gastin, S. Krishna, Sparsa Roychowdhury:
Revisiting Underapproximate Reachability for Multipushdown Systems. TACAS (1) 2020: 387-404 - 2019
- [c66]Devendra Bhave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi:
On Timed Scope-Bounded Context-Sensitive Languages. DLT 2019: 168-181 - [c65]S. Akshay, Jatin Arora, Supratik Chakraborty, Shankara Narayanan Krishna, Divya Raghunathan, Shetal Shah:
Knowledge Compilation for Boolean Functional Synthesis. FMCAD 2019: 161-169 - [c64]S. Akshay, Paul Gastin, Vincent Jugé, Shankara Narayanan Krishna:
Timed Systems through the Lens of Logic. LICS 2019: 1-13 - [c63]Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Vincent Penelle, Gabriele Puppis:
On Synthesis of Resynchronizers for Transducers. MFCS 2019: 69:1-69:14 - [c62]Parosh Aziz Abdulla, Jatin Arora, Mohamed Faouzi Atig, Shankara Narayanan Krishna:
Verification of programs under the release-acquire semantics. PLDI 2019: 1117-1132 - 2018
- [c61]Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya:
Logics Meet 1-Clock Alternating Timed Automata. CONCUR 2018: 39:1-39:17 - [c60]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna:
Perfect Timed Communication Is Hard. FORMATS 2018: 91-107 - [c59]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna, Shaan Vaidya:
Verification of Timed Asynchronous Programs. FSTTCS 2018: 8:1-8:16 - [c58]Mikolaj Bojanczyk, Laure Daviaud, Shankara Narayanan Krishna:
Regular and First-Order List Functions. LICS 2018: 125-134 - [c57]Vrunda Dave, Paul Gastin, Shankara Narayanan Krishna:
Regular Transducer Expressions for Regular Transformations. LICS 2018: 315-324 - 2017
- [c56]Shankara Narayanan Krishna, Aviral Kumar, Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi:
The Reach-Avoid Problem for Constant-Rate Multi-mode Systems. ATVA 2017: 463-479 - [c55]S. Akshay, Paul Gastin, Shankara Narayanan Krishna, Ilias Sarkar:
Towards an Efficient Tree Automata Based Technique for Timed Systems. CONCUR 2017: 39:1-39:15 - [c54]Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya:
Making Metric Temporal Logic Rational. MFCS 2017: 77:1-77:14 - 2016
- [c53]S. Akshay, Paul Gastin, Shankara Narayanan Krishna:
Analyzing Timed Systems Using Tree Automata. CONCUR 2016: 27:1-27:14 - [c52]Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi:
A Perfect Class of Context-Sensitive Timed Languages. DLT 2016: 38-50 - [c51]Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya:
Metric Temporal Logic with Counting. FoSSaCS 2016: 335-352 - [c50]Vrunda Dave, Shankara Narayanan Krishna, Ashutosh Trivedi:
FO-Definable Transformations of Infinite Strings. FSTTCS 2016: 12:1-12:14 - [c49]Shibashis Guha, Marcin Jurdzinski, Shankara Narayanan Krishna, Ashutosh Trivedi:
Mean-Payoff Games on Timed Automata. FSTTCS 2016: 44:1-44:14 - [c48]Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi:
A Logical Characterization for Dense-Time Visibly Pushdown Automata. LATA 2016: 89-101 - [c47]S. Akshay, Patricia Bouyer, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi:
Stochastic Timed Games Revisited. MFCS 2016: 8:1-8:14 - [c46]Devendra Bhave, Shankara Narayanan Krishna, Ashutosh Trivedi:
On Nonlinear Prices in Timed Automata. V2CPS@IFM 2016: 65-78 - 2015
- [c45]Shankara Narayanan Krishna, Ganesh Khandu Narwane, S. Ramesh, Ashutosh Trivedi:
Compositional modeling and analysis of automotive feature product lines. DAC 2015: 57:1-57:6 - [c44]Shibashis Guha, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi:
Revisiting Robustness in Priced Timed Games. FSTTCS 2015: 261-277 - [c43]Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi:
What's decidable about recursive hybrid automata? HSCC 2015: 31-40 - [c42]Devendra Bhave, Sagar Jha, Shankara Narayanan Krishna, Sven Schewe, Ashutosh Trivedi:
Bounded-rate multi-mode systems based motion planning. HSCC 2015: 41-50 - [c41]Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi:
Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable. LATA 2015: 237-248 - [c40]Ankush Das, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi, Dominik Wojtczak:
On Pure Nash Equilibria in Stochastic Games. TAMC 2015: 359-371 - [c39]Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi:
Reachability Games on Recursive Hybrid Automata. TIME 2015: 150-159 - 2014
- [c38]Thomas Brihaye, Gilles Geeraerts, Shankara Narayanan Krishna, Lakshmi Manasa, Benjamin Monmege, Ashutosh Trivedi:
Adding Negative Prices to Priced Timed Games. CONCUR 2014: 560-575 - [c37]Shankara Narayanan Krishna, Umang Mathur, Ashutosh Trivedi:
Weak Singular Hybrid Automata. FORMATS 2014: 161-175 - [c36]Emmanuel Filiot, Shankara Narayanan Krishna, Ashutosh Trivedi:
First-order Definable String Transformations. FSTTCS 2014: 147-159 - [c35]Ganesh Khandu Narwane, Shankara Narayanan Krishna, Anup Kumar Bhattacharjee:
A Cost Effective Approach for Analyzing Software Product Lines. ICDCIT 2014: 212-223 - [c34]Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya:
On Unary Fragments of MTL and TPTL over Timed Words. ICTAC 2014: 333-350 - [c33]Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya:
Partially Punctual Metric Temporal Logic is Decidable. TIME 2014: 174-183 - [c32]Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi:
Improved Undecidability Results for Reachability Games on Recursive Timed Automata. GandALF 2014: 245-259 - 2013
- [c31]Shankara Narayanan Krishna, Marian Gheorghe, Ciprian Dragomir:
Some Classes of Generalised Communicating P Systems and Simple Kernel P Systems. CiE 2013: 284-293 - [c30]Bogdan Aman, Gabriel Ciobanu, Shankara Narayanan Krishna:
Solving the 4QBF Problem in Polynomial Time by Using the Biological-Inspired Mobility. ICDCIT 2013: 432-443 - [c29]Jean-Vivien Millo, S. Ramesh, Shankara Narayanan Krishna, Ganesh Khandu Narwane:
Compositional Verification of Software Product Lines. IFM 2013: 109-123 - [c28]Shibashis Guha, Shankara Narayanan Krishna, Chinmay Narayan, S. Arun-Kumar:
A Unifying Approach to Decide Relations for Timed Automata and their Game Characterization. EXPRESS/SOS 2013: 47-62 - 2012
- [c27]Shankara Narayanan Krishna, Bogdan Aman, Gabriel Ciobanu:
On the Computability Power of Membrane Systems with Controlled Mobility. CiE 2012: 626-635 - [c26]Shankara Narayanan Krishna, Lakshmi Manasa, Ashish Chiplunkar:
Nash Equilibrium in Weighted Concurrent Timed Games with Reachability Objectives. ICDCIT 2012: 117-128 - [c25]Swarup Mohalik, S. Ramesh, Jean-Vivien Millo, Shankara Narayanan Krishna, Ganesh Khandu Narwane:
Tracing SPLs precisely and efficiently. SPLC (1) 2012: 186-195 - 2011
- [c24]Shankara Narayanan Krishna, Gabriel Ciobanu:
Computability Power of Mobility in Enhanced Mobile Membranes. CiE 2011: 160-170 - [c23]Shankara Narayanan Krishna, Gabriel Ciobanu:
A S2P ÈP2P\Sigma_2^P \cup \Pi_2^P Lower Bound Using Mobile Membranes. DCFS 2011: 275-288 - [c22]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 - [c21]Shankara Narayanan Krishna:
An Overview of Membrane Computing. ICDCIT 2011: 1-14 - [c20]Lakshmanan Kuppusamy, Anand Mahendran, Shankara Narayanan Krishna:
Matrix Insertion-Deletion Systems for Bio-Molecular Structures. ICDCIT 2011: 301-312 - 2009
- [c19]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 - 2008
- [c18]Shankara Narayanan Krishna, Gabriel Ciobanu:
On the Computational Power of Enhanced Mobile Membranes. CiE 2008: 326-335 - [c17]Lakshmi Manasa, Shankara Narayanan Krishna, Kumar Nagaraj:
Updatable Timed Automata with Additive and Diagonal Constraints. CiE 2008: 407-416 - [c16]P. Vijay Suman, Paritosh K. Pandya, Shankara Narayanan Krishna, Lakshmi Manasa:
Timed Automata with Integer Resets: Language Inclusion and Expressiveness. FORMATS 2008: 78-92 - [c15]Shankara Narayanan Krishna:
The Expressiveness of Concentration Controlled P Systems. UC 2008: 96-110 - 2007
- [c14]Shankara Narayanan Krishna, Raghavan Rama:
Towards Reducing Parallelism in P Systems. Formal Models, Languages and Applications 2007: 213-225 - [c13]Shankara Narayanan Krishna:
On the Computational Power of Flip-Flop Proteins on Membranes. CiE 2007: 695-704 - [c12]Paritosh K. Pandya, Shankara Narayanan Krishna, Kuntal Loya:
On Sampling Abstraction of Continuous Time Logic with Durations. TACAS 2007: 246-260 - 2006
- [c11]Shankara Narayanan Krishna:
Upper and Lower Bounds for the Computational Power of P Systems with Mobile Membranes. CiE 2006: 526-535 - [c10]Shankara Narayanan Krishna:
On Pure Catalytic P Systems. UC 2006: 152-165 - [c9]H. Ramesh, Shankara Narayanan Krishna, Raghavan Rama:
On the Power of Bio-Turing Machines. UC 2006: 243-253 - 2005
- [c8]Shankara Narayanan Krishna:
The Power of Mobility: Four Membranes Suffice. CiE 2005: 242-251 - [c7]Shankara Narayanan Krishna:
Communicating Distributed H Systems: Optimal Results with Efficient Ways of Communication. DNA 2005: 181-192 - [c6]Shankara Narayanan Krishna, Paritosh K. Pandya:
Modal Strength Reduction in Quantified Discrete Duration Calculus. FSTTCS 2005: 444-456 - 2004
- [c5]Shankara Narayanan Krishna:
P Systems with Symport/Antiport: The Traces of RBCs. Workshop on Membrane Computing 2004: 331-343 - 2002
- [c4]Shankara Narayanan Krishna, Raghavan Rama:
On The Power of Tissue P Systems Working in the Minimal Mode. UMC 2002: 208-219 - [c3]Shankara Narayanan Krishna, Lakshmanan Kuppusamy, Raghavan Rama:
Tissue P Systems with Contextual and Rewriting Rules. WMC-CdeA 2002: 339-351 - 2001
- [c2]Shankara Narayanan Krishna, Raghavan Rama:
Insertion-Deletion P Systems. DNA 2001: 360-370 - 1999
- [c1]Raghavan Rama, Shankara Narayanan Krishna:
Contextual Array Splicing Systems. SPIRE/CRIWG 1999: 168-175
Editorship
- 2015
- [e1]Mohua Banerjee, Shankara Narayanan Krishna:
Logic and Its Applications - 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings. Lecture Notes in Computer Science 8923, Springer 2015, ISBN 978-3-662-45823-5 [contents]
Informal and Other Publications
- 2023
- [i54]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Adwait Godbole, Yacoub G. Hendi, Shankaranarayanan Krishna, Stephan Spengler:
Parameterized Verification under TSO with Data Types. CoRR abs/2302.02163 (2023) - [i53]Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç:
Optimal Reads-From Consistency Checking for C11-Style Memory Models. CoRR abs/2304.03714 (2023) - [i52]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Mihir Vahanwala:
Overcoming Memory Weakness with Unified Fairness. CoRR abs/2305.17605 (2023) - [i51]Shankara Narayanan Krishna, Khushraj Nanik Madnani, Rupak Majumdar, Paritosh K. Pandya:
Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete. CoRR abs/2309.00386 (2023) - [i50]Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis:
How Hard is Weak-Memory Testing? CoRR abs/2311.04302 (2023) - [i49]Shankaranarayanan Krishna, Aniket Lal, Andreas Pavlogiannis, Omkar Tuppe:
On-The-Fly Static Analysis via Dynamic Bidirected Dyck Reachability. CoRR abs/2311.04319 (2023) - 2022
- [i48]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Raj Aryan Agarwal, Adwait Godbole, S. Krishna:
Probabilistic Total Store Ordering. CoRR abs/2201.10213 (2022) - [i47]Luc Dartois, Paul Gastin, R. Govind, Shankara Narayanan Krishna:
Efficient Construction of Reversible Transducers from Regular Transducer Expressions. CoRR abs/2202.04340 (2022) - [i46]Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi:
Optimal Repair For Omega-regular Properties. CoRR abs/2207.13416 (2022) - [i45]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ashutosh Gupta, Shankaranarayanan Krishna, Omkar Tuppe:
Optimal SMC for Transactional Programs. CoRR abs/2211.09020 (2022) - 2021
- [i44]Luc Dartois, Paul Gastin, Shankara Narayanan Krishna:
SD-Regular Transducer Expressions for Aperiodic Transformations. CoRR abs/2101.07130 (2021) - [i43]Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Gabriele Puppis:
One-way resynchronizability of word transducers. CoRR abs/2101.08011 (2021) - [i42]Adwait Godbole, Shankara Narayanan Krishna, Roland Meyer:
Safety Verification of Parameterized Systems under Release-Acquire. CoRR abs/2101.12123 (2021) - [i41]Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya:
Generalizing Non-Punctuality for Timed Temporal Logic with Freeze Quantifiers. CoRR abs/2105.09534 (2021) - [i40]Shankara Narayanan Krishna, Khushraj Nanik Madnani, Manuel Mazo Jr., Paritosh K. Pandya:
Logics Meet 2-Way 1-Clock Alternating Timed Automata. CoRR abs/2107.12986 (2021) - [i39]Aneesh K. Shetty, S. Krishna, Georg Zetzsche:
Scope-Bounded Reachability in Valence Systems. CoRR abs/2108.00963 (2021) - [i38]Mohammad Afzal, Sankalp Gambhir, Ashutosh Gupta, S. Krishna:
Quantitative Learning of LTL from Finite Traces. CoRR abs/2110.13616 (2021) - 2020
- [i37]S. Akshay, Paul Gastin, S. Krishna, Sparsa Roychowdhury:
Revisiting Underapproximate Reachability for Multipushdown Systems. CoRR abs/2002.05950 (2020) - [i36]Diego Figueira, Adwait Godbole, S. Krishna, Wim Martens, Matthias Niewerth, Tina Trautner:
Containment of Simple Regular Path Queries. CoRR abs/2003.04411 (2020) - [i35]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Vrunda Dave, Shankara Narayanan Krishna:
On the Separability Problem of String Constraints. CoRR abs/2005.09489 (2020) - [i34]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Viktor Vafeiadis:
The Decidability of Verification under Promising 2.0. CoRR abs/2007.09944 (2020) - 2019
- [i33]S. Akshay, Paul Gastin, Vincent Jugé, Shankara Narayanan Krishna:
Timed Systems through the Lens of Logic. CoRR abs/1903.03773 (2019) - [i32]Devendra Bhave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi:
On Timed Scope-bounded Context-sensitive Languages. CoRR abs/1905.11125 (2019) - [i31]Vrunda Dave, Emmanuel Filiot, Shankara Narayanan Krishna, Nathan Lhote:
Deciding the Computability of Regular Functions over Infinite Words. CoRR abs/1906.04199 (2019) - [i30]Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Vincent Penelle, Gabriele Puppis:
On Synthesis of Resynchronizers for Transducers. CoRR abs/1906.08688 (2019) - [i29]S. Akshay, Jatin Arora, Supratik Chakraborty, Shankara Narayanan Krishna, Divya Raghunathan, Shetal Shah:
Knowledge Compilation for Boolean Functional Synthesis. CoRR abs/1908.06275 (2019) - [i28]Vrunda Dave, Taylor Dohmen, Shankara Narayanan Krishna, Ashutosh Trivedi:
MSO-Definable Regular Model Checking. CoRR abs/1910.09072 (2019) - 2018
- [i27]Vrunda Dave, Paul Gastin, Shankara Narayanan Krishna:
Regular Transducer Expressions for Regular Transformations. CoRR abs/1802.02094 (2018) - [i26]Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya:
Büchi-Kamp Theorems for 1-clock ATA. CoRR abs/1802.02514 (2018) - [i25]Mikolaj Bojanczyk, Laure Daviaud, S. Krishna:
Regular and First Order List Functions. CoRR abs/1803.06168 (2018) - [i24]Paul Gastin, Shankara Narayanan Krishna:
Unambiguous Forest Factorization. CoRR abs/1810.07285 (2018) - 2017
- [i23]Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya:
Making Metric Temporal Logic Rational. CoRR abs/1705.01501 (2017) - [i22]S. Akshay, Paul Gastin, Shankara Narayanan Krishna, Ilias Sarkar:
Towards an Efficient Tree Automata based technique for Timed Systems. CoRR abs/1707.02297 (2017) - [i21]Shankara Narayanan Krishna, Aviral Kumar, Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi:
The Reach-Avoid Problem for Constant-Rate Multi-Mode Systems. CoRR abs/1707.04151 (2017) - [i20]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna:
What is Decidable about Perfect Timed Channels? CoRR abs/1708.05063 (2017) - 2016
- [i19]S. Akshay, Paul Gastin, Shankara Narayanan Krishna:
Analyzing Timed Systems Using Tree Automata. CoRR abs/1604.08443 (2016) - [i18]Vrunda Dave, Shankara Narayanan Krishna, Ashutosh Trivedi:
FO-definable transformations of infinite strings. CoRR abs/1607.04910 (2016) - [i17]S. Akshay, Patricia Bouyer, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi:
Stochastic Timed Games Revisited. CoRR abs/1607.05671 (2016) - [i16]Shibashis Guha, Marcin Jurdzinski, Shankara Narayanan Krishna, Ashutosh Trivedi:
Mean-Payoff Games on Timed Automata. CoRR abs/1607.08480 (2016) - 2015
- [i15]Shankara Narayanan Krishna, Ashutosh Trivedi:
Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems. CoRR abs/1503.04928 (2015) - [i14]Shibashis Guha, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi:
Revisiting Robustness in Priced Timed Games. CoRR abs/1507.05787 (2015) - [i13]Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya:
Metric Temporal Logic with Counting. CoRR abs/1512.09032 (2015) - 2014
- [i12]Thomas Brihaye, Gilles Geeraerts, Shankara Narayanan Krishna, Lakshmi Manasa, Benjamin Monmege, Ashutosh Trivedi:
Adding Negative Prices to Priced Timed Games. CoRR abs/1404.5894 (2014) - [i11]Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya:
Partially Punctual Metric Temporal Logic is Decidable. CoRR abs/1404.6965 (2014) - [i10]Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi:
On The Reachability Problem for Recursive Hybrid Automata with One and Two Players. CoRR abs/1406.7289 (2014) - [i9]Emmanuel Filiot, Shankara Narayanan Krishna, Ashutosh Trivedi:
First-order definable string transformations. CoRR abs/1406.7824 (2014) - [i8]Devendra Bhave, Sagar Jha, Shankara Narayanan Krishna, Sven Schewe, Ashutosh Trivedi:
Bounded-Rate Multi-Mode Systems Based Motion Planning. CoRR abs/1412.3670 (2014) - 2013
- [i7]Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya:
On the Decidability and Complexity of Some Fragments of Metric Temporal Logic. CoRR abs/1305.6137 (2013) - [i6]Shankara Narayanan Krishna, Umang Mathur, Ashutosh Trivedi:
Weak Singular Hybrid Automata. CoRR abs/1311.3826 (2013) - 2012
- [i5]Shankara Narayanan Krishna, Ganesh Khandu Narwane, S. Ramesh, Swarup Mohalik, Jean-Vivien Millo:
Formalizing Traceability and Derivability in Software Product Lines. CoRR abs/1201.0595 (2012) - [i4]Shibashis Guha, Shankara Narayanan Krishna:
Game Characterizations of Timed Relations for Timed Automata Processes. CoRR abs/1206.6565 (2012) - [i3]Jean-Vivien Millo, S. Ramesh, Shankara Narayanan Krishna, Ganesh Khandu Narwane:
Compositional Verification of Evolving Software Product Lines. CoRR abs/1212.4258 (2012) - 2011
- [i2]Raghavan Rama, H. Ramesh, Marian Gheorghe, Shankara Narayanan Krishna:
Further Results on Languages of Membrane Structures. CoRR abs/1108.3431 (2011) - 2010
- [i1]Lakshmi Manasa, Shankara Narayanan Krishna:
Integer Reset Timed Automata: Clock Reduction and Determinizability. CoRR abs/1001.1215 (2010)
Coauthor Index
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 02:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
