Search the dblp DataBase
Maurice Herlihy :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Maurice Herlihy A Quorum-Consensus Replication Method for Abstract Data Types. [Citation Graph (22, 0)][DBLP ] ACM Trans. Comput. Syst., 1986, v:4, n:1, pp:32-53 [Journal ] Maurice Herlihy Dynamic Quorum Adjustment for Partitioned Data. [Citation Graph (21, 25)][DBLP ] ACM Trans. Database Syst., 1987, v:12, n:2, pp:170-194 [Journal ] Maurice Herlihy , William E. Weihl Hybrid Concurrency Control for Abstract Data Types. [Citation Graph (17, 13)][DBLP ] PODS, 1988, pp:201-210 [Conf ] Maurice Herlihy Apologizing Versus Asking Permission: Optimistic Concurrency Control for Abstract Data Types. [Citation Graph (8, 34)][DBLP ] ACM Trans. Database Syst., 1990, v:15, n:1, pp:96-124 [Journal ] David Detlefs , Maurice Herlihy , Jeannette M. Wing Inheritance of Synchronization and Recovery Properties in Avalon/C++. [Citation Graph (7, 0)][DBLP ] IEEE Computer, 1988, v:21, n:12, pp:57-69 [Journal ] Maurice Herlihy Extending Multiversion Time-Stamping Protocols to Exploit Type Information. [Citation Graph (7, 0)][DBLP ] IEEE Trans. Computers, 1987, v:36, n:4, pp:443-448 [Journal ] Maurice Herlihy , William E. Weihl Hybrid Concurrency Control for Abstract Data Types. [Citation Graph (6, 0)][DBLP ] J. Comput. Syst. Sci., 1991, v:43, n:1, pp:25-61 [Journal ] Maurice Herlihy Concurrency versus Availability: Atomic Mechanisms for Replicated Data. [Citation Graph (5, 0)][DBLP ] ACM Trans. Comput. Syst., 1987, v:5, n:3, pp:249-274 [Journal ] Maurice Herlihy Optimistic Concurrency Control for Abstract Data Types. [Citation Graph (3, 0)][DBLP ] PODC, 1986, pp:206-217 [Conf ] Maurice Herlihy , Jeannette M. Wing Specifying Graceful Degradation in Distributed Systems. [Citation Graph (2, 0)][DBLP ] PODC, 1987, pp:167-177 [Conf ] Maurice Herlihy , Jeannette M. Wing Axioms for Concurrent Objects. [Citation Graph (2, 0)][DBLP ] POPL, 1987, pp:13-26 [Conf ] Maurice Herlihy , Nancy A. Lynch , Michael Merritt , William E. Weihl On the Correctness of Orphan Management Algorithms. [Citation Graph (2, 0)][DBLP ] J. ACM, 1992, v:39, n:4, pp:881-930 [Journal ] Maurice Herlihy , J. Eliot B. Moss Transactional Memory: Architectural Support for Lock-Free Data Structures. [Citation Graph (1, 0)][DBLP ] ISCA, 1993, pp:289-300 [Conf ] Maurice Herlihy Comparing How Atomicity Mechanisms Support Replication. [Citation Graph (1, 0)][DBLP ] PODC, 1985, pp:102-110 [Conf ] Maurice Herlihy Impossibility and Universality Results for Wait-Free Synchronization. [Citation Graph (1, 0)][DBLP ] PODC, 1988, pp:276-290 [Conf ] Maurice Herlihy A Methodology for Implementing Highly Concurrent Data Structures. [Citation Graph (1, 0)][DBLP ] PPOPP, 1990, pp:197-206 [Conf ] Martin S. McKendry , Maurice Herlihy Time-Driven Orphan Elimination. [Citation Graph (1, 0)][DBLP ] Symposium on Reliability in Distributed Software and Database Systems, 1986, pp:42-48 [Conf ] Maurice Herlihy , Barbara Liskov A Value Transmission Method for Abstract Data Types. [Citation Graph (1, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1982, v:4, n:4, pp:527-551 [Journal ] Maurice Herlihy , Jeannette M. Wing Linearizability: A Correctness Condition for Concurrent Objects. [Citation Graph (1, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1990, v:12, n:3, pp:463-492 [Journal ] David Detlefs , Maurice Herlihy , K. Kietzke , Jeannette M. Wing Avalon/C++. [Citation Graph (0, 0)][DBLP ] C++ Workshop, 1987, pp:451-459 [Conf ] Maurice Herlihy The Aleph Toolkit: Support for Scalable Distributed Shared Objects. [Citation Graph (0, 0)][DBLP ] CANPC, 1999, pp:137-149 [Conf ] Maurice Herlihy , J. D. Tygar How to Make Replicated Data Secure. [Citation Graph (0, 0)][DBLP ] CRYPTO, 1987, pp:379-391 [Conf ] Maurice Herlihy , Jeannette M. Wing Specifying Security Constraints with Relaxation Lattices. [Citation Graph (0, 0)][DBLP ] CSFW, 1989, pp:47-53 [Conf ] Costas Busch , Neophytos Demetriou , Maurice Herlihy , Marios Mavronicolas A Combinatorial Characterization of Properties Preserved by Antitokens. [Citation Graph (0, 0)][DBLP ] Euro-Par, 2000, pp:575-582 [Conf ] Soma Chaudhuri , Maurice Herlihy , Nancy A. Lynch , Mark R. Tuttle A Tight Lower Bound for k-Set Agreement [Citation Graph (0, 0)][DBLP ] FOCS, 1993, pp:206-215 [Conf ] Maurice Herlihy , Eric Ruppert On the Existence of Booster Types. [Citation Graph (0, 0)][DBLP ] FOCS, 2000, pp:653-663 [Conf ] Maurice Herlihy , Nir Shavit , Orli Waarts Low Contention Linearizable Counting [Citation Graph (0, 0)][DBLP ] FOCS, 1991, pp:526-535 [Conf ] Maurice Herlihy , Jeannette M. Wing Reasoning about Atomic Objects. [Citation Graph (0, 0)][DBLP ] FTRTFT, 1988, pp:193-208 [Conf ] Ori Dvir , Maurice Herlihy , Nir Shavit Virtual Leashing: Internet-Based Software Piracy Protection. [Citation Graph (0, 0)][DBLP ] ICDCS, 2005, pp:283-292 [Conf ] Maurice Herlihy , Victor Luchangco , Mark Moir Obstruction-Free Synchronization: Double-Ended Queues as an Example. [Citation Graph (0, 0)][DBLP ] ICDCS, 2003, pp:522-529 [Conf ] Maurice Herlihy , Srikanta Tirthapura Self-Stabilizing Smoothing and Counting Maurice Herlihy, Srikanta Tirthapura. [Citation Graph (0, 0)][DBLP ] ICDCS, 2003, pp:4-11 [Conf ] Maurice Herlihy , Srikanta Tirthapura Randomized Smoothing Networks. [Citation Graph (0, 0)][DBLP ] IPDPS, 2004, pp:- [Conf ] Ravi Rajwar , Maurice Herlihy , Konrad K. Lai Virtualizing Transactional Memory. [Citation Graph (0, 0)][DBLP ] ISCA, 2005, pp:494-505 [Conf ] Tali Moreshet , R. Iris Bahar , Maurice Herlihy Energy reduction in multiprocessor systems using transactional memory. [Citation Graph (0, 0)][DBLP ] ISLPED, 2005, pp:331-334 [Conf ] Cynthia Dwork , Maurice Herlihy , Serge A. Plotkin , Orli Waarts Time-Lapse Snapshots. [Citation Graph (0, 0)][DBLP ] ISTCS, 1992, pp:154-170 [Conf ] Maurice Herlihy , Michael P. Warres A Tale of Two Directories: Implementing Distributed Shared Objects in Java. [Citation Graph (0, 0)][DBLP ] Java Grande, 1999, pp:99-108 [Conf ] Maurice Herlihy , Sergio Rajsbaum New Perspectives in Distributed Computing. [Citation Graph (0, 0)][DBLP ] MFCS, 1999, pp:170-186 [Conf ] Maurice Herlihy , Victor Luchangco , Mark Moir A flexible framework for implementing software transactional memory. [Citation Graph (0, 0)][DBLP ] OOPSLA, 2006, pp:253-262 [Conf ] Rachid Guerraoui , Maurice Herlihy , Bastian Pochon A Topological Treatment of Early-Deciding Set-Agreement. [Citation Graph (0, 0)][DBLP ] OPODIS, 2006, pp:20-35 [Conf ] Felix C. Freiling , Maurice Herlihy , Lucia Draque Penso Optimal Randomized Fair Exchange with Secret Shared Coins. [Citation Graph (0, 0)][DBLP ] OPODIS, 2005, pp:61-72 [Conf ] Steve Heller , Maurice Herlihy , Victor Luchangco , Mark Moir , William N. Scherer , Nir Shavit A Lazy Concurrent List-Based Set Algorithm. [Citation Graph (0, 0)][DBLP ] OPODIS, 2005, pp:3-16 [Conf ] Maurice Herlihy The transactional manifesto: software engineering and non-blocking synchronization. [Citation Graph (0, 0)][DBLP ] PLDI, 2005, pp:280- [Conf ] Simon Doherty , Maurice Herlihy , Victor Luchangco , Mark Moir Bringing practical lock-free synchronization to 64-bit applications. [Citation Graph (0, 0)][DBLP ] PODC, 2004, pp:31-39 [Conf ] Faith Ellen Fich , Maurice Herlihy , Nir Shavit On the Space Complexity of Randomized Synchronization. [Citation Graph (0, 0)][DBLP ] PODC, 1993, pp:241-249 [Conf ] Cynthia Dwork , Maurice Herlihy , Orli Waarts Bounded Round Numbers. [Citation Graph (0, 0)][DBLP ] PODC, 1993, pp:53-64 [Conf ] Panagiota Fatourou , Maurice Herlihy Adding networks. [Citation Graph (0, 0)][DBLP ] PODC, 2001, pp:308-310 [Conf ] Rachid Guerraoui , Maurice Herlihy , Bastian Pochon Toward a theory of transactional contention managers. [Citation Graph (0, 0)][DBLP ] PODC, 2005, pp:258-264 [Conf ] Rachid Guerraoui , Maurice Herlihy , Bastian Pochon Towards a theory of transactional contention managers. [Citation Graph (0, 0)][DBLP ] PODC, 2006, pp:316-317 [Conf ] Maurice Herlihy On beyond registers: wait-free readable objects. [Citation Graph (0, 0)][DBLP ] PODC, 2001, pp:26-42 [Conf ] Maurice Herlihy The art of multiprocessor programming. [Citation Graph (0, 0)][DBLP ] PODC, 2006, pp:1-2 [Conf ] Maurice Herlihy Randomized Wait-Free Concurrent Objects (Extended Abstract). [Citation Graph (0, 0)][DBLP ] PODC, 1991, pp:11-21 [Conf ] Maurice Herlihy , Victor Luchangco , Paul A. Martin , Mark Moir Dynamic-sized lock-free data structures. [Citation Graph (0, 0)][DBLP ] PODC, 2002, pp:131- [Conf ] Maurice Herlihy , Victor Luchangco , Mark Moir , William N. Scherer III Software transactional memory for dynamic-sized data structures. [Citation Graph (0, 0)][DBLP ] PODC, 2003, pp:92-101 [Conf ] Maurice Herlihy , Lucia Draque Penso tight bounds for k-set agreement with limited-scope failure detectors. [Citation Graph (0, 0)][DBLP ] PODC, 2003, pp:221- [Conf ] Maurice Herlihy , Sergio Rajsbaum Set Consensus Using Arbitrary Objects (Preliminary Version). [Citation Graph (0, 0)][DBLP ] PODC, 1994, pp:324-333 [Conf ] Maurice Herlihy , Sergio Rajsbaum Algebraic Spans (Preliminary Version). [Citation Graph (0, 0)][DBLP ] PODC, 1995, pp:90-99 [Conf ] Maurice Herlihy , Sergio Rajsbaum On the Decidability of Distributed Decision Tasks (Brief Announcement). [Citation Graph (0, 0)][DBLP ] PODC, 1996, pp:279- [Conf ] Maurice Herlihy , Sergio Rajsbaum , Mark R. Tuttle Unifying Synchronous and Asynchronous Message-Passing Models. [Citation Graph (0, 0)][DBLP ] PODC, 1998, pp:133-142 [Conf ] Maurice Herlihy , Mark R. Tuttle Lower Bounds for Wait-Free Computation in Message-Passing Systems. [Citation Graph (0, 0)][DBLP ] PODC, 1990, pp:347-362 [Conf ] Maurice Herlihy , Srikanta Tirthapura , Roger Wattenhofer Competitive concurrent distributed queuing. [Citation Graph (0, 0)][DBLP ] PODC, 2001, pp:127-133 [Conf ] Barbara Liskov , Maurice Herlihy , Lucy Gilbert Limitations of Synchronous Communication with Static Process Structure in Languages for Distributed Computing. [Citation Graph (0, 0)][DBLP ] POPL, 1986, pp:150-159 [Conf ] Tim Harris , Simon Marlow , Simon L. Peyton Jones , Maurice Herlihy Composable memory transactions. [Citation Graph (0, 0)][DBLP ] PPOPP, 2005, pp:48-60 [Conf ] Viktor Vafeiadis , Maurice Herlihy , Tony Hoare , Marc Shapiro Proving correctness of highly-concurrent linearisable objects. [Citation Graph (0, 0)][DBLP ] PPOPP, 2006, pp:129-136 [Conf ] Ali-Reza Adl-Tabatabai , David Dice , Maurice Herlihy , Nir Shavit , Christos Kozyrakis , Christoph von Praun , Michael Scott Potential show-stoppers for transactional synchronization. [Citation Graph (0, 0)][DBLP ] PPOPP, 2007, pp:55- [Conf ] Costas Busch , Neophytos Demetriou , Maurice Herlihy , Marios Mavronicolas Threshold Counters with Increments and Decrements. [Citation Graph (0, 0)][DBLP ] SIROCCO, 1999, pp:47-61 [Conf ] Costas Busch , Maurice Herlihy , Roger Wattenhofer Randomized greedy hot-potato routing. [Citation Graph (0, 0)][DBLP ] SODA, 2000, pp:458-466 [Conf ] James Aspnes , Maurice Herlihy Wait-Free Data Structures in the Asynchronous PRAM Model. [Citation Graph (0, 0)][DBLP ] SPAA, 1990, pp:340-349 [Conf ] Costas Busch , Maurice Herlihy Sorting and Counting Networks of Small Depth and Arbitrary Width. [Citation Graph (0, 0)][DBLP ] SPAA, 1999, pp:64-73 [Conf ] Costas Busch , Maurice Herlihy , Roger Wattenhofer Routing without flow control. [Citation Graph (0, 0)][DBLP ] SPAA, 2001, pp:11-20 [Conf ] Maurice Herlihy Impossibility Results for Asynchronous PRAM (Extended Abstract). [Citation Graph (0, 0)][DBLP ] SPAA, 1991, pp:327-336 [Conf ] Maurice Herlihy , Beng-Hong Lim , Nir Shavit Low Contention Load Balancing on Large-Scale Multiprocessors. [Citation Graph (0, 0)][DBLP ] SPAA, 1992, pp:219-227 [Conf ] Maurice Herlihy , J. Eliot B. Moss Lock-Free garbage Collection for Multiprocessors. [Citation Graph (0, 0)][DBLP ] SPAA, 1991, pp:229-236 [Conf ] Tali Moreshet , R. Iris Bahar , Maurice Herlihy Energy implications of multiprocessor synchronization. [Citation Graph (0, 0)][DBLP ] SPAA, 2006, pp:329- [Conf ] Barbara Liskov , Maurice Herlihy Issues Process and Communication Structure for Distributed Programs. [Citation Graph (0, 0)][DBLP ] Symposium on Reliability in Distributed Software and Database Systems, 1983, pp:123-132 [Conf ] William Aiello , Costas Busch , Maurice Herlihy , Marios Mavronicolas , Nir Shavit , Dan Touitou Supporting Increment and Decrement Operations in Balancing Networks. [Citation Graph (0, 0)][DBLP ] STACS, 1999, pp:393-403 [Conf ] James Aspnes , Maurice Herlihy , Nir Shavit Counting Networks and Multi-Processor Coordination [Citation Graph (0, 0)][DBLP ] STOC, 1991, pp:348-358 [Conf ] Costas Busch , Maurice Herlihy , Roger Wattenhofer Hard-Potato routing. [Citation Graph (0, 0)][DBLP ] STOC, 2000, pp:278-285 [Conf ] Cynthia Dwork , Maurice Herlihy , Orli Waarts Contention in shared memory algorithms. [Citation Graph (0, 0)][DBLP ] STOC, 1993, pp:174-183 [Conf ] Maurice Herlihy , Sergio Rajsbaum The Decidability of Distributed Decision Tasks (Extended Abstract). [Citation Graph (0, 0)][DBLP ] STOC, 1997, pp:589-598 [Conf ] Maurice Herlihy , Nir Shavit The asynchronous computability theorem for t-resilient tasks. [Citation Graph (0, 0)][DBLP ] STOC, 1993, pp:111-120 [Conf ] Maurice Herlihy , Nir Shavit A simple constructive computability theorem for wait-free computation. [Citation Graph (0, 0)][DBLP ] STOC, 1994, pp:243-252 [Conf ] Hagit Attiya , Maurice Herlihy , Ophir Rachman Efficient Atomic Snapshots Using Lattice Agreement (Extended Abstract). [Citation Graph (0, 0)][DBLP ] WDAG, 1992, pp:35-53 [Conf ] Michael J. Demmer , Maurice Herlihy The Arrow Distributed Directory Protocol. [Citation Graph (0, 0)][DBLP ] DISC, 1998, pp:119-133 [Conf ] Rachid Guerraoui , Maurice Herlihy , Bastian Pochon Polymorphic Contention Management. [Citation Graph (0, 0)][DBLP ] DISC, 2005, pp:303-323 [Conf ] Maurice Herlihy , Victor Luchangco , Mark Moir The Repeat Offender Problem: A Mechanism for Supporting Dynamic-Sized, Lock-Free Data Structures. [Citation Graph (0, 0)][DBLP ] DISC, 2002, pp:339-353 [Conf ] Maurice Herlihy , Lucia Draque Penso Tight Bounds for k -Set Agreement with Limited-Scope Failure Detectors. [Citation Graph (0, 0)][DBLP ] DISC, 2003, pp:279-291 [Conf ] Maurice Herlihy , Sergio Rajsbaum A Wait-Free Classification of Loop Agreement Tasks. [Citation Graph (0, 0)][DBLP ] DISC, 1998, pp:175-185 [Conf ] Maurice Herlihy , Sergio Rajsbaum , Mark R. Tuttle A New Synchronous Lower Bound for Set Agreement. [Citation Graph (0, 0)][DBLP ] DISC, 2001, pp:136-150 [Conf ] Maurice Herlihy , Ye Sun Distributed Transactional Memory for Metric-Space Networks. [Citation Graph (0, 0)][DBLP ] DISC, 2005, pp:324-338 [Conf ] Maurice Herlihy , Srikanta Tirthapura Self Stabilizing Distributed Queuing. [Citation Graph (0, 0)][DBLP ] DISC, 2001, pp:209-223 [Conf ] Panagiota Fatourou , Maurice Herlihy Adding Networks. [Citation Graph (0, 0)][DBLP ] DISC, 2001, pp:330-342 [Conf ] Eli Gafni , Sergio Rajsbaum , Maurice Herlihy Subconsensus Tasks: Renaming Is Weaker Than Set Agreement. [Citation Graph (0, 0)][DBLP ] DISC, 2006, pp:329-338 [Conf ] Costas Busch , Maurice Herlihy A Survey on Counting Networks. [Citation Graph (0, 0)][DBLP ] WDAS, 1998, pp:13-20 [Conf ] Maurice Herlihy Position Statement: Type Specific Replication for Multiprocessors. [Citation Graph (0, 0)][DBLP ] Workshop on the Management of Replicated Data, 1990, pp:70-74 [Conf ] William Aiello , Costas Busch , Maurice Herlihy , Marios Mavronicolas , Nir Shavit , Dan Touitou Supporting Increment and Decrement Operations in Balancing Networks. [Citation Graph (0, 0)][DBLP ] Chicago J. Theor. Comput. Sci., 2000, v:2000, n:, pp:- [Journal ] Maurice Herlihy , Michael P. Warres A tale of two directories: implementing distributed shared objects in Java. [Citation Graph (0, 0)][DBLP ] Concurrency - Practice and Experience, 2000, v:12, n:7, pp:555-572 [Journal ] Hagit Attiya , Maurice Herlihy , Ophir Rachman Atomic Snapshots Using Lattice Agreement. [Citation Graph (0, 0)][DBLP ] Distributed Computing, 1995, v:8, n:3, pp:121-132 [Journal ] Panagiota Fatourou , Maurice Herlihy Read-modify-write networks. [Citation Graph (0, 0)][DBLP ] Distributed Computing, 2004, v:17, n:1, pp:33-46 [Journal ] Maurice Herlihy , Lucia Draque Penso Tight bounds for k -set agreement with limited-scope failure detectors. [Citation Graph (0, 0)][DBLP ] Distributed Computing, 2005, v:18, n:2, pp:157-166 [Journal ] Maurice Herlihy , Nir Shavit , Orli Waarts Linearizable Counting Networks. [Citation Graph (0, 0)][DBLP ] Distributed Computing, 1996, v:9, n:4, pp:193-203 [Journal ] Maurice Herlihy , Srikanta Tirthapura Self-stabilizing smoothing and balancing networks. [Citation Graph (0, 0)][DBLP ] Distributed Computing, 2006, v:18, n:5, pp:345-357 [Journal ] Costas Busch , Neophytos Demetriou , Maurice Herlihy , Marios Mavronicolas A Combinatorial Characterization of Properties Preserved by Antitokens. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 2000, v:71, n:, pp:114-132 [Journal ] Maurice Herlihy , Victor Luchangco , Mark Moir Space and Time Adaptive Non-blocking Algorithms. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:78, n:, pp:- [Journal ] Maurice Herlihy , Sergio Rajsbaum , Mark R. Tuttle An Overview of Synchronous Message-Passing and Topology. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:39, n:2, pp:- [Journal ] James Aspnes , Maurice Herlihy , Nir Shavit Counting Networks. [Citation Graph (0, 0)][DBLP ] J. ACM, 1994, v:41, n:5, pp:1020-1048 [Journal ] Soma Chaudhuri , Maurice Herlihy , Nancy A. Lynch , Mark R. Tuttle Tight bounds for k -set agreement. [Citation Graph (0, 0)][DBLP ] J. ACM, 2000, v:47, n:5, pp:912-943 [Journal ] Cynthia Dwork , Maurice Herlihy , Orli Waarts Contention in shared memory algorithms. [Citation Graph (0, 0)][DBLP ] J. ACM, 1997, v:44, n:6, pp:779-805 [Journal ] Faith Ellen Fich , Maurice Herlihy , Nir Shavit On the Space Complexity of Randomized Synchronization. [Citation Graph (0, 0)][DBLP ] J. ACM, 1998, v:45, n:5, pp:843-862 [Journal ] Maurice Herlihy Concurrency and Availability as Dual Properties of Replicated Atomic Data [Citation Graph (0, 0)][DBLP ] J. ACM, 1990, v:37, n:2, pp:257-278 [Journal ] Maurice Herlihy , Nir Shavit The topological structure of asynchronous computability. [Citation Graph (0, 0)][DBLP ] J. ACM, 1999, v:46, n:6, pp:858-923 [Journal ] James Aspnes , Maurice Herlihy Fast Randomized Consensus Using Shared Memory. [Citation Graph (0, 0)][DBLP ] J. Algorithms, 1990, v:11, n:3, pp:441-461 [Journal ] Ori Dvir , Maurice Herlihy , Nir Shavit Virtual Leashing: Creating a computational foundation for software protection. [Citation Graph (0, 0)][DBLP ] J. Parallel Distrib. Comput., 2006, v:66, n:9, pp:1233-1240 [Journal ] Maurice Herlihy , Srikanta Tirthapura Randomized smoothing networks. [Citation Graph (0, 0)][DBLP ] J. Parallel Distrib. Comput., 2006, v:66, n:5, pp:626-632 [Journal ] Maurice Herlihy , Sergio Rajsbaum Algebraic spans. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 2000, v:10, n:4, pp:549-573 [Journal ] Costas Busch , Maurice Herlihy Sorting and Counting Networks of Arbitrary Width and Small Depth. [Citation Graph (0, 0)][DBLP ] Theory Comput. Syst., 2002, v:35, n:2, pp:99-128 [Journal ] Christopher Cole , Maurice Herlihy Snapshots and software transactional memory. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2005, v:58, n:3, pp:310-324 [Journal ] Cynthia Dwork , Maurice Herlihy , Serge A. Plotkin , Orli Waarts Time-Lapse Snapshots. [Citation Graph (0, 0)][DBLP ] SIAM J. Comput., 1999, v:28, n:5, pp:1848-1874 [Journal ] Maurice Herlihy Comparing How Atomicity Mechanisms Support Replication. [Citation Graph (0, 0)][DBLP ] Operating Systems Review, 1986, v:20, n:3, pp:31-39 [Journal ] Maurice Herlihy Optimistic Concurrency Control for Abstract Data Types. [Citation Graph (0, 0)][DBLP ] Operating Systems Review, 1987, v:21, n:2, pp:33-44 [Journal ] Maurice Herlihy A Methodology for Implementing Highly Concurrent Data Objects (Abstract). [Citation Graph (0, 0)][DBLP ] Operating Systems Review, 1992, v:26, n:2, pp:12- [Journal ] Maurice Herlihy , Srikanta Tirthapura , Roger Wattenhofer Ordered Multicast and Distributed Swap. [Citation Graph (0, 0)][DBLP ] Operating Systems Review, 2001, v:35, n:1, pp:85-96 [Journal ] Maurice Herlihy Taking concurrency seriously (position paper). [Citation Graph (0, 0)][DBLP ] SIGPLAN Notices, 1989, v:24, n:4, pp:32-33 [Journal ] Maurice Herlihy , Jeannette M. Wing Linearizable concurrent objects. [Citation Graph (0, 0)][DBLP ] SIGPLAN Notices, 1989, v:24, n:4, pp:133-135 [Journal ] Costas Busch , Neophytos Demetriou , Maurice Herlihy , Marios Mavronicolas Threshold counters with increments and decrements. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2002, v:270, n:1-2, pp:811-826 [Journal ] Soma Chaudhuri , Maurice Herlihy , Mark R. Tuttle Wait-Free Implementations in Message-Passing Systems. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1999, v:220, n:1, pp:211-245 [Journal ] Maurice Herlihy , Sergio Rajsbaum A classification of wait-free loop agreement tasks. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2003, v:291, n:1, pp:55-77 [Journal ] Maurice Herlihy , Victor Luchangco , Paul A. Martin , Mark Moir Nonblocking memory management support for dynamic-sized data structures. [Citation Graph (0, 0)][DBLP ] ACM Trans. Comput. Syst., 2005, v:23, n:2, pp:146-196 [Journal ] Maurice Herlihy , Beng-Hong Lim , Nir Shavit Scalable Concurrent Counting. [Citation Graph (0, 0)][DBLP ] ACM Trans. Comput. Syst., 1995, v:13, n:4, pp:343-364 [Journal ] Maurice Herlihy Wait-Free Synchronization. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1991, v:13, n:1, pp:124-149 [Journal ] Maurice Herlihy A Methodology for Implementing Highly Concurrent Objects. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1993, v:15, n:5, pp:745-770 [Journal ] Maurice Herlihy , J. Eliot B. Moss Lock-Free Garbage Collection for Multiprocessors. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Parallel Distrib. Syst., 1992, v:3, n:3, pp:304-311 [Journal ] Maurice Herlihy , Jeannette M. Wing Specifying Graceful Degradation. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Parallel Distrib. Syst., 1991, v:2, n:1, pp:93-104 [Journal ] Srikanta Tirthapura , Maurice Herlihy Self-Stabilizing Distributed Queuing. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Parallel Distrib. Syst., 2006, v:17, n:7, pp:646-655 [Journal ] Maurice Herlihy , Martin S. McKendry Timestamp-Based Orphan Elimination. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1989, v:15, n:7, pp:825-831 [Journal ] Rachid Guerraoui , Maurice Herlihy , Petr Kouznetsov , Nancy A. Lynch , Calvin C. Newport On the weakest failure detector ever. [Citation Graph (0, 0)][DBLP ] PODC, 2007, pp:235-243 [Conf ] Maurice Herlihy , Yossi Lev , Victor Luchangco , Nir Shavit A Simple Optimistic Skiplist Algorithm. [Citation Graph (0, 0)][DBLP ] SIROCCO, 2007, pp:124-138 [Conf ] Maurice Herlihy , Fabian Kuhn , Srikanta Tirthapura , Roger Wattenhofer Dynamic Analysis of the Arrow Distributed Protocol. [Citation Graph (0, 0)][DBLP ] Theory Comput. Syst., 2006, v:39, n:6, pp:875-901 [Journal ] tm_db: A Generic Debugging Library for Transactional Programs. [Citation Graph (, )][DBLP ] Applications of Shellable Complexes to Distributed Computing - (Invited Talk). [Citation Graph (, )][DBLP ] The Multicore Revolution. [Citation Graph (, )][DBLP ] Energy efficient synchronization techniques for embedded architectures. [Citation Graph (, )][DBLP ] Energy and Throughput Efficient Transactional Memory for Embedded Multicore Systems. [Citation Graph (, )][DBLP ] Transactional Memory Today. [Citation Graph (, )][DBLP ] Language Support and Compiler Optimizations for STM and Transactional Boosting. [Citation Graph (, )][DBLP ] Transactional Memory Today: A Status Report. [Citation Graph (, )][DBLP ] Enhanced Fault-Tolerance through Byzantine Failure Detection. [Citation Graph (, )][DBLP ] The future of distributed computing: renaissance or reformation? [Citation Graph (, )][DBLP ] Brief announcement: concurrent non-commutative boosted transactions. [Citation Graph (, )][DBLP ] The topology of shared-memory adversaries. [Citation Graph (, )][DBLP ] Coarse-grained transactions. [Citation Graph (, )][DBLP ] Transactional boosting: a methodology for highly-concurrent transactional objects. [Citation Graph (, )][DBLP ] Committing conflicting transactions in an STM. [Citation Graph (, )][DBLP ] Dreadlocks: efficient deadlock detection. [Citation Graph (, )][DBLP ] Checkpoints and continuations instead of nested transactions. [Citation Graph (, )][DBLP ] Optimizing Threshold Protocols in Adversarial Structures. [Citation Graph (, )][DBLP ] Hopscotch Hashing. [Citation Graph (, )][DBLP ] Concurrent Computing and Shellable Complexes. [Citation Graph (, )][DBLP ] Distributed Computing and the Multicore Revolution. [Citation Graph (, )][DBLP ] Composable memory transactions. [Citation Graph (, )][DBLP ] Technical perspective - Highly concurrent data structures. [Citation Graph (, )][DBLP ] Distributed transactional memory for metric-space networks. [Citation Graph (, )][DBLP ] On the weakest failure detector ever. [Citation Graph (, )][DBLP ] An Axiomatic Approach to Computing the Connectivity of Synchronous and Asynchronous Systems. [Citation Graph (, )][DBLP ] Search in 0.008secs, Finished in 0.767secs