( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
e-coupons: An Efficient, Secure and Delegable Micro-Payment System.

, и . Inf. Syst. Frontiers, 7 (4-5): 371-389 (2005)

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.

Deusdedit R K Nkurunziza

Aman K K Bhasin

K Schweizerhof

K Schaber

K Beheng

 

Другие публикации лиц с тем же именем

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