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 |