( en | de | ru )

 

Disambiguierung von "Krishna, Shankara Narayanan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Stochastic Timed Games Revisited.

, , , , und . CoRR, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

P Narayanan

Hermine Narayanan

Vidya Narayanan

Narayanan Radhakrishnan

Narayanan Sundaram

 

Weitere Publikationen von Autoren mit dem selben Namen

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