Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Gil Neiger
@article{DBLP:journals/pacmpl/RaadWNV20, author = {Azalea Raad and John Wickerson and Gil Neiger and Viktor Vafeiadis}, title = {Persistency semantics of the Intel-x86 architecture}, journal = {Proc. {ACM} Program. Lang.}, volume = {4}, number = {{POPL}}, pages = {11:1--11:31}, year = {2020}, url = {https://doi.org/10.1145/3371079}, doi = {10.1145/3371079}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/RaadWNV20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/computer/UhligNRSMABKLS05, author = {Richard Uhlig and Gil Neiger and Dion Rodgers and Amy L. Santoni and Fernando C. M. Martins and Andrew V. Anderson and Steven M. Bennett and Alain K{\"{a}}gi and Felix H. Leung and Larry Smith}, title = {Intel Virtualization Technology}, journal = {Computer}, volume = {38}, number = {5}, pages = {48--56}, year = {2005}, url = {https://doi.org/10.1109/MC.2005.163}, doi = {10.1109/MC.2005.163}, timestamp = {Tue, 24 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/computer/UhligNRSMABKLS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/AnceaumeFMNR04, author = {Emmanuelle Anceaume and Antonio Fern{\'{a}}ndez and Achour Most{\'{e}}faoui and Gil Neiger and Michel Raynal}, title = {A necessary and sufficient condition for transforming limited accuracy failure detectors}, journal = {J. Comput. Syst. Sci.}, volume = {68}, number = {1}, pages = {123--133}, year = {2004}, url = {https://doi.org/10.1016/j.jcss.2003.08.003}, doi = {10.1016/J.JCSS.2003.08.003}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/AnceaumeFMNR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/BazziN01, author = {Rida A. Bazzi and Gil Neiger}, title = {Simplifying fault-tolerance: providing the abstraction of crash failures}, journal = {J. {ACM}}, volume = {48}, number = {3}, pages = {499--554}, year = {2001}, url = {https://doi.org/10.1145/382780.382784}, doi = {10.1145/382780.382784}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/BazziN01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/podc/2000, editor = {Gil Neiger}, title = {Proceedings of the Nineteenth Annual {ACM} Symposium on Principles of Distributed Computing, July 16-19, 2000, Portland, Oregon, {USA}}, publisher = {{ACM}}, year = {2000}, url = {http://dl.acm.org/citation.cfm?id=343477}, isbn = {1-58113-183-6}, timestamp = {Tue, 10 Nov 2015 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/podc/2000.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/NeigerB99, author = {Gil Neiger and Rida A. Bazzi}, title = {Using Knowledge to Optimally Achieve Coordination in Distributed Systems}, journal = {Theor. Comput. Sci.}, volume = {220}, number = {1}, pages = {31--65}, year = {1999}, url = {https://doi.org/10.1016/S0304-3975(98)00236-9}, doi = {10.1016/S0304-3975(98)00236-9}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/NeigerB99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/podc/YangNG98, author = {Jiong Yang and Gil Neiger and Eli Gafni}, editor = {Brian A. Coan and Yehuda Afek}, title = {Structured Derivations of Consensus Algorithms for Failure Detectors}, booktitle = {Proceedings of the Seventeenth Annual {ACM} Symposium on Principles of Distributed Computing, {PODC} '98, Puerto Vallarta, Mexico, June 28 - July 2, 1998}, pages = {297--306}, publisher = {{ACM}}, year = {1998}, url = {https://doi.org/10.1145/277697.277755}, doi = {10.1145/277697.277755}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/podc/YangNG98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/algorithmica/BazziN97, author = {Rida A. Bazzi and Gil Neiger}, title = {The Complexity of Almost-Optimal Simultaneous Coordination}, journal = {Algorithmica}, volume = {17}, number = {3}, pages = {308--321}, year = {1997}, url = {https://doi.org/10.1007/BF02523194}, doi = {10.1007/BF02523194}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/algorithmica/BazziN97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dc/BazziNP97, author = {Rida A. Bazzi and Gil Neiger and Gary L. Peterson}, title = {On the Use of Registers in Achieving Wait-Free Consensus}, journal = {Distributed Comput.}, volume = {10}, number = {3}, pages = {117--127}, year = {1997}, url = {https://doi.org/10.1007/s004460050029}, doi = {10.1007/S004460050029}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dc/BazziNP97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/podc/Neiger96, author = {Gil Neiger}, editor = {James E. Burns and Yoram Moses}, title = {A New Look at Membership Services (Extended Abstract)}, booktitle = {Proceedings of the Fifteenth Annual {ACM} Symposium on Principles of Distributed Computing, Philadelphia, Pennsylvania, USA, May 23-26, 1996}, pages = {331--340}, publisher = {{ACM}}, year = {1996}, url = {https://doi.org/10.1145/248052.248121}, doi = {10.1145/248052.248121}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/podc/Neiger96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dc/AhamadNBKH95, author = {Mustaque Ahamad and Gil Neiger and James E. Burns and Prince Kohli and Phillip W. Hutto}, title = {Causal Memory: Definitions, Implementation, and Programming}, journal = {Distributed Comput.}, volume = {9}, number = {1}, pages = {37--49}, year = {1995}, url = {https://doi.org/10.1007/BF01784241}, doi = {10.1007/BF01784241}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dc/AhamadNBKH95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/Neiger95, author = {Gil Neiger}, title = {Simplifying the Design of Knowledge-Based Algorithms Using Knowledge Consistency}, journal = {Inf. Comput.}, volume = {119}, number = {2}, pages = {283--293}, year = {1995}, url = {https://doi.org/10.1006/inco.1995.1091}, doi = {10.1006/INCO.1995.1091}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/Neiger95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/podc/Neiger95, author = {Gil Neiger}, editor = {James H. Anderson}, title = {Failure Detectors and the Wait-Free Hierarchy}, booktitle = {Proceedings of the Fourteenth Annual {ACM} Symposium on Principles of Distributed Computing, Ottawa, Ontario, Canada, August 20-23, 1995}, pages = {100--109}, publisher = {{ACM}}, year = {1995}, url = {https://doi.org/10.1145/224964.224976}, doi = {10.1145/224964.224976}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/podc/Neiger95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dc/BurnsN94, author = {James E. Burns and Gil Neiger}, title = {Fast and Simple Distributed Consensus}, journal = {Distributed Comput.}, volume = {8}, number = {2}, pages = {59--64}, year = {1994}, url = {https://doi.org/10.1007/BF02280828}, doi = {10.1007/BF02280828}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dc/BurnsN94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/Neiger94, author = {Gil Neiger}, title = {Distributed Consensus Revisited}, journal = {Inf. Process. Lett.}, volume = {49}, number = {4}, pages = {195--201}, year = {1994}, url = {https://doi.org/10.1016/0020-0190(94)90011-6}, doi = {10.1016/0020-0190(94)90011-6}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/Neiger94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/podc/Neiger94, author = {Gil Neiger}, editor = {James H. Anderson and David Peleg and Elizabeth Borowsky}, title = {Set-Linearizability}, booktitle = {Proceedings of the Thirteenth Annual {ACM} Symposium on Principles of Distributed Computing, Los Angeles, California, USA, August 14-17, 1994}, pages = {396}, publisher = {{ACM}}, year = {1994}, url = {https://doi.org/10.1145/197917.198176}, doi = {10.1145/197917.198176}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/podc/Neiger94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigopsE/AhamadJKN94, author = {Mustaque Ahamad and Ranjit John and Prince Kohli and Gil Neiger}, editor = {J{\"{u}}rgen Nehmer and Marc Shapiro}, title = {Causal Memory Meets the Consistency and Performance Needs of Distributed Applications}, booktitle = {6th {ACM} {SIGOPS} European Workshop: Matching Operating Systems to Application Needs, Dagstuhl Castle, Germany, September 12-14, 1994}, pages = {45--50}, publisher = {{ACM}}, year = {1994}, url = {https://doi.org/10.1145/504390.504403}, doi = {10.1145/504390.504403}, timestamp = {Tue, 06 Nov 2018 11:07:25 +0100}, biburl = {https://dblp.org/rec/conf/sigopsE/AhamadJKN94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dc/NeigerT93, author = {Gil Neiger and Mark R. Tuttle}, title = {Common Knowledge and Consistent Simultaneous Coordination}, journal = {Distributed Comput.}, volume = {6}, number = {3}, pages = {181--192}, year = {1993}, url = {https://doi.org/10.1007/BF02242706}, doi = {10.1007/BF02242706}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dc/NeigerT93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/NeigerT93, author = {Gil Neiger and Sam Toueg}, title = {Simulating Synchronized Clocks and Common Knowledge in Distributed Systems}, journal = {J. {ACM}}, volume = {40}, number = {2}, pages = {334--367}, year = {1993}, url = {https://doi.org/10.1145/151261.151267}, doi = {10.1145/151261.151267}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/NeigerT93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icpp/KohliNA93, author = {Prince Kohli and Gil Neiger and Mustaque Ahamad}, editor = {C. Y. Roger Chen and P. Bruce Berra}, title = {A Characterization of Scalable Shared Memories}, booktitle = {Proceedings of the 1993 International Conference on Parallel Processing, Syracuse University, NY, USA, August 16-20, 1993. Volume {I:} Architecture}, pages = {332--335}, publisher = {{CRC} Press}, year = {1993}, url = {https://doi.org/10.1109/ICPP.1993.15}, doi = {10.1109/ICPP.1993.15}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icpp/KohliNA93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spaa/AhamadBJKN93, author = {Mustaque Ahamad and Rida A. Bazzi and Ranjit John and Prince Kohli and Gil Neiger}, editor = {Lawrence Snyder}, title = {The Power of Processor Consistency}, booktitle = {Proceedings of the 5th Annual {ACM} Symposium on Parallel Algorithms and Architectures, {SPAA} '93, Velen, Germany, June 30 - July 2, 1993}, pages = {251--260}, publisher = {{ACM}}, year = {1993}, url = {https://doi.org/10.1145/165231.165264}, doi = {10.1145/165231.165264}, timestamp = {Wed, 21 Nov 2018 12:27:44 +0100}, biburl = {https://dblp.org/rec/conf/spaa/AhamadBJKN93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/podc/BazziN92, author = {Rida A. Bazzi and Gil Neiger}, editor = {Norman C. Hutchinson}, title = {The Possibility and the Complexity of Achieving Fault-Tolerant Coordination}, booktitle = {Proceedings of the Eleventh Annual {ACM} Symposium on Principles of Distributed Computing, Vancouver, British Columbia, Canada, August 10-12, 1992}, pages = {203--214}, publisher = {{ACM}}, year = {1992}, url = {https://doi.org/10.1145/135419.135460}, doi = {10.1145/135419.135460}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/podc/BazziN92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tark/NeigerB92, author = {Gil Neiger and Rida A. Bazzi}, editor = {Yoram Moses}, title = {Using Knowledge to Optimally Achieve Coordination in Distributed Systems}, booktitle = {Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, USA, March 1992}, pages = {43--59}, publisher = {Morgan Kaufmann}, year = {1992}, timestamp = {Thu, 21 Jun 2018 07:51:09 +0200}, biburl = {https://dblp.org/rec/conf/tark/NeigerB92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wdag/BazziN92, author = {Rida A. Bazzi and Gil Neiger}, editor = {Adrian Segall and Shmuel Zaks}, title = {Simulating Crash Failures with Many Faulty Processors (Extended Abstract)}, booktitle = {Distributed Algorithms, 6th International Workshop, {WDAG} '92, Haifa, Israel, November 2-4, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {647}, pages = {166--184}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-56188-9\_12}, doi = {10.1007/3-540-56188-9\_12}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/wdag/BazziN92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wdag/AhamadBHN91, author = {Mustaque Ahamad and James E. Burns and Phillip W. Hutto and Gil Neiger}, editor = {Sam Toueg and Paul G. Spirakis and Lefteris M. Kirousis}, title = {Causal Memory}, booktitle = {Distributed Algorithms, 5th International Workshop, {WDAG} '91, Delphi, Greece, October 7-9, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {579}, pages = {9--30}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/BFb0022435}, doi = {10.1007/BFB0022435}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/wdag/AhamadBHN91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wdag/BazziN91, author = {Rida A. Bazzi and Gil Neiger}, editor = {Sam Toueg and Paul G. Spirakis and Lefteris M. Kirousis}, title = {Optimally Simulating Crash Failures in a Byzantine Environment}, booktitle = {Distributed Algorithms, 5th International Workshop, {WDAG} '91, Delphi, Greece, October 7-9, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {579}, pages = {108--128}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/BFb0022441}, doi = {10.1007/BFB0022441}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wdag/BazziN91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wdag/MarzulloN91, author = {Keith Marzullo and Gil Neiger}, editor = {Sam Toueg and Paul G. Spirakis and Lefteris M. Kirousis}, title = {Detection of Global State Predicates}, booktitle = {Distributed Algorithms, 5th International Workshop, {WDAG} '91, Delphi, Greece, October 7-9, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {579}, pages = {254--272}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/BFb0022452}, doi = {10.1007/BFB0022452}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wdag/MarzulloN91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jal/NeigerT90, author = {Gil Neiger and Sam Toueg}, title = {Automatically Increasing the Fault-Tolerance of Distributed Algorithms}, journal = {J. Algorithms}, volume = {11}, number = {3}, pages = {374--419}, year = {1990}, url = {https://doi.org/10.1016/0196-6774(90)90019-B}, doi = {10.1016/0196-6774(90)90019-B}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jal/NeigerT90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wdag/NeigerT90, author = {Gil Neiger and Mark R. Tuttle}, editor = {Jan van Leeuwen and Nicola Santoro}, title = {Common Knowledge and Consistent Simultaneous Coordination}, booktitle = {Distributed Algorithms, 4th International Workshop, {WDAG} '90, Bari, Italy, September 24-26, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {486}, pages = {334--352}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/3-540-54099-7\_23}, doi = {10.1007/3-540-54099-7\_23}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/wdag/NeigerT90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/podc/NeigerT88, author = {Gil Neiger and Sam Toueg}, editor = {Danny Dolev}, title = {Automatically Increasing the Fault-Tolerance of Distributed Systems}, booktitle = {Proceedings of the Seventh Annual {ACM} Symposium on Principles of Distributed Computing, Toronto, Ontario, Canada, August 15-17, 1988}, pages = {248--262}, publisher = {{ACM}}, year = {1988}, url = {https://doi.org/10.1145/62546.62588}, doi = {10.1145/62546.62588}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/podc/NeigerT88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tark/Neiger88, author = {Gil Neiger}, editor = {Moshe Y. Vardi}, title = {Knowledge Consistency: {A} Useful Suspension of Disbelief}, booktitle = {Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, USA, March 1988}, pages = {295--308}, publisher = {Morgan Kaufmann}, year = {1988}, timestamp = {Thu, 21 Jun 2018 07:50:39 +0200}, biburl = {https://dblp.org/rec/conf/tark/Neiger88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/podc/NeigerT87, author = {Gil Neiger and Sam Toueg}, editor = {Fred B. Schneider}, title = {Substituting for Real Time and Common Knowledge in Asynchronous Distributed Systems}, booktitle = {Proceedings of the Sixth Annual {ACM} Symposium on Principles of Distributed Computing, Vancouver, British Columbia, Canada, August 10-12, 1987}, pages = {281--293}, publisher = {{ACM}}, year = {1987}, url = {https://doi.org/10.1145/41840.41864}, doi = {10.1145/41840.41864}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/podc/NeigerT87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.