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.

 

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

Resettable vector clocks., , и . PODC, стр. 269-278. ACM, (2000)Analysis of Bounds on Hybrid Vector Clocks., , и . OPODIS, том 46 из LIPIcs, стр. 34:1-34:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Distributing Key Updates in Secure Dynamic Groups., и . ICDCIT, том 3347 из Lecture Notes in Computer Science, стр. 410-419. Springer, (2004)Symbolic synthesis of masking fault-tolerant distributed programs., , и . Distributed Comput., 25 (1): 83-108 (2012)Terminating alternator.. Parallel Process. Lett., 17 (4): 379-390 (2007)Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance., и . IEEE Trans. Dependable Secur. Comput., 2 (3): 201-215 (2005)UFIT: A Tool for Modeling Faults in UPPAAL Timed Automata., , и . NFM, том 9058 из Lecture Notes in Computer Science, стр. 429-435. Springer, (2015)Transformations for Write-All-with-Collision Model., и . OPODIS, том 3144 из Lecture Notes in Computer Science, стр. 184-197. Springer, (2003)Biased Clocks: A Novel Approach to Improve the Ability To Perform Predicate Detection with O(1) Clocks., и . SIROCCO, том 11085 из Lecture Notes in Computer Science, стр. 345-360. Springer, (2018)ProSe - A Programming Tool for Rapid Prototyping of Sensor Networks., и . SECON, стр. 685-686. IEEE, (2007)