Obtaining possible execution histories on multiple memory consistency models. - Alba Cristina Magalhaes Alves de Melo; Nilo S. B. Silva; Hammurabi das Chagas Mendes; Diego F. Aranha (SCCC, 2005)

Bag-of-Tasks Self-Scheduling over Range-Queriable Search Overlays. - Hammurabi das Chagas Mendes; Weigang Li 001; Azzedine Boukerche; Alba Cristina Magalhaes Alves de Melo (NPC, 2009)

A Concurrent Implementation of Skip Graphs. - Hammurabi Mendes; Cristina G. Fernandes (Electron. Notes Discret. Math., 2009)

An architecture for P2P bag-of-tasks execution with multiple task allocation policies in desktop grids. - Alessandro Ferreira Leite; Hammurabi das Chagas Mendes; Weigang Li 001; Alba Cristina Magalhaes Alves de Melo; Azzedine Boukerche (Clust. Comput., 2012)

Multidimensional approximate agreement in Byzantine asynchronous systems. - Hammurabi Mendes; Maurice Herlihy (STOC, 2013)

The Topology of Asynchronous Byzantine Colorless Tasks - Hammurabi Mendes; Christine Tasson; Maurice Herlihy (CoRR, 2013)

Distributed computability in Byzantine asynchronous systems. - Hammurabi Mendes; Christine Tasson; Maurice Herlihy (STOC, 2014)

The Adaptive Priority Queue with Elimination and Combining. - Irina Calciu; Hammurabi Mendes; Maurice Herlihy (DISC, 2014)

Thermodynamic Hypothesis as Social Choice: An Impossibility Theorem for Protein Folding. - Hammurabi Mendes; Sorin Istrail (CoRR, 2014)

Multidimensional agreement in Byzantine systems. - Hammurabi Mendes; Maurice Herlihy; Nitin H. Vaidya; Vijay K. Garg (Distributed Comput., 2015)

Brief Announcement: Preserving Happens-before in Persistent Memory. - Joseph Izraelevitz; Hammurabi Mendes; Michael L. Scott (SPAA, 2016)

Linearizability of Persistent Memory Objects Under a Full-System-Crash Failure Model. - Joseph Izraelevitz; Hammurabi Mendes; Michael L. Scott (DISC, 2016)

Byzantine Computability and Combinatorial Topology. - Hammurabi Mendes (2016)

Tight Bounds for Connectivity and Set Agreement in Byzantine Synchronous Systems. - Hammurabi Mendes; Maurice Herlihy (DISC, 2017)

Layering Data Structures over Skip Graphs for Increased NUMA Locality. - Samuel Thomas; Hammurabi Mendes (PODC, 2019)

Seriema: RDMA-based Remote Invocationwith a Case-Study on Monte-Carlo Tree Search. - Hammurabi Mendes; Bryce Wiedenbeck; Aidan O'Neill (CoRR, 2021)

Seriema: RDMA-based Remote Invocation with a Case-Study on Monte-Carlo Tree Search. - Hammurabi Mendes; Bryce Wiedenbeck; Aidan O'Neill (SBAC-PAD, 2022)

Using skip graphs for increased NUMA locality. - Samuel Thomas; Roxana Hayne; Jonad Pulaj; Hammurabi Mendes (J. Parallel Distributed Comput., 2022)

Verifying MILP Certificates with SMT Solvers. - Runtian Zhou; Haoze Wu 001; Hammurabi Mendes; Jonad Pulaj (CoRR, 2023)

Optimal Multilevel Slashing for Blockchains. - Kenan Wood; Hammurabi Mendes; Jonad Pulaj (OPODIS, 2024)

Distributed Agreement in the Arrovian Framework. - Kenan Wood; Hammurabi Mendes; Jonad Pulaj (OPODIS, 2024)

Expiring Assets in Automated Market Makers. - Kenan Wood; Maurice Herlihy; Hammurabi Mendes; Jonad Pulaj (CoRR, 2024)

An Optimal Multilevel Quorum System for Probabilistic Consensus. - Kenan Wood; Hammurabi Mendes; Jonad Pulaj (CoRR, 2024)