( en | de | ru )

 

Disambiguierung von "Ramanujam, Ramaswamy"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Tagging Makes Secrecy Decidable with Unbounded Nonces as Well.

, und . FSTTCS, Volume 2914 von Lecture Notes in Computer Science, Seite 363-374. Springer, (2003)

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.

Maalolan Ramanujam

Ramaswamy Lakshmanan

Annette Ramaswamy

Arunkumar Ramaswamy

Mohini Krischke-Ramaswamy

 

Weitere Publikationen von Autoren mit dem selben Namen

Knowledge and the Ordering of Events in Distributed Systems., und . TARK, Seite 267-283. Morgan Kaufmann, (1994)Reasoning about Message Passing in Finite State Environments., und . ICALP, Volume 1853 von Lecture Notes in Computer Science, Seite 487-498. Springer, (2000)Proving Fairness of Schedulers., und . Logic of Programs, Volume 193 von Lecture Notes in Computer Science, Seite 284-301. Springer, (1985)Dynamic Restriction of Choices: Synthesis of Societal Rules., und . LORI, Volume 6953 von Lecture Notes in Computer Science, Seite 28-50. Springer, (2011)Process Specification of Logic Programs., und . FSTTCS, Volume 181 von Lecture Notes in Computer Science, Seite 31-43. Springer, (1984)Stability under Strategy Switching., , und . CiE, Volume 5635 von Lecture Notes in Computer Science, Seite 389-398. Springer, (2009)An Automaton Model of User-Controlled Navigation on the Web., und . CIAA, Volume 2088 von Lecture Notes in Computer Science, Seite 208-216. Springer, (2000)An Epistemic Logic for Planning with Trials., und . LORI, Volume 5834 von Lecture Notes in Computer Science, Seite 238-250. Springer, (2009)Tagging Makes Secrecy Decidable with Unbounded Nonces as Well., und . FSTTCS, Volume 2914 von Lecture Notes in Computer Science, Seite 363-374. Springer, (2003)Tense Logics for Local Reasoning in Distributed Systems., und . FSTTCS, Volume 560 von Lecture Notes in Computer Science, Seite 71-88. Springer, (1991)