Hagit Attiya Home Page Coauthor index pubzone.org

Chagit Attiya

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya: Announcement: best reviewer award 2011. Distributed Computing 25(1): 1 (2012)
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Aspnes, Hagit Attiya, Keren Censor-Hillel: Polylogarithmic concurrent data structures from monotone circuits. J. ACM 59(1): 2 (2012)
2011
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Fatemeh Borran, Martin Hutle, Zarko Milosevic, André Schiper: Structured Derivation of Semi-Synchronous Algorithms. DISC 2011: 374-388
146Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya: Invited Paper: The Inherent Complexity of Transactional Memory and What to Do about It. ICDCN 2011: 1-11
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Eshcar Hillel: Single-Version STMs Can Be Multi-version Permissive (Extended Abstract). ICDCN 2011: 83-94
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Rachid Guerraoui, Danny Hendler, Petr Kuznetsov, Maged M. Michael, Martin T. Vechev: Laws of order: expensive synchronization in concurrent algorithms cannot be eliminated. POPL 2011: 487-498
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Armando Castañeda: A Non-topological Proof for the Impossibility of k-Set Agreement. SSS 2011: 108-119
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNoga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil: Pragmatic Self-stabilization of Atomic Memory in Message-Passing Systems. SSS 2011: 19-31
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Faith Ellen, Panagiota Fatourou: The complexity of updating snapshot objects. J. Parallel Distrib. Comput. 71(12): 1570-1577 (2011)
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya: Sharing memories, robustly. SIGACT News 42(4): 79-82 (2011)
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Eshcar Hillel: Highly concurrent multi-word synchronization. Theor. Comput. Sci. 412(12-14): 1243-1262 (2011)
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Eshcar Hillel, Alessia Milani: Inherent Limitations on Disjoint-Access Parallel Implementations of Transactional Memory. Theory Comput. Syst. 49(4): 698-719 (2011)
2010
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Eshcar Hillel: The Cost of Privatization. DISC 2010: 35-49
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNoga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Gradinariu, Sébastien Tixeuil: Brief Announcement: Sharing Memory in a Self-stabilizing Manner. DISC 2010: 525-527
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDan Alistarh, Hagit Attiya, Seth Gilbert, Andrei Giurgiu, Rachid Guerraoui: Fast Randomized Test-and-Set and Renaming. DISC 2010: 94-108
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya: The inherent complexity of transactional memory and what to do about it. PODC 2010: 1-5
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Eshcar Hillel: Brief announcement: single-version permissive STM. PODC 2010: 67-68
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, G. Ramalingam, Noam Rinetzky: Sequential verification of serializability. POPL 2010: 31-42
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Vincent Gramoli, Alessia Milani: Brief announcement: combine -- an improved directory-based consistency protocol. SPAA 2010: 72-73
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Vincent Gramoli, Alessia Milani: A Provably Starvation-Free Distributed Directory Protocol. SSS 2010: 405-419
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Leah Epstein, Hadas Shachnai, Tami Tamir: Transactional Contention Management as a Non-Clairvoyant Scheduling Problem. Algorithmica 57(1): 44-61 (2010)
128no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya: Robust Simulation of Shared Memory: 20 Years After. Bulletin of the EATCS 100: 99-113 (2010)
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNoga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Gradinariu, Sébastien Tixeuil: Practically Stabilizing Atomic Memory CoRR abs/1007.1802: (2010)
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, David Hay, Isaac Keslassy: Packet-Mode Emulation of Output-Queued Switches. IEEE Trans. Computers 59(10): 1378-1391 (2010)
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Alex Kogan, Jennifer L. Welch: Efficient and Robust Local Mutual Exclusion in Mobile Ad Hoc Networks. IEEE Trans. Mob. Comput. 9(3): 361-375 (2010)
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Danny Hendler: Time and Space Lower Bounds for Implementations Using k-CAS. IEEE Trans. Parallel Distrib. Syst. 21(2): 162-173 (2010)
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Aspnes, Hagit Attiya, Keren Censor: Combining shared-coin algorithms. J. Parallel Distrib. Comput. 70(3): 317-322 (2010)
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Keren Censor-Hillel: Lower Bounds for Randomized Consensus under a Weak Adversary. SIAM J. Comput. 39(8): 3885-3904 (2010)
2009
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Alessia Milani: Brief Announcement: Transactional Scheduling for Read-Dominated Workloads. DISC 2009: 108-110
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Alessia Milani: Transactional Scheduling for Read-Dominated Workloads. OPODIS 2009: 3-17
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Aspnes, Hagit Attiya, Keren Censor: Max registers, counters, and monotone circuits. PODC 2009: 36-45
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Eshcar Hillel, Alessia Milani: Inherent limitations on disjoint-access parallel implementations of transactional memory. SPAA 2009: 69-78
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya: Editorial: It's all about change. Distributed Computing 22(1): 1 (2009)
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Rachid Guerraoui, Danny Hendler, Petr Kuznetsov: The complexity of obstruction-free implementations. J. ACM 56(4): (2009)
2008
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Eshcar Hillel: Highly-Concurrent Multi-word Synchronization. ICDCN 2008: 112-123
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Alex Kogan, Jennifer L. Welch: Efficient and Robust Local Mutual Exclusion in Mobile Ad Hoc Networks. ICDCS 2008: 321-328
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Keren Censor: Lower bounds for randomized consensus under a weak adversary. PODC 2008: 315-324
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Aspnes, Hagit Attiya, Keren Censor: Randomized consensus in expected O(n log n) individual work. PODC 2008: 325-334
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Danny Hendler, Philipp Woelfel: Tight RMR lower bounds for mutual exclusion and other problems. PODC 2008: 447
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Jennifer L. Welch: A world of (Im) possibilities. PODC 2008: 461
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Rachid Guerraoui, Eric Ruppert: Partial snapshot objects. SPAA 2008: 336-343
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Danny Hendler, Philipp Woelfel: Tight rmr lower bounds for mutual exclusion and other problems. STOC 2008: 217-226
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Keren Censor: Tight bounds for asynchronous randomized consensus. J. ACM 55(5): (2008)
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, David Hay: Randomization Does Not Reduce the Average Delay in Parallel Packet Switches. SIAM J. Comput. 37(5): 1613-1636 (2008)
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya: Needed: foundations for transactional memory. SIGACT News 39(1): 59-61 (2008)
2007
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Faith Ellen, Panagiota Fatourou: The complexity of updating multi-writer snapshot objects. PODC 2007: 318-319
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Eshcar Hillel: The power of DCAS: highly-concurrent software transactional memory. PODC 2007: 342-343
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Keren Censor: Tight bounds for asynchronous randomized consensus. STOC 2007: 155-164
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya: Concurrency and the Principle of Data Locality. IEEE Distributed Systems Online 8(9): (2007)
2006
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Eshcar Hillel: Built-In Coloring for Highly-Concurrent Doubly-Linked Lists. DISC 2006: 31-45
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Faith Ellen, Panagiota Fatourou: The Complexity of Updating Multi-writer Snapshot Objects. ICDCN 2006: 319-330
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Rachid Guerraoui, Danny Hendler, Petr Kouznetsov: Synchronizing without locks is inherently expensive. PODC 2006: 300-307
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Leah Epstein, Hadas Shachnai, Tami Tamir: Transactional contention management as a non-clairvoyant scheduling problem. PODC 2006: 308-315
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya: Adapting to Point Contention with Long-Lived Safe Agreement . SIROCCO 2006: 10-23
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, David Hay, Isaac Keslassy: Packet-mode emulation of output-queued switches. SPAA 2006: 138-147
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Fabian Kuhn, C. Greg Plaxton, Mirjam Wattenhofer, Roger Wattenhofer: Efficient adaptive collect using randomization. Distributed Computing 18(3): 179-188 (2006)
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, David Hay: The Inherent Queuing Delay of Parallel Packet Switches. IEEE Trans. Parallel Distrib. Syst. 17(9): 1048-1056 (2006)
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Amir Bar-Or: Sharing Memory with Semi-byzantine Clients and Faulty Storage Servers. Parallel Processing Letters 16(4): 419-428 (2006)
2005
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Rachid Guerraoui, Petr Kouznetsov: Computing with Reads and Writes in the Absence of Step Contention. DISC 2005: 122-136
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Danny Hendler: Time and Space Lower Bounds for Implementations Using k-CAS. DISC 2005: 169-183
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, David Hay, Jennifer L. Welch: Optimal Clock Synchronization Under Energy Constraints in Wireless Ad-Hoc Networks. OPODIS 2005: 221-234
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, David Hay: Randomization does not reduce the average delay in parallel packet switches. SPAA 2005: 11-20
2004
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Fabian Kuhn, Mirjam Wattenhofer, Roger Wattenhofer: Efficient Adaptive Collect Using Randomization. DISC 2004: 159-173
86no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, David Hay: The Inherent Queuing Delay of Parallel Packet Switches. IFIP TCS 2004: 139-152
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonit Nossenson, Hagit Attiya: The N-Burst/G/1 Model with Heavy-Tailed Service-Times Distribution. MASCOTS 2004: 131-138
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Faith Ellen Fich, Yaniv Kaplan: Lower bounds for adaptive collect and related objects. PODC 2004: 60-69
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, David Hay: The inherent queuing delay of parallel packet switches. SPAA 2004: 269-270
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Hadas Shachnai: Tight bounds for FEC-based reliable multicast. Inf. Comput. 190(2): 117-135 (2004)
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonit Nossenson, Hagit Attiya: The distribution of file transmission duration in the web. Int. J. Communication Systems 17(5): 407-419 (2004)
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdnan Agbaria, Hagit Attiya, Roy Friedman, Roman Vitenberg: Quantifying rollback propagation in distributed checkpointing. J. Parallel Distrib. Comput. 64(3): 370-384 (2004)
2003
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Amir Bar-Or: Sharing Memory with Semi-Byzantine Clients and Faulty Storage Servers. SRDS 2003: 371-378
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonit Nossenson, Hagit Attiya: Understanding the Distribution of File Transmission Duration in the Web. WWW (Posters) 2003
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Sergio Rajsbaum: Introduction. Distributed Computing 16(2-3): 69-70 (2003)
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAllon Adir, Hagit Attiya, Gil Shurek: Information-Flow Models for Shared Memory with an Application to the PowerPC Architecture. IEEE Trans. Parallel Distrib. Syst. 14(5): 502-515 (2003)
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Arie Fouren: Algorithms adapting to point contention. J. ACM 50(4): 444-468 (2003)
2002
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Zvi Avidor: Wait-Free n-Set Consensus When Inputs Are Restricted. DISC 2002: 326-338
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Arie Fouren, Eli Gafni: An adaptive collect algorithm with applications. Distributed Computing 15(2): 87-96 (2002)
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Vita Bortnikov: Adaptive and efficient mutual exclusion. Distributed Computing 15(3): 177-189 (2002)
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Alla Gorbach, Shlomo Moran: Computing in Totally Anonymous Asynchronous Shared Memory Systems. Inf. Comput. 173(2): 162-183 (2002)
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Sergio Rajsbaum: The Combinatorial Structure of Wait-Free Solvable Tasks. SIAM J. Comput. 31(4): 1286-1313 (2002)
2001
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdnan Agbaria, Hagit Attiya, Roy Friedman, Roman Vitenberg: Quantifying Rollback Propagation in Distributed Checkpointing. SRDS 2001: 36-45
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Eyal Dagan: Improved implementations of binary universal operations. J. ACM 48(5): 1013-1037 (2001)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Taly Djerassi-Shintel: Time Bounds for Decision Problems in the Presence of Timing Uncertainty and Failures. J. Parallel Distrib. Comput. 61(8): 1096-1109 (2001)
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Arie Fouren: Adaptive and Efficient Algorithms for Lattice Agreement and Renaming. SIAM J. Comput. 31(2): 642-664 (2001)
2000
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Arie Fouren: Polynominal and Adaptive Long-Lived (2k-1)-Renaming. DISC 2000: 149-163
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Vita Bortnikov: Adaptive and efficient mutual exclusion (extended abstract). PODC 2000: 91-100
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya: Efficient and Robust Sharing of Memory in Message-Passing Systems. J. Algorithms 34(1): 109-127 (2000)
1999
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehuda Afek, Hagit Attiya, Arie Fouren, Gideon Stupp, Dan Touitou: Long-Lived Renaming Made Adaptive. PODC 1999: 91-103
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Hadas Shachnai, Tami Tamir: Local Labeling and Resource Allocation Using Preprocessing. SIAM J. Comput. 28(4): 1397-1414 (1999)
1998
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Alla Gorbach, Shlomo Moran: Computing in Totally Anonymous Asynchronous Shared Memory Systems. DISC 1998: 49-61
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Arie Fouren: Adaptive Wait-Free Algorithms for Lattice Agreement and Renaming (Extended Abstract). PODC 1998: 277-286
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya: A Direct Lower Bound for k-Set Consensus. PODC 1998: 314
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Soma Chaudhuri, Roy Friedman, Jennifer L. Welch: Shared Memory Consistency Conditions for Nonsequential Execution: Definitions and Programming Strategies. SIAM J. Comput. 27(1): 65-89 (1998)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Ophir Rachman: Atomic Snapshots in O(n log n) Operations. SIAM J. Comput. 27(2): 319-340 (1998)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Roy Friedman: A Correctness Condition for High-Performance Multiprocessors. SIAM J. Comput. 27(6): 1637-1670 (1998)
1997
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames E. Burns, Hagit Attiya: Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, Santa Barbara, California, USA, August 21-24, 1997 ACM 1997
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Hadas Shachnai: IDABased Protocols for Reliable Multicast. OPODIS 1997: 137-152
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Rinat Rappoport: The Level of Handshake Required for Managing a Connection. Distributed Computing 11(1): 41-57 (1997)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Alur, Hagit Attiya, Gadi Taubenfeld: Time-Adaptive Algorithms for Synchronization. SIAM J. Comput. 26(2): 539-556 (1997)
1996
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Eyal Dagan: Universal Operations: Unary versus Binary (Extended Abstract). PODC 1996: 223-232
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Sergio Rajsbaum: The Combinatorial Structure of Wait-free Solvable Tasks (Extended Abstract). WDAG 1996: 322-343
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya: Efficient and Robust Sharing of Memory in Message-Passing Systems (Extended Abstract). WDAG 1996: 56-70
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Roy Friedman: Limitations of Fast Consistency Conditions for Distributed Shared Memories. Inf. Process. Lett. 57(5): 243-248 (1996)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Amir Herzberg, Sergio Rajsbaum: Optimal Clock Synchronization under Different Delay Assumptions. SIAM J. Comput. 25(2): 369-389 (1996)
1995
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Shlomi Dolev, Jennifer L. Welch: Connection management without retaining information. HICSS (2) 1995: 622-
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJon M. Kleinberg, Hagit Attiya, Nancy A. Lynch: Trade-offs between Message Delivery and Quiesce Times in Conection Management Protocols (Preliminary Report). ISTCS 1995: 258-267
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Maurice Herlihy, Ophir Rachman: Atomic Snapshots Using Lattice Agreement. Distributed Computing 8(3): 121-132 (1995)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEran Aharonson, Hagit Attiya: Counting Networks with Arbitrary Fan-Out. Distributed Computing 8(4): 163-169 (1995)
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Shlomi Dolev, Jennifer L. Welch: Connection Management Without Retaining Information. Inf. Comput. 123(2): 155-171 (1995)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Amotz Bar-Noy, Danny Dolev: Sharing Memory Robustly in Message-Passing Systems. J. ACM 42(1): 124-142 (1995)
1994
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Roy Friedman: Programming DEC-Alpha Based Multiprocessors the Easy Way (Extended Abstract). SPAA 1994: 157-166
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Alur, Hagit Attiya, Gadi Taubenfeld: Time-adaptive algorithms for synchronization. STOC 1994: 800-809
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Rinat Rappoport: The Level of Handshake Required for Establishing a Connection. WDAG 1994: 179-193
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Hadas Shachnai, Tami Tamir: Local Labeling and Resource Allocation Using Preprocessing. WDAG 1994: 194-208
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Jennifer L. Welch: Sequential Consistency versus Linearizability. ACM Trans. Comput. Syst. 12(2): 91-122 (1994)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Nancy A. Lynch: Time Bounds for Real-Time Process Control in the Presence of Timing Uncertainty Inf. Comput. 110(1): 183-232 (1994)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Cynthia Dwork, Nancy A. Lynch, Larry J. Stockmeyer: Bounds on the Time to Reach Agreement in the Presence of Timing Uncertainty. J. ACM 41(1): 122-152 (1994)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Nancy A. Lynch, Nir Shavit: Are Wait-Free Algorithms Fast? J. ACM 41(4): 725-763 (1994)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehuda Afek, Hagit Attiya, Alan Fekete, Michael J. Fischer, Nancy A. Lynch, Yishay Mansour, Da-Wei Wang, Lenore D. Zuck: Reliable Communication Over Unreliable Channels. J. ACM 41(6): 1267-1297 (1994)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Marios Mavronicolas: Efficiency of Semisynchronous Versus. Mathematical Systems Theory 27(6): 547-571 (1994)
1993
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Amir Herzberg, Sergio Rajsbaum: Optimal Clock Synchronization under Different Delay Assumptions (Preliminary Version). PODC 1993: 109-120
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Ophir Rachman: Atomic Snapshots in O(n log n) Operations (Preliminary Version). PODC 1993: 29-40
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Soma Chaudhuri, Roy Friedman, Jennifer L. Welch: Shared Memory Consistency Conditions for Non-Sequential Execution: Definitions and Programming Strategies. SPAA 1993: 241-250
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Taly Djerassi-Shintel: Time Bounds for Decision Problems in the Presence of Timing Uncertainty and Failures. WDAG 1993: 204-218
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehuda Afek, Hagit Attiya, Danny Dolev, Eli Gafni, Michael Merritt, Nir Shavit: Atomic Snapshots of Shared Memory. J. ACM 40(4): 873-890 (1993)
1992
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEran Aharonson, Hagit Attiya: Counting Networks with Arbitrary Fan-Out. SODA 1992: 104-113
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Roy Friedman: A Correctness Condition for High-Performance Multiprocessors (Extended Abstract) STOC 1992: 679-690
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Maurice Herlihy, Ophir Rachman: Efficient Atomic Snapshots Using Lattice Agreement (Extended Abstract). WDAG 1992: 35-53
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNancy A. Lynch, Hagit Attiya: Using Mappings to Prove Timing Properties. Distributed Computing 6(2): 121-139 (1992)
1991
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Jennifer L. Welch: Sequential Consistency Versus Linearizability (Extended Abstract). SPAA 1991: 304-315
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Cynthia Dwork, Nancy A. Lynch, Larry J. Stockmeyer: Bounds on the Time to Reach Agreement in the Presence of Timing Uncertainty STOC 1991: 359-369
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya: Implementing FIFO Queus and Stacks (Extended Abstract). WDAG 1991: 80-94
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Marc Snir: Better Computing on the Anonymous Ring. J. Algorithms 12(2): 204-238 (1991)
1990
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Nancy A. Lynch, Nir Shavit: Are Wait-Free Algorithms Fast? (Extended Abstract) FOCS 1990: 55-64
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehuda Afek, Danny Dolev, Hagit Attiya, Eli Gafni, Michael Merritt, Nir Shavit: Atomic Snapshots of Shared Memory. PODC 1990: 1-13
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNancy A. Lynch, Hagit Attiya: Using Mappings to Prove Timing Properties. PODC 1990: 265-280
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Amotz Bar-Noy, Danny Dolev: Sharing Memory Robustly in Message-Passing Systems. PODC 1990: 363-375
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Amotz Bar-Noy, Danny Dolev, David Peleg, Rüdiger Reischuk: Renaming in an Asynchronous Environment J. ACM 37(3): 524-548 (1990)
1989
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Nancy A. Lynch: Time Bounds for Real-Time Process Control in the Presence of Timing Uncertainty. IEEE Real-Time Systems Symposium 1989: 268-284
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Danny Dolev, Nir Shavit: Bounded Polynomial Randomized Consensus. PODC 1989: 281-293
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Jan van Leeuwen, Nicola Santoro, Shmuel Zaks: Efficient Elections in Chordal Ring Networks. Algorithmica 4(3): 437-446 (1989)
1988
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Marc Snir: Better Computing on the Anonymous Ring. AWOC 1988: 329-338
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Marc Snir, Manfred K. Warmuth: Computing on an anonymous ring. J. ACM 35(4): 845-875 (1988)
1987
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Amotz Bar-Noy, Danny Dolev, Daphne Koller, David Peleg, Rüdiger Reischuk: Achievable Cases in an Asynchronous Environment (Extended Abstract) FOCS 1987: 337-346
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya: Constructing Efficient Election Algorithms from Efficient Traversal Algorithms. WDAG 1987: 337-344
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Yishay Mansour: Language Complexity on the Synchronous Anonymous Ring. Theor. Comput. Sci. 53: 169-185 (1987)
1985
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChagit Attiya, Marc Snir, Manfred K. Warmuth: Computing on an Anonymous Ring. PODC 1985: 196-203
1984
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergei Nirenburg, Chagit Attiya: Towards a Data Model for Artificial Intelligence Applications. ICDE 1984: 446-453
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChagit Attiya, Danny Dolev, Joseph Gil: Asynchronous Byzantine Consensus. PODC 1984: 119-133

Coauthor Index

1Allon Adir [76]
2Yehuda Afek [15] [25] [31] [62]
3Adnan Agbaria [69] [80]
4Eran Aharonson [24] [42]
5Dan Alistarh [135]
6Noga Alon [127] [136] [142]
7Rajeev Alur [38] [51]
8James Aspnes [112] [119] [123] [148]
9Zvi Avidor [74]
10Amotz Bar-Noy [6] [12] [13] [40]
11Amir Bar-Or [79] [92]
12Fatemeh Borran [147]
13Vita Bortnikov [64] [72]
14James E. Burns [54]
15Armando Castañeda [143]
16Keren Censor-Hillel (Keren Censor) [102] [107] [112] [113] [119] [122] [123] [148]
17Soma Chaudhuri [27] [57]
18Eyal Dagan [50] [68]
19Taly Djerassi-Shintel [26] [67]
20Danny Dolev [1] [6] [10] [12] [13] [15] [25] [40]
21Shlomi Dolev [41] [45] [127] [136] [142]
22Swan Dubois [127] [136] [142]
23Cynthia Dwork [19] [33]
24Faith Ellen (Faith Ellen Fich, Faith E. Fich) [84] [99] [104] [141]
25Leah Epstein [97] [129]
26Panagiota Fatourou [99] [104] [141]
27Alan Fekete (Alan David Fekete, A. D. Fekete) [31]
28Michael J. Fischer [31]
29Arie Fouren [59] [62] [65] [66] [73] [75]
30Roy Friedman [23] [27] [39] [47] [55] [57] [69] [80]
31Eli Gafni [15] [25] [73]
32Joseph Gil (Yossi Gil) [1]
33Seth Gilbert [135]
34Andrei Giurgiu [135]
35Alla Gorbach [60] [71]
36Vincent Gramoli [130] [131]
37Rachid Guerraoui [91] [98] [109] [116] [135] [144]
38David Hay [83] [86] [88] [89] [93] [95] [106] [126]
39Danny Hendler [90] [98] [108] [111] [116] [124] [144]
40Maurice Herlihy [22] [43]
41Amir Herzberg [29] [46]
42Eshcar Hillel [100] [103] [115] [118] [133] [137] [138] [139] [145]
43Martin Hutle [147]
44Yaniv Kaplan [84]
45Isaac Keslassy [95] [126]
46Jon M. Kleinberg [44]
47Alex Kogan [114] [125]
48Daphne Koller [6]
49Fabian Kuhn [87] [94]
50Petr Kuznetsov (Petr Kouznetsov) [91] [98] [116] [144]
51Jan van Leeuwen [9]
52Nancy A. Lynch [11] [14] [16] [19] [21] [31] [32] [33] [34] [44]
53Yishay Mansour [4] [31]
54Marios Mavronicolas [30]
55Michael Merritt [15] [25]
56Maged M. Michael [144]
57Alessia Milani [118] [120] [121] [130] [131] [138]
58Zarko Milosevic [147]
59Shlomo Moran [60] [71]
60Sergei Nirenburg [2]
61Ronit Nossenson [78] [81] [85]
62David Peleg [6] [12]
63C. Greg Plaxton [94]
64Maria Gradinariu Potop-Butucaru (Maria Potop-Butucaru, Maria Gradinariu) [127] [136] [142]
65Ophir Rachman [22] [28] [43] [56]
66Sergio Rajsbaum [29] [46] [49] [70] [77]
67G. Ramalingam (Ganesan Ramalingam) [132]
68Rinat Rappoport [37] [52]
69Rüdiger Reischuk [6] [12]
70Noam Rinetzky [132]
71Eric Ruppert [109]
72Nicola Santoro [9]
73André Schiper [147]
74Hadas Shachnai [36] [53] [61] [82] [97] [129]
75Nir Shavit [10] [15] [16] [25] [32]
76Gil Shurek [76]
77Marc Snir [3] [7] [8] [17]
78Larry J. Stockmeyer [19] [33]
79Gideon Stupp [62]
80Tami Tamir [36] [61] [97] [129]
81Gadi Taubenfeld [38] [51]
82Sébastien Tixeuil [127] [136] [142]
83Dan Touitou [62]
84Martin T. Vechev [144]
85Roman Vitenberg [69] [80]
86Da-Wei Wang [31]
87Manfred K. Warmuth [3] [7]
88Mirjam Wattenhofer [87] [94]
89Roger Wattenhofer [87] [94]
90Jennifer L. Welch [20] [27] [35] [41] [45] [57] [89] [110] [114] [125]
91Philipp Woelfel [108] [111]
92Shmuel Zaks [9]
93Lenore D. Zuck [31]

Colors in the list of coauthors

Last update Thu May 24 01:13:30 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page