( en | de | ru )

 

Disambiguierung von "Shyamasundar, R. K."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Landcoin: A Practical Protocol for Transfer-of-Asset.

, und . ICISS, Volume 13146 von Lecture Notes in Computer Science, Seite 124-141. Springer, (2021)

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.

Deusdedit R K Nkurunziza

Aman K K Bhasin

K Schweizerhof

K Schaber

K Beheng

 

Weitere Publikationen von Autoren mit dem selben Namen

Correctness proof for the majority consensus algorithm., und . Inf. Sci., 38 (3): 213-227 (1986)An environment for modeling communicating reactive systems, , und . Information Technology, 2008. IT 2008. 1st International Conference on, Seite 1--4. (2008)An Optimal Multiprocessor Real-Time Scheduling Algorithm., und . J. Parallel Distributed Comput., 43 (1): 37-45 (1997)A deadlock-free lock-based synchronization for GPUs., , und . Concurr. Comput. Pract. Exp., (2019)PERTS: an environment for specification and verification of reactive systems: Reliability Engineering and System Safety, 71(3), 2001, 299-310., , und . Reliab. Eng. Syst. Saf., 72 (2): 223 (2001)e-coupons: An Efficient, Secure and Delegable Micro-Payment System., und . Inf. Syst. Frontiers, 7 (4-5): 371-389 (2005)Mapping Linear Recurrence Equations onto Systolic Architectures., , und . Int. J. High Speed Comput., 8 (3): 229-270 (1996)Opacity Proof for CaPR+ Algorithm., , und . CoRR, (2015)Static Security Certification of Programs via Dynamic Labelling., , und . ICETE (2), Seite 400-411. SciTePress, (2018)A Graphical Environment for the Specification and Verification of Reactive Systems., , , und . SAFECOMP, Volume 1698 von Lecture Notes in Computer Science, Seite 431-444. Springer, (1999)