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.

 

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

Tempo-Toolkit: Tempo to Java Translation Module., , и . NCA, стр. 235-242. IEEE Computer Society, (2013)On the Automated Implementation of Time-Based Paxos Using the IOA Compiler., , и . OPODIS, том 6490 из Lecture Notes in Computer Science, стр. 235-252. Springer, (2010)An Abstract Channel Specification and an Algorithm Implementing It Using Java Sockets., , , и . NCA, стр. 211-219. IEEE Computer Society, (2008)Formal Reasoning about Software Object Translations., , и . Monterey Workshop, том 6028 из Lecture Notes in Computer Science, стр. 43-58. Springer, (2008)Evaluating a Dependable Sharable Atomic Data Service on a Planetary-Scale Network., , и . ICA3PP, том 5574 из Lecture Notes in Computer Science, стр. 580-592. Springer, (2009)Implementing a Reconfigurable Atomic Memory Service for Dynamic Networks., и . IPDPS, IEEE Computer Society, (2004)Spontaneous, Self-Sampling Quorum Systems for Ad Hoc Networks., , и . ISPDC, стр. 367-374. IEEE Computer Society, (2008)Developing a Consistent Domain-Oriented Distributed Object Service., , и . IEEE Trans. Parallel Distributed Syst., 20 (11): 1567-1585 (2009)On the Efficiency of Atomic Multi-reader, Multi-writer Distributed Memory., , , , и . OPODIS, том 5923 из Lecture Notes in Computer Science, стр. 240-254. Springer, (2009)Long-Lived Rambo: Trading Knowledge for Communication., , и . SIROCCO, том 3104 из Lecture Notes in Computer Science, стр. 185-196. Springer, (2004)