( en | de | ru )

 

Disambiguation of "Krishna, Shankara Narayanan"

Author of the publication

copydeleteadd this publication to your clipboard
Solving the 4QBF Problem in Polynomial Time by Using the Biological-Inspired Mobility.

, , and . ICDCIT, volume 7753 of Lecture Notes in Computer Science, page 432-443. Springer, (2013)

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

Büchi-Kamp Theorems for 1-clock ATA., , and . CoRR, (2018)Verification of programs under the release-acquire semantics., , , and . PLDI, page 1117-1132. ACM, (2019)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)Updatable Timed Automata with Additive and Diagonal Constraints., , and . CiE, volume 5028 of Lecture Notes in Computer Science, page 407-416. Springer, (2008)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)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)Perfect Timed Communication Is Hard., , and . FORMATS, volume 11022 of Lecture Notes in Computer Science, page 91-107. Springer, (2018)Timed Systems through the Lens of Logic., , , and . LICS, page 1-13. IEEE, (2019)Model Checking Weighted Integer Reset Timed Automata., , and . Theory Comput. Syst., 48 (3): 648-679 (2011)Game Characterizations of Timed Relations for Timed Automata Processes, and . CoRR, (2012)