![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Gil Neiger
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [j14]Azalea Raad, John Wickerson, Gil Neiger, Viktor Vafeiadis
:
Persistency semantics of the Intel-x86 architecture. Proc. ACM Program. Lang. 4(POPL): 11:1-11:31 (2020)
2000 – 2009
- 2005
- [j13]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:
Intel Virtualization Technology. Computer 38(5): 48-56 (2005) - 2004
- [j12]Emmanuelle Anceaume, Antonio Fernández, Achour Mostéfaoui, Gil Neiger, Michel Raynal:
A necessary and sufficient condition for transforming limited accuracy failure detectors. J. Comput. Syst. Sci. 68(1): 123-133 (2004) - 2001
- [j11]Rida A. Bazzi, Gil Neiger:
Simplifying fault-tolerance: providing the abstraction of crash failures. J. ACM 48(3): 499-554 (2001) - 2000
- [e1]Gil Neiger:
Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, July 16-19, 2000, Portland, Oregon, USA. ACM 2000, ISBN 1-58113-183-6 [contents]
1990 – 1999
- 1999
- [j10]Gil Neiger, Rida A. Bazzi:
Using Knowledge to Optimally Achieve Coordination in Distributed Systems. Theor. Comput. Sci. 220(1): 31-65 (1999) - 1998
- [c17]Jiong Yang, Gil Neiger, Eli Gafni:
Structured Derivations of Consensus Algorithms for Failure Detectors. PODC 1998: 297-306 - 1997
- [j9]Rida A. Bazzi, Gil Neiger:
The Complexity of Almost-Optimal Simultaneous Coordination. Algorithmica 17(3): 308-321 (1997) - [j8]Rida A. Bazzi, Gil Neiger, Gary L. Peterson:
On the Use of Registers in Achieving Wait-Free Consensus. Distributed Comput. 10(3): 117-127 (1997) - 1996
- [c16]Gil Neiger:
A New Look at Membership Services (Extended Abstract). PODC 1996: 331-340 - 1995
- [j7]Mustaque Ahamad, Gil Neiger, James E. Burns, Prince Kohli, Phillip W. Hutto:
Causal Memory: Definitions, Implementation, and Programming. Distributed Comput. 9(1): 37-49 (1995) - [j6]Gil Neiger:
Simplifying the Design of Knowledge-Based Algorithms Using Knowledge Consistency. Inf. Comput. 119(2): 283-293 (1995) - [c15]Gil Neiger:
Failure Detectors and the Wait-Free Hierarchy. PODC 1995: 100-109 - 1994
- [j5]James E. Burns, Gil Neiger:
Fast and Simple Distributed Consensus. Distributed Comput. 8(2): 59-64 (1994) - [j4]Gil Neiger:
Distributed Consensus Revisited. Inf. Process. Lett. 49(4): 195-201 (1994) - [c14]Gil Neiger:
Set-Linearizability. PODC 1994: 396 - [c13]Mustaque Ahamad, Ranjit John, Prince Kohli, Gil Neiger:
Causal Memory Meets the Consistency and Performance Needs of Distributed Applications. ACM SIGOPS European Workshop 1994: 45-50 - 1993
- [j3]Gil Neiger, Mark R. Tuttle:
Common Knowledge and Consistent Simultaneous Coordination. Distributed Comput. 6(3): 181-192 (1993) - [j2]Gil Neiger, Sam Toueg:
Simulating Synchronized Clocks and Common Knowledge in Distributed Systems. J. ACM 40(2): 334-367 (1993) - [c12]Prince Kohli, Gil Neiger, Mustaque Ahamad:
A Characterization of Scalable Shared Memories. ICPP (1) 1993: 332-335 - [c11]Mustaque Ahamad, Rida A. Bazzi, Ranjit John, Prince Kohli, Gil Neiger:
The Power of Processor Consistency. SPAA 1993: 251-260 - 1992
- [c10]Rida A. Bazzi, Gil Neiger:
The Possibility and the Complexity of Achieving Fault-Tolerant Coordination. PODC 1992: 203-214 - [c9]Gil Neiger, Rida A. Bazzi:
Using Knowledge to Optimally Achieve Coordination in Distributed Systems. TARK 1992: 43-59 - [c8]Rida A. Bazzi, Gil Neiger:
Simulating Crash Failures with Many Faulty Processors (Extended Abstract). WDAG 1992: 166-184 - 1991
- [c7]Mustaque Ahamad, James E. Burns, Phillip W. Hutto, Gil Neiger:
Causal Memory. WDAG 1991: 9-30 - [c6]Rida A. Bazzi, Gil Neiger:
Optimally Simulating Crash Failures in a Byzantine Environment. WDAG 1991: 108-128 - [c5]Keith Marzullo, Gil Neiger:
Detection of Global State Predicates. WDAG 1991: 254-272 - 1990
- [j1]Gil Neiger, Sam Toueg:
Automatically Increasing the Fault-Tolerance of Distributed Algorithms. J. Algorithms 11(3): 374-419 (1990) - [c4]Gil Neiger, Mark R. Tuttle:
Common Knowledge and Consistent Simultaneous Coordination. WDAG 1990: 334-352
1980 – 1989
- 1988
- [c3]Gil Neiger, Sam Toueg:
Automatically Increasing the Fault-Tolerance of Distributed Systems. PODC 1988: 248-262 - [c2]Gil Neiger:
Knowledge Consistency: A Useful Suspension of Disbelief. TARK 1988: 295-308 - 1987
- [c1]Gil Neiger, Sam Toueg:
Substituting for Real Time and Common Knowledge in Asynchronous Distributed Systems. PODC 1987: 281-293
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint