( en | de | ru )

 

Disambiguation of "Krishna, Shankara Narayanan"

Author of the publication

copydeleteadd this publication to your clipboard
Büchi-Kamp Theorems for 1-clock ATA.

, , and . CoRR, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

P Narayanan

Hermine Narayanan

Vidya Narayanan

Narayanan Radhakrishnan

Narayanan Sundaram

 

Other publications of authors with the same name

Integer Reset Timed Automata: Clock Reduction and Determinizability, and . CoRR, (2010)Büchi-Kamp Theorems for 1-clock ATA., , and . CoRR, (2018)Communicating Distributed H Systems: Optimal Results with Efficient Ways of Communication.. DNA, volume 3892 of Lecture Notes in Computer Science, page 181-192. Springer, (2005)Updatable Timed Automata with Additive and Diagonal Constraints., , and . CiE, volume 5028 of Lecture Notes in Computer Science, page 407-416. Springer, (2008)Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata., , and . FORMATS, volume 5813 of Lecture Notes in Computer Science, page 88-102. Springer, (2009)P Systems with Symport/Antiport: The Traces of RBCs.. Workshop on Membrane Computing, volume 3365 of Lecture Notes in Computer Science, page 331-343. Springer, (2004)Deciding the Computability of Regular Functions over Infinite Words., , , and . CoRR, (2019)P Systems with Picture Objects., , and . Acta Cybern., 15 (1): 53-74 (2001)Traceability Analyses between Features and Assets in Software Product Lines., , , , , and . Entropy, 18 (8): 269 (2016)Verification of programs under the release-acquire semantics., , , and . PLDI, page 1117-1132. ACM, (2019)