( en | de | ru )

 

Disambiguation of "Abraham, Ittai"

Author of the publication

copydeleteadd this publication to your clipboard
Online detection of effectively callback free objects with applications to smart contracts.

, , , , , , and . Proc. ACM Program. Lang., 2 (POPL): 48:1-48:28 (2018)

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. You can also use the button next to the name to display some publications already assigned to the person.

Ittai Joseph Tamari

Abraham Merel

Abraham Frowein

Rainer Abraham

Günter Abraham

 

Other publications of authors with the same name

LAND: stretch (1 + epsilon) locality-aware networks for DHTs., , and . SODA, page 550-559. SIAM, (2004)Low-Distortion Inference of Latent Similarities from a Multiplex Social Network., , , and . SIAM J. Comput., 44 (3): 617-668 (2015)Forbidden-set distance labels for graphs of bounded doubling dimension., , , and . PODC, page 192-200. ACM, (2010)Byzantine disk paxos: optimal resilience with byzantine shared memory., , , and . PODC, page 226-235. ACM, (2004)Compact name-independent routing with minimum stretch., , , , and . SPAA, page 20-24. ACM, (2004)On Approximate Distance Labels and Routing Schemes with Affine Stretch., and . DISC, volume 6950 of Lecture Notes in Computer Science, page 404-415. Springer, (2011)Compact Routing for Graphs Excluding a Fixed Minor., , and . DISC, volume 3724 of Lecture Notes in Computer Science, page 442-456. Springer, (2005)Distributed SSH Key Management with Proactive RSA Threshold Signatures., , and . ACNS, volume 10892 of Lecture Notes in Computer Science, page 22-43. Springer, (2018)SBFT: A Scalable and Decentralized Trust Infrastructure., , , , , , , , and . DSN, page 568-580. IEEE, (2019)Using petal-decompositions to build a low stretch spanning tree., and . STOC, page 395-406. ACM, (2012)