Substituting for Real Time and Common Knowledge in Asynchronous Distributed Systems. - Gil Neiger; Sam Toueg (PODC, 1987)

Automatically Increasing the Fault-Tolerance of Distributed Systems. - Gil Neiger; Sam Toueg (PODC, 1988)

Knowledge Consistency: A Useful Suspension of Disbelief. - Gil Neiger (TARK, 1988)

Automatically Increasing the Fault-Tolerance of Distributed Algorithms. - Gil Neiger; Sam Toueg (J. Algorithms, 1990)

Causal Memory. - Mustaque Ahamad; James E. Burns; Phillip W. Hutto; Gil Neiger (WDAG, 1991)

Optimally Simulating Crash Failures in a Byzantine Environment. - Rida A. Bazzi; Gil Neiger (WDAG, 1991)

Detection of Global State Predicates. - Keith Marzullo; Gil Neiger (WDAG, 1991)

The Possibility and the Complexity of Achieving Fault-Tolerant Coordination. - Rida A. Bazzi; Gil Neiger (PODC, 1992)

Simulating Crash Failures with Many Faulty Processors (Extended Abstract). - Rida A. Bazzi; Gil Neiger (WDAG, 1992)

A Characterization of Scalable Shared Memories. - Prince Kohli; Gil Neiger; Mustaque Ahamad (ICPP (1), 1993)

The Power of Processor Consistency. - Mustaque Ahamad; Rida A. Bazzi; Ranjit John; Prince Kohli; Gil Neiger (SPAA, 1993)

Common Knowledge and Consistent Simultaneous Coordination. - Gil Neiger; Mark R. Tuttle (Distributed Comput., 1993)

Simulating Synchronized Clocks and Common Knowledge in Distributed Systems. - Gil Neiger; Sam Toueg (J. ACM, 1993)

Set-Linearizability. - Gil Neiger (PODC, 1994)

Causal Memory Meets the Consistency and Performance Needs of Distributed Applications. - Mustaque Ahamad; Ranjit John; Prince Kohli; Gil Neiger (ACM SIGOPS European Workshop, 1994)

Fast and Simple Distributed Consensus. - James E. Burns; Gil Neiger (Distributed Comput., 1994)

Distributed Consensus Revisited. - Gil Neiger (Inf. Process. Lett., 1994)

Failure Detectors and the Wait-Free Hierarchy. - Gil Neiger (PODC, 1995)

Causal Memory: Definitions, Implementation, and Programming. - Mustaque Ahamad; Gil Neiger; James E. Burns; Prince Kohli; Phillip W. Hutto (Distributed Comput., 1995)

Simplifying the Design of Knowledge-Based Algorithms Using Knowledge Consistency - Gil Neiger (Inf. Comput., 1995)

A New Look at Membership Services (Extended Abstract). - Gil Neiger (PODC, 1996)

The Complexity of Almost-Optimal Simultaneous Coordination. - Rida A. Bazzi; Gil Neiger (Algorithmica, 1997)

On the Use of Registers in Achieving Wait-Free Consensus. - Rida A. Bazzi; Gil Neiger; Gary L. Peterson (Distributed Comput., 1997)

Structured Derivations of Consensus Algorithms for Failure Detectors. - Jiong Yang; Gil Neiger; Eli Gafni (PODC, 1998)

Using Knowledge to Optimally Achieve Coordination in Distributed Systems. - Gil Neiger; Rida A. Bazzi (Theor. Comput. Sci., 1999)

Simplifying fault-tolerance: providing the abstraction of crash failures. - Rida A. Bazzi; Gil Neiger (J. ACM, 2001)

A necessary and sufficient condition for transforming limited accuracy failure detectors. - Emmanuelle Anceaume; Antonio Fernández 001; Achour Mostéfaoui; Gil Neiger; Michel Raynal (J. Comput. Syst. Sci., 2004)

Intel Virtualization Technology. - Richard Uhlig; Gil Neiger; Dion Rodgers; Amy L. Santoni; Fernando C. M. Martins; Andrew V. Anderson; Steven M. Bennett; Alain Kägi; Felix H. Leung; Larry Smith 001 (Computer, 2005)

Persistency semantics of the Intel-x86 architecture. - Azalea Raad; John Wickerson; Gil Neiger; Viktor Vafeiadis (Proc. ACM Program. Lang., 2020)