2009 |
70 | EE | Eli Gafni,
Achour Mostéfaoui,
Michel Raynal,
Corentin Travers:
From adaptive renaming to set agreement.
Theor. Comput. Sci. 410(14): 1328-1335 (2009) |
2008 |
69 | EE | Marcos Kawazoe Aguilera,
Eli Gafni,
Leslie Lamport:
The Mailbox Problem.
DISC 2008: 1-15 |
68 | EE | Eli Gafni:
The 0-1-Exclusion Families of Tasks.
OPODIS 2008: 246-258 |
67 | EE | Michael Okun,
Amnon Barak,
Eli Gafni:
Renaming in synchronous message passing systems with Byzantine failures.
Distributed Computing 20(6): 403-413 (2008) |
2007 |
66 | EE | Eli Gafni,
Petr Kuznetsov:
N-Consensus is the Second Strongest Object for N+1 Processes.
OPODIS 2007: 260-273 |
65 | EE | Eli Gafni,
Michel Raynal,
Corentin Travers:
Test & Set, Adaptive Renaming and Set Agreement: a Guided Visit to Asynchronous Computability.
SRDS 2007: 93-102 |
64 | EE | Yehuda Afek,
Eli Gafni,
Adam Morrison:
Common2 extended to stacks and unbounded concurrency.
Distributed Computing 20(4): 239-252 (2007) |
2006 |
63 | EE | Eli Gafni,
Sergio Rajsbaum,
Maurice Herlihy:
Subconsensus Tasks: Renaming Is Weaker Than Set Agreement.
DISC 2006: 329-338 |
62 | EE | Yehuda Afek,
Eli Gafni,
Sergio Rajsbaum,
Michel Raynal,
Corentin Travers:
Simultaneous Consensus Tasks: A Tighter Characterization of Set-Consensus.
ICDCN 2006: 331-341 |
61 | EE | Eli Gafni:
Read-Write Reductions.
ICDCN 2006: 349-354 |
60 | EE | Eli Gafni,
Sergio Rajsbaum,
Michel Raynal,
Corentin Travers:
The Committee Decision Problem.
LATIN 2006: 502-514 |
59 | EE | Amihai Motro,
Alessandro D'Atri,
Eli Gafni:
How Deep Should It Be? On the Optimality of Hierarchical Architectures.
NGITS 2006: 260-273 |
58 | EE | Eli Gafni:
Renaming with k-Set-Consensus: An Optimal Algorithm into n + k - 1 Slots.
OPODIS 2006: 36-44 |
57 | EE | Yehuda Afek,
Eli Gafni,
Adam Morrison:
Common2 extended to stacks and unbounded concurrency.
PODC 2006: 218-227 |
2005 |
56 | EE | Eli Gafni,
Sergio Rajsbaum:
Musical Benches.
DISC 2005: 63-77 |
55 | EE | Eli Gafni,
Rachid Guerraoui,
Bastian Pochon:
From a static impossibility to an adaptive lower bound: the complexity of early deciding set agreement.
STOC 2005: 714-722 |
2004 |
54 | EE | Eli Gafni:
Group-Solvability.
DISC 2004: 30-40 |
53 | EE | Carlos Brito,
Eli Gafni,
Shailesh Vaya:
An Information Theoretic Lower Bound for Broadcasting in Radio Networks.
STACS 2004: 534-546 |
2003 |
52 | EE | Marcos Kawazoe Aguilera,
Burkhard Englert,
Eli Gafni:
Uniform Solvability with a Finite Number of MWMR Registers.
DISC 2003: 16-29 |
51 | EE | Marcos Kawazoe Aguilera,
Burkhard Englert,
Eli Gafni:
On using network attached disks as shared memory.
PODC 2003: 315-324 |
50 | EE | Eli Gafni,
Leslie Lamport:
Disk Paxos.
Distributed Computing 16(1): 1-20 (2003) |
2002 |
49 | EE | Eli Gafni:
A Simple Algorithmic Characterization of Uniform Solvability.
FOCS 2002: 228-237 |
48 | EE | Burkhard Englert,
Eli Gafni:
Fast Collect in the absence of contention.
ICDCS 2002: 537-543 |
47 | EE | Hagit Attiya,
Arie Fouren,
Eli Gafni:
An adaptive collect algorithm with applications.
Distributed Computing 15(2): 87-96 (2002) |
2001 |
46 | EE | Eli Gafni,
Michael Merritt,
Gadi Taubenfeld:
The concurrency hierarchy, and algorithms for unbounded concurrency.
PODC 2001: 161-169 |
45 | EE | Elizabeth Borowsky,
Eli Gafni,
Nancy A. Lynch,
Sergio Rajsbaum:
The BG distributed simulation algorithm.
Distributed Computing 14(3): 127-146 (2001) |
44 | EE | Eli Gafni,
Michael Mitzenmacher:
Analysis of Timing-Based Mutual Exclusion with Random Times.
SIAM J. Comput. 31(3): 816-837 (2001) |
2000 |
43 | EE | Eli Gafni,
Leslie Lamport:
Disk Paxos.
DISC 2000: 330-344 |
1999 |
42 | EE | Eli Gafni,
Jessica Staddon,
Yiqun Lisa Yin:
Efficient Methods for Integrating Traceability and Broadcast Encryption.
CRYPTO 1999: 372-387 |
41 | EE | Eli Gafni,
Michael Mitzenmacher:
Analysis of Timing-Based Mutual Exclusion with Random Times.
PODC 1999: 13-21 |
40 | | Eli Gafni,
Elias Koutsoupias:
Three-Processor Tasks Are Undecidable.
SIAM J. Comput. 28(3): 970-983 (1999) |
1998 |
39 | EE | Eli Gafni:
Round-by-Round Fault Detectors: Unifying Synchrony and Asynchrony (Extended Abstract).
PODC 1998: 143-152 |
38 | EE | Jiong Yang,
Gil Neiger,
Eli Gafni:
Structured Derivations of Consensus Algorithms for Failure Detectors.
PODC 1998: 297-306 |
1997 |
37 | | Elizabeth Borowsky,
Eli Gafni:
A Simple Algorithmically Reasoned Characterization of Wait-Free Computations (Extended Abstract).
PODC 1997: 189-198 |
36 | | Yehuda Afek,
Baruch Awerbuch,
Eli Gafni,
Yishay Mansour,
Adi Rosén,
Nir Shavit:
Slide-The Key to Polynomial End-to-End Communication.
J. Algorithms 22(1): 158-186 (1997) |
1996 |
35 | | Eli Gafni:
A Proof of a Theorem in Algebraic Topology by a Distributed Algorithm (Abstract).
PODC 1996: 276 |
34 | | Eli Gafni:
Simulation as an Iterated Task (Abstract).
PODC 1996: 278 |
1995 |
33 | | Eli Gafni,
Elias Koutsoupias:
3-Processor Tasks Are Undecidable (Abstract).
PODC 1995: 271 |
1994 |
32 | | Elizabeth Borowsky,
Eli Gafni,
Yehuda Afek:
Consensus Power Makes (Some) Sense! (Extended Abstract).
PODC 1994: 363-372 |
31 | EE | Yehuda Afek,
Danny Dolev,
Eli Gafni,
Michael Merritt,
Nir Shavit:
A Bounded First-In, First-Enabled Solution to the l-Exclusion Problem.
ACM Trans. Program. Lang. Syst. 16(3): 939-953 (1994) |
30 | | Yehuda Afek,
Eli Gafni:
Distributed Algorithms for Unidirectional Networks.
SIAM J. Comput. 23(6): 1152-1178 (1994) |
1993 |
29 | | Elizabeth Borowsky,
Eli Gafni:
Immediate Atomic Snapshots and Fast Renaming (Extended Abstract).
PODC 1993: 41-51 |
28 | EE | Elizabeth Borowsky,
Eli Gafni:
Generalized FLP impossibility result for t-resilient asynchronous computations.
STOC 1993: 91-100 |
27 | EE | Yehuda Afek,
Hagit Attiya,
Danny Dolev,
Eli Gafni,
Michael Merritt,
Nir Shavit:
Atomic Snapshots of Shared Memory.
J. ACM 40(4): 873-890 (1993) |
1992 |
26 | | Yehuda Afek,
Eli Gafni,
Adi Rosén:
The Slide Mechanism with Applications in Dynamic Networks (Extended Abstract).
PODC 1992: 35-46 |
25 | | Yehuda Afek,
Eli Gafni,
John Tromp,
Paul M. B. Vitányi:
Wait-free Test-and-Set (Extended Abstract).
WDAG 1992: 85-94 |
1991 |
24 | | Yehuda Afek,
Eli Gafni:
Bootstrap Network Resynchronization (Extended Abstract).
PODC 1991: 295-307 |
23 | | Yehuda Afek,
Eli Gafni:
Time and Message Bounds for Election in Synchronous and Asynchronous Complete Networks.
SIAM J. Comput. 20(2): 376-394 (1991) |
1990 |
22 | EE | Yehuda Afek,
Danny Dolev,
Hagit Attiya,
Eli Gafni,
Michael Merritt,
Nir Shavit:
Atomic Snapshots of Shared Memory.
PODC 1990: 1-13 |
21 | | Yehuda Afek,
Danny Dolev,
Eli Gafni:
A Bounded First-In, First-Enabled Solution to the 1-Exclusion Problem.
WDAG 1990: 422-431 |
1989 |
20 | | Yehuda Afek,
Eli Gafni,
Moty Ricklin:
Upper and Lower Bounds for Routing Schemes in Dynamic Networks (Abstract)
FOCS 1989: 370-375 |
19 | EE | Valmir C. Barbosa,
Eli Gafni:
Concurrency in Heavily Loaded Neighborhood-Constrained Systems.
ACM Trans. Program. Lang. Syst. 11(4): 562-584 (1989) |
18 | | Valmir C. Barbosa,
Eli Gafni:
A Distributed Implementation of Simulated Annealing.
J. Parallel Distrib. Comput. 6(2): 411-434 (1989) |
17 | | Eli Gafni,
Joseph Naor,
Prabhakar Ragde:
On Separating the Erew and Crew Pram Models.
Theor. Comput. Sci. 68(3): 343-346 (1989) |
1988 |
16 | EE | Eli Gafni,
Yehuda Afek:
End-to-End Communication in Unreliable Networks.
PODC 1988: 131-148 |
15 | EE | Ching-Tsun Chou,
Eli Gafni:
Understanding and Verifying Distributed Algorithms Using Stratified Decomposition.
PODC 1988: 44-65 |
14 | | Danny Dolev,
Eli Gafni,
Nir Shavit:
Toward a Non-Atomic Era: \ell-Exclusion as a Test Case
STOC 1988: 78-92 |
13 | | John M. Marberg,
Eli Gafni:
Sorting in Constant Number of Row and Column Phases on a Mesh.
Algorithmica 3: 561-572 (1988) |
1987 |
12 | | Yehuda Afek,
Baruch Awerbuch,
Eli Gafni:
Applying Static Network Protocols to Dynamic Networks
FOCS 1987: 358-370 |
11 | | Valmir C. Barbosa,
Eli Gafni:
Concurrency in Heavily Loaded Neighborhood-Constrained Systems.
ICDCS 1987: 448-457 |
10 | | Yuval Tamir,
Eli Gafni:
A Software-Based Hardware Fault Tolerance Scheme for Multicomputers.
ICPP 1987: 117-120 |
9 | | John M. Marberg,
Eli Gafni:
An O(n^2 m^1/2) Distributed Max-Flow Algorithm.
ICPP 1987: 213-216 |
8 | | Eli Gafni:
Generalized Scheme for Topology-Update in Dynamic Networks.
WDAG 1987: 187-196 |
7 | | Yehuda Afek,
Baruch Awerbuch,
Eli Gafni:
Local Fail-safe Network Reset Procedure.
WDAG 1987: 197-211 |
6 | | Eli Gafni,
Dimitri P. Bertsekas:
Asymptotic optimality of shortest path routing algorithms.
IEEE Transactions on Information Theory 33(1): 83-90 (1987) |
5 | | John M. Marberg,
Eli Gafni:
Distributed Sorting Algorithms for Multi-Channel Broadcast Networks.
Theor. Comput. Sci. 52: 193-203 (1987) |
1985 |
4 | | John M. Marberg,
Eli Gafni:
Sorting and Selection in Multi-Channel Broadcast Networks.
ICPP 1985: 846-850 |
3 | | Eli Gafni:
Improvements in the Time Complexity of Two Message-Optimal Election Algorithms.
PODC 1985: 175-185 |
2 | | Yehuda Afek,
Eli Gafni:
Time and Message Bounds of Election in Synchronous and Asynchronous Complete Networks.
PODC 1985: 186-195 |
1984 |
1 | | Eli Gafni,
Yehuda Afek:
Election and Traversal in Unidirectional Networks.
PODC 1984: 190-198 |