pith. sign in

Shankara Narayanan Krishna

Identifiers

  • name variant Shankara Narayanan Krishna 0.60 · backfill

Papers (22)

  1. On Synthesis of Resynchronizers for Transducers cs.FL · 2019 · author #2
  2. Timed Systems through the Lens of Logic cs.LO · 2019 · author #4
  3. Unambiguous Forest Factorization cs.FL · 2018 · author #2
  4. B\"uchi-Kamp Theorems for 1-clock ATA cs.LO · 2018 · author #1
  5. The Reach-Avoid Problem for Constant-Rate Multi-Mode Systems cs.LO · 2017 · author #1
  6. Towards an Efficient Tree Automata based technique for Timed Systems cs.FL · 2017 · author #3
  7. Making Metric Temporal Logic Rational cs.LO · 2017 · author #1
  8. Stochastic Timed Games Revisited cs.LO · 2016 · author #3
  9. FO-definable transformations of infinite strings cs.FL · 2016 · author #2
  10. Metric Temporal Logic with Counting cs.LO · 2015 · author #2
  11. Revisiting Robustness in Priced Timed Games cs.LO · 2015 · author #2
  12. Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems cs.LO · 2015 · author #1
  13. Bounded-Rate Multi-Mode Systems Based Motion Planning cs.LO · 2014 · author #3
  14. First-order definable string transformations cs.LO · 2014 · author #2
  15. On The Reachability Problem for Recursive Hybrid Automata with One and Two Players cs.LO · 2014 · author #1
  16. Partially Punctual Metric Temporal Logic is Decidable cs.LO · 2014 · author #2
  17. Weak Singular Hybrid Automata cs.FL · 2013 · author #1
  18. On the Decidability and Complexity of Some Fragments of Metric Temporal Logic cs.LO · 2013 · author #2
  19. Compositional Verification of Evolving Software Product Lines cs.SE · 2012 · author #3
  20. Game Characterizations of Timed Relations for Timed Automata Processes cs.FL · 2012 · author #2
  21. Formalizing Traceability and Derivability in Software Product Lines cs.SE · 2012 · author #1
  22. Further Results on Languages of Membrane Structures cs.DC · 2011 · author #4

Mentions

  • 1311.3826 #1 · backfill · confidence 0.70 Shankara Narayanan Krishna
  • 1305.6137 #2 · backfill · confidence 0.70 Shankara Narayanan Krishna
  • 1212.4258 #3 · backfill · confidence 0.70 Shankara Narayanan Krishna
  • 1206.6565 #2 · backfill · confidence 0.70 Shankara Narayanan Krishna
  • 1201.0595 #1 · backfill · confidence 0.70 Shankara Narayanan Krishna
  • 1108.3431 #4 · backfill · confidence 0.70 Shankara Narayanan Krishna

Frequent Coauthors