From post

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.

 

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

Effective Verification of Replicated Data Types Using Later Appearance Records (LAR)., , и . ATVA, том 9364 из Lecture Notes in Computer Science, стр. 293-308. Springer, (2015)Optimized OR-Sets without Ordering Constraints., , и . ICDCN, том 8314 из Lecture Notes in Computer Science, стр. 227-241. Springer, (2014)Bounded Version Vectors Using Mazurkiewicz Traces., , и . ACSS (1), том 1178 из Advances in Intelligent Systems and Computing, стр. 31-42. Springer, (2020)Formalizing and Checking Multilevel Consistency., , , , и . VMCAI, том 11990 из Lecture Notes in Computer Science, стр. 379-400. Springer, (2020)Bounded Implementations of Replicated Data Types., , и . VMCAI, том 8931 из Lecture Notes in Computer Science, стр. 355-372. Springer, (2015)