( en | de | ru )

 

Disambiguierung von "Krishna, Shankara Narayanan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Analyzing Timed Systems Using Tree Automata.

, , und . CONCUR, Volume 59 von LIPIcs, Seite 27:1-27:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (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

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