BibTeX records: Yoram Moses

download as .bib file

@article{DBLP:journals/ijgt/HalpernM17,
  author    = {Joseph Y. Halpern and
               Yoram Moses},
  title     = {Characterizing solution concepts in terms of common knowledge of rationality},
  journal   = {Int. J. Game Theory},
  volume    = {46},
  number    = {2},
  pages     = {457--473},
  year      = {2017},
  url       = {https://doi.org/10.1007/s00182-016-0535-9},
  doi       = {10.1007/s00182-016-0535-9},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ijgt/HalpernM17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ton/MizrahiRM17,
  author    = {Tal Mizrahi and
               Ori Rottenstreich and
               Yoram Moses},
  title     = {TimeFlip: Using Timestamp-Based {TCAM} Ranges to Accurately Schedule
               Network Updates},
  journal   = {{IEEE/ACM} Trans. Netw.},
  volume    = {25},
  number    = {2},
  pages     = {849--863},
  year      = {2017},
  url       = {http://doi.ieeecomputersociety.org/10.1109/TNET.2016.2608441},
  doi       = {10.1109/TNET.2016.2608441},
  timestamp = {Tue, 25 Apr 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ton/MizrahiRM17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/netys/CastanedaMRR17,
  author    = {Armando Casta{\~{n}}eda and
               Yoram Moses and
               Michel Raynal and
               Matthieu Roy},
  title     = {Early Decision and Stopping in Synchronous Consensus: {A} Predicate-Based
               Guided Tour},
  booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
               Morocco, May 17-19, 2017, Proceedings},
  pages     = {206--221},
  year      = {2017},
  crossref  = {DBLP:conf/netys/2017},
  url       = {https://doi.org/10.1007/978-3-319-59647-1_16},
  doi       = {10.1007/978-3-319-59647-1_16},
  timestamp = {Mon, 15 May 2017 13:49:43 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/netys/CastanedaMRR17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/DanMM17,
  author    = {Asa Dan and
               Rajit Manohar and
               Yoram Moses},
  title     = {On Using Time Without Clocks via Zigzag Causality},
  journal   = {CoRR},
  volume    = {abs/1705.08627},
  year      = {2017},
  url       = {http://arxiv.org/abs/1705.08627},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/DanMM17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ijnm/MizrahiM16,
  author    = {Tal Mizrahi and
               Yoram Moses},
  title     = {ReversePTP: {A} clock synchronization scheme for software-defined
               networks},
  journal   = {Int. Journal of Network Management},
  volume    = {26},
  number    = {5},
  pages     = {355--372},
  year      = {2016},
  url       = {https://doi.org/10.1002/nem.1942},
  doi       = {10.1002/nem.1942},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ijnm/MizrahiM16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tnsm/MizrahiM16,
  author    = {Tal Mizrahi and
               Yoram Moses},
  title     = {Time4: Time for {SDN}},
  journal   = {{IEEE} Trans. Network and Service Management},
  volume    = {13},
  number    = {3},
  pages     = {433--446},
  year      = {2016},
  url       = {https://doi.org/10.1109/TNSM.2016.2599640},
  doi       = {10.1109/TNSM.2016.2599640},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tnsm/MizrahiM16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ton/MizrahiSM16,
  author    = {Tal Mizrahi and
               Efi Saat and
               Yoram Moses},
  title     = {Timed Consistent Network Updates in Software-Defined Networks},
  journal   = {{IEEE/ACM} Trans. Netw.},
  volume    = {24},
  number    = {6},
  pages     = {3412--3425},
  year      = {2016},
  url       = {https://doi.org/10.1109/TNET.2016.2529058},
  doi       = {10.1109/TNET.2016.2529058},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ton/MizrahiSM16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/infocom/MizrahiM16,
  author    = {Tal Mizrahi and
               Yoram Moses},
  title     = {Software defined networks: It's about time},
  booktitle = {35th Annual {IEEE} International Conference on Computer Communications,
               {INFOCOM} 2016, San Francisco, CA, USA, April 10-14, 2016},
  pages     = {1--9},
  year      = {2016},
  crossref  = {DBLP:conf/infocom/2016},
  url       = {https://doi.org/10.1109/INFOCOM.2016.7524418},
  doi       = {10.1109/INFOCOM.2016.7524418},
  timestamp = {Tue, 16 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/infocom/MizrahiM16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/infocom/MizrahiM16a,
  author    = {Tal Mizrahi and
               Yoram Moses},
  title     = {Serving time in the cloud: Why time-as-a-service?},
  booktitle = {{IEEE} Conference on Computer Communications Workshops, {INFOCOM}
               Workshops 2016, San Francisco, CA, USA, April 10-14, 2016},
  pages     = {95--96},
  year      = {2016},
  crossref  = {DBLP:conf/infocom/2016w},
  url       = {https://doi.org/10.1109/INFCOMW.2016.7562052},
  doi       = {10.1109/INFCOMW.2016.7562052},
  timestamp = {Tue, 16 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/infocom/MizrahiM16a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/infocom/MizrahiM16b,
  author    = {Tal Mizrahi and
               Yoram Moses},
  title     = {The case for Data Plane Timestamping in {SDN}},
  booktitle = {{IEEE} Conference on Computer Communications Workshops, {INFOCOM}
               Workshops 2016, San Francisco, CA, USA, April 10-14, 2016},
  pages     = {856--861},
  year      = {2016},
  crossref  = {DBLP:conf/infocom/2016w},
  url       = {https://doi.org/10.1109/INFCOMW.2016.7562197},
  doi       = {10.1109/INFCOMW.2016.7562197},
  timestamp = {Tue, 16 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/infocom/MizrahiM16b},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/infocom/MizrahiM16c,
  author    = {Tal Mizrahi and
               Yoram Moses},
  title     = {On the behavior of network delay in the cloud},
  booktitle = {{IEEE} Conference on Computer Communications Workshops, {INFOCOM}
               Workshops 2016, San Francisco, CA, USA, April 10-14, 2016},
  pages     = {875--876},
  year      = {2016},
  crossref  = {DBLP:conf/infocom/2016w},
  url       = {https://doi.org/10.1109/INFCOMW.2016.7562201},
  doi       = {10.1109/INFCOMW.2016.7562201},
  timestamp = {Tue, 16 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/infocom/MizrahiM16c},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/noms/MizrahiM16,
  author    = {Tal Mizrahi and
               Yoram Moses},
  title     = {OneClock to rule them all: Using time in networked applications},
  booktitle = {2016 {IEEE/IFIP} Network Operations and Management Symposium, {NOMS}
               2016, Istanbul, Turkey, April 25-29, 2016},
  pages     = {679--685},
  year      = {2016},
  crossref  = {DBLP:conf/noms/2016},
  url       = {https://doi.org/10.1109/NOMS.2016.7502876},
  doi       = {10.1109/NOMS.2016.7502876},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/noms/MizrahiM16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/podc/CastanedaGM16,
  author    = {Armando Casta{\~{n}}eda and
               Yannai A. Gonczarowski and
               Yoram Moses},
  title     = {Unbeatable Set Consensus via Topological and Combinatorial Reasoning},
  booktitle = {Proceedings of the 2016 {ACM} Symposium on Principles of Distributed
               Computing, {PODC} 2016, Chicago, IL, USA, July 25-28, 2016},
  pages     = {107--116},
  year      = {2016},
  crossref  = {DBLP:conf/podc/2016},
  url       = {http://doi.acm.org/10.1145/2933057.2933120},
  doi       = {10.1145/2933057.2933120},
  timestamp = {Mon, 08 Aug 2016 15:46:34 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/podc/CastanedaGM16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@incollection{DBLP:reference/algo/Moses16,
  author    = {Yoram Moses},
  title     = {Knowledge in Distributed Systems},
  booktitle = {Encyclopedia of Algorithms},
  pages     = {1051--1055},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-1-4939-2864-4_606},
  doi       = {10.1007/978-1-4939-2864-4_606},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/reference/algo/Moses16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/MizrahiM16,
  author    = {Tal Mizrahi and
               Yoram Moses},
  title     = {OneClock to Rule Them All: Using Time in Networked Applications},
  journal   = {CoRR},
  volume    = {abs/1601.07333},
  year      = {2016},
  url       = {http://arxiv.org/abs/1601.07333},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/MizrahiM16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/MizrahiM16a,
  author    = {Tal Mizrahi and
               Yoram Moses},
  title     = {The Case for Data Plane Timestamping in {SDN}},
  journal   = {CoRR},
  volume    = {abs/1602.03342},
  year      = {2016},
  url       = {http://arxiv.org/abs/1602.03342},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/MizrahiM16a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/HalpernM16,
  author    = {Joseph Y. Halpern and
               Yoram Moses},
  title     = {Characterizing Solution Concepts in Terms of Common Knowledge of Rationality},
  journal   = {CoRR},
  volume    = {abs/1605.01236},
  year      = {2016},
  url       = {http://arxiv.org/abs/1605.01236},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/HalpernM16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/CastanedaGM16,
  author    = {Armando Casta{\~{n}}eda and
               Yannai A. Gonczarowski and
               Yoram Moses},
  title     = {Unbeatable Set Consensus via Topological and Combinatorial Reasoning},
  journal   = {CoRR},
  volume    = {abs/1605.07354},
  year      = {2016},
  url       = {http://arxiv.org/abs/1605.07354},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/CastanedaGM16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/async/ManoharM15,
  author    = {Rajit Manohar and
               Yoram Moses},
  title     = {Analyzing Isochronic Forks with Potential Causality},
  booktitle = {21st {IEEE} International Symposium on Asynchronous Circuits and Systems,
               {ASYNC} 2015, Mountain View, CA, USA, May 4-6, 2015},
  pages     = {69--76},
  year      = {2015},
  crossref  = {DBLP:conf/async/2015},
  url       = {https://doi.org/10.1109/ASYNC.2015.19},
  doi       = {10.1109/ASYNC.2015.19},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/async/ManoharM15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/infocom/MizrahiRM15,
  author    = {Tal Mizrahi and
               Ori Rottenstreich and
               Yoram Moses},
  title     = {TimeFlip: Scheduling network updates with timestamp-based {TCAM} ranges},
  booktitle = {2015 {IEEE} Conference on Computer Communications, {INFOCOM} 2015,
               Kowloon, Hong Kong, April 26 - May 1, 2015},
  pages     = {2551--2559},
  year      = {2015},
  crossref  = {DBLP:conf/infocom/2015},
  url       = {https://doi.org/10.1109/INFOCOM.2015.7218645},
  doi       = {10.1109/INFOCOM.2015.7218645},
  timestamp = {Tue, 16 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/infocom/MizrahiRM15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sirocco/MosesP15,
  author    = {Yoram Moses and
               Katia Patkin},
  title     = {Under the Hood of the Bakery Algorithm: Mutual Exclusion as a Matter
               of Priority},
  booktitle = {Structural Information and Communication Complexity - 22nd International
               Colloquium, {SIROCCO} 2015, Montserrat, Spain, July 14-16, 2015, Post-Proceedings},
  pages     = {399--413},
  year      = {2015},
  crossref  = {DBLP:conf/sirocco/2015},
  url       = {https://doi.org/10.1007/978-3-319-25258-2_28},
  doi       = {10.1007/978-3-319-25258-2_28},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sirocco/MosesP15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sosr/MizrahiSM15,
  author    = {Tal Mizrahi and
               Efi Saat and
               Yoram Moses},
  title     = {Timed consistent network updates},
  booktitle = {Proceedings of the 1st {ACM} {SIGCOMM} Symposium on Software Defined
               Networking Research, {SOSR} '15, Santa Clara, California, USA, June
               17-18, 2015},
  pages     = {21:1--21:14},
  year      = {2015},
  crossref  = {DBLP:conf/sosr/2015},
  url       = {http://doi.acm.org/10.1145/2774993.2775001},
  doi       = {10.1145/2774993.2775001},
  timestamp = {Wed, 27 Jan 2016 19:34:45 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sosr/MizrahiSM15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/Moses16,
  author    = {Yoram Moses},
  title     = {Relating Knowledge and Coordinated Action: The Knowledge of Preconditions
               Principle},
  booktitle = {Proceedings Fifteenth Conference on Theoretical Aspects of Rationality
               and Knowledge, {TARK} 2015, Carnegie Mellon University, Pittsburgh,
               USA, June 4-6, 2015.},
  pages     = {231--245},
  year      = {2015},
  crossref  = {DBLP:journals/corr/Ramanujam16},
  url       = {https://doi.org/10.4204/EPTCS.215.17},
  doi       = {10.4204/EPTCS.215.17},
  timestamp = {Wed, 03 May 2017 14:47:58 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/Moses16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wdag/2015,
  editor    = {Yoram Moses},
  title     = {Distributed Computing - 29th International Symposium, {DISC} 2015,
               Tokyo, Japan, October 7-9, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9363},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-48653-5},
  doi       = {10.1007/978-3-662-48653-5},
  isbn      = {978-3-662-48652-8},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/wdag/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/MizrahiM15,
  author    = {Tal Mizrahi and
               Yoram Moses},
  title     = {Time4: Time for {SDN}},
  journal   = {CoRR},
  volume    = {abs/1505.03421},
  year      = {2015},
  url       = {http://arxiv.org/abs/1505.03421},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/MizrahiM15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/MizrahiSM15,
  author    = {Tal Mizrahi and
               Efi Saat and
               Yoram Moses},
  title     = {Timed Consistent Network Updates},
  journal   = {CoRR},
  volume    = {abs/1505.03653},
  year      = {2015},
  url       = {http://arxiv.org/abs/1505.03653},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/MizrahiSM15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jacm/Ben-ZviM14,
  author    = {Ido Ben{-}Zvi and
               Yoram Moses},
  title     = {Beyond Lamport's \emph{Happened-before}: On Time Bounds and the Ordering
               of Events in Distributed Systems},
  journal   = {J. {ACM}},
  volume    = {61},
  number    = {2},
  pages     = {13:1--13:26},
  year      = {2014},
  url       = {http://doi.acm.org/10.1145/2542181},
  doi       = {10.1145/2542181},
  timestamp = {Mon, 11 May 2015 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jacm/Ben-ZviM14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jair/HalpernM14,
  author    = {Joseph Y. Halpern and
               Yoram Moses},
  title     = {A Procedural Characterization of Solution Concepts in Games},
  journal   = {J. Artif. Intell. Res.},
  volume    = {49},
  pages     = {143--170},
  year      = {2014},
  url       = {https://doi.org/10.1613/jair.4220},
  doi       = {10.1613/jair.4220},
  timestamp = {Wed, 21 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jair/HalpernM14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ons/MizrahiM14,
  author    = {Tal Mizrahi and
               Yoram Moses},
  title     = {On the Necessity of Time-based Updates in {SDN}},
  booktitle = {Open Networking Summit 2014 - Research Track, {ONS} 2014, Santa Clara,
               CA, USA, March 2-4, 2014},
  year      = {2014},
  crossref  = {DBLP:conf/ons/2014},
  url       = {https://www.usenix.org/conference/ons2014/technical-sessions/presentation/mizrahi},
  timestamp = {Mon, 26 May 2014 17:29:47 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ons/MizrahiM14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/MizrahiM14,
  author    = {Tal Mizrahi and
               Yoram Moses},
  title     = {ReversePTP: a software defined networking approach to clock synchronization},
  booktitle = {Proceedings of the third workshop on Hot topics in software defined
               networking, HotSDN '14, Chicago, Illinois, USA, August 22, 2014},
  pages     = {203--204},
  year      = {2014},
  crossref  = {DBLP:conf/sigcomm/2014hotsdn},
  url       = {http://doi.acm.org/10.1145/2620728.2620764},
  doi       = {10.1145/2620728.2620764},
  timestamp = {Thu, 23 Apr 2015 15:29:29 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sigcomm/MizrahiM14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wdag/CastanedaGM14,
  author    = {Armando Casta{\~{n}}eda and
               Yannai A. Gonczarowski and
               Yoram Moses},
  title     = {Unbeatable Consensus},
  booktitle = {Distributed Computing - 28th International Symposium, {DISC} 2014,
               Austin, TX, USA, October 12-15, 2014. Proceedings},
  pages     = {91--106},
  year      = {2014},
  crossref  = {DBLP:conf/wdag/2014},
  url       = {https://doi.org/10.1007/978-3-662-45174-8_7},
  doi       = {10.1007/978-3-662-45174-8_7},
  timestamp = {Fri, 19 May 2017 01:25:17 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/wdag/CastanedaGM14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/CastanedaGM14,
  author    = {Armando Casta{\~{n}}eda and
               Yannai A. Gonczarowski and
               Yoram Moses},
  title     = {Unbeatable Consensus},
  journal   = {CoRR},
  volume    = {abs/1410.2501},
  year      = {2014},
  url       = {http://arxiv.org/abs/1410.2501},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/CastanedaGM14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icla/Ben-ZviM13,
  author    = {Ido Ben{-}Zvi and
               Yoram Moses},
  title     = {Agent-Time Epistemics and Coordination},
  booktitle = {Logic and Its Applications, 5th Indian Conference, {ICLA} 2013, Chennai,
               India, January 10-12, 2013. Proceedings},
  pages     = {97--108},
  year      = {2013},
  crossref  = {DBLP:conf/icla/2013},
  url       = {https://doi.org/10.1007/978-3-642-36039-8_9},
  doi       = {10.1007/978-3-642-36039-8_9},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icla/Ben-ZviM13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/podc/CastanedaGM13,
  author    = {Armando Casta{\~{n}}eda and
               Yannai A. Gonczarowski and
               Yoram Moses},
  title     = {Brief announcement: pareto optimal solutions to consensus and set
               consensus},
  booktitle = {{ACM} Symposium on Principles of Distributed Computing, {PODC} '13,
               Montreal, QC, Canada, July 22-24, 2013},
  pages     = {113--115},
  year      = {2013},
  crossref  = {DBLP:conf/podc/2013},
  url       = {http://doi.acm.org/10.1145/2484239.2484280},
  doi       = {10.1145/2484239.2484280},
  timestamp = {Wed, 17 Jul 2013 08:53:08 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/podc/CastanedaGM13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/MizrahiM13,
  author    = {Tal Mizrahi and
               Yoram Moses},
  title     = {Time-based updates in software defined networks},
  booktitle = {Proceedings of the Second {ACM} {SIGCOMM} Workshop on Hot Topics in
               Software Defined Networking, HotSDN 2013, The Chinese University of
               Hong Kong, Hong Kong, China, Friday, August 16, 2013},
  pages     = {163--164},
  year      = {2013},
  crossref  = {DBLP:conf/sigcomm/2013hotsdn},
  url       = {http://doi.acm.org/10.1145/2491185.2491214},
  doi       = {10.1145/2491185.2491214},
  timestamp = {Mon, 09 Sep 2013 20:01:29 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sigcomm/MizrahiM13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tark/Ben-ZviM13,
  author    = {Ido Ben{-}Zvi and
               Yoram Moses},
  title     = {The Shape of Reactive Coordination Tasks},
  booktitle = {Proceedings of the 14th Conference on Theoretical Aspects of Rationality
               and Knowledge {(TARK} 2013), Chennai, India, January 7-9, 2013},
  year      = {2013},
  crossref  = {DBLP:conf/tark/2013},
  url       = {http://www.tark.org/proceedings/tark_jan7_13/p29-ben-zvi.pdf},
  timestamp = {Wed, 30 Mar 2016 18:10:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tark/Ben-ZviM13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tark/GonczarowskiM13,
  author    = {Yannai A. Gonczarowski and
               Yoram Moses},
  title     = {Timely Common Knowledge},
  booktitle = {Proceedings of the 14th Conference on Theoretical Aspects of Rationality
               and Knowledge {(TARK} 2013), Chennai, India, January 7-9, 2013},
  year      = {2013},
  crossref  = {DBLP:conf/tark/2013},
  url       = {http://www.tark.org/proceedings/tark_jan7_13/p79-gonczarowski.pdf},
  timestamp = {Wed, 30 Mar 2016 18:10:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tark/GonczarowskiM13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/MosesS13,
  author    = {Yoram Moses and
               Marcia Kuskin Shamo},
  title     = {A Knowledge-based Treatment of Human-Automation Systems},
  journal   = {CoRR},
  volume    = {abs/1307.2191},
  year      = {2013},
  url       = {http://arxiv.org/abs/1307.2191},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/MosesS13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/Ben-ZviM13,
  author    = {Ido Ben{-}Zvi and
               Yoram Moses},
  title     = {The Shape of Reactive Coordination Tasks},
  journal   = {CoRR},
  volume    = {abs/1310.6407},
  year      = {2013},
  url       = {http://arxiv.org/abs/1310.6407},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/Ben-ZviM13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/GonczarowskiM13,
  author    = {Yannai A. Gonczarowski and
               Yoram Moses},
  title     = {Timely Common Knowledge},
  journal   = {CoRR},
  volume    = {abs/1310.6414},
  year      = {2013},
  url       = {http://arxiv.org/abs/1310.6414},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/GonczarowskiM13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/CastanedaGM13,
  author    = {Armando Casta{\~{n}}eda and
               Yannai A. Gonczarowski and
               Yoram Moses},
  title     = {Good, Better, Best! - Unbeatable Protocols for Consensus and Set Consensus},
  journal   = {CoRR},
  volume    = {abs/1311.6902},
  year      = {2013},
  url       = {http://arxiv.org/abs/1311.6902},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/CastanedaGM13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iandc/MosesR12,
  author    = {Yoram Moses and
               Michel Raynal},
  title     = {No double discount: Condition-based simultaneity yields limited gain},
  journal   = {Inf. Comput.},
  volume    = {214},
  pages     = {47--58},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.ic.2012.02.006},
  doi       = {10.1016/j.ic.2012.02.006},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/iandc/MosesR12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamcomp/DolevHM12,
  author    = {Danny Dolev and
               Ezra N. Hoch and
               Yoram Moses},
  title     = {An Optimal Self-Stabilizing Firing Squad},
  journal   = {{SIAM} J. Comput.},
  volume    = {41},
  number    = {2},
  pages     = {415--435},
  year      = {2012},
  url       = {https://doi.org/10.1137/090776512},
  doi       = {10.1137/090776512},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/siamcomp/DolevHM12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icdcit/Moses12,
  author    = {Yoram Moses},
  title     = {Knowledge as a Window into Distributed Coordination},
  booktitle = {Distributed Computing and Internet Technology - 8th International
               Conference, {ICDCIT} 2012, Bhubaneswar, India, February 2-4, 2012.
               Proceedings},
  pages     = {27--34},
  year      = {2012},
  crossref  = {DBLP:conf/icdcit/2012},
  url       = {https://doi.org/10.1007/978-3-642-28073-3_3},
  doi       = {10.1007/978-3-642-28073-3_3},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icdcit/Moses12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-5399,
  author    = {Ido Ben{-}Zvi and
               Yoram Moses},
  title     = {Agent-time Epistemics and Coordination},
  journal   = {CoRR},
  volume    = {abs/1203.5399},
  year      = {2012},
  url       = {http://arxiv.org/abs/1203.5399},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1203-5399},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jancl/Ben-ZviM11,
  author    = {Ido Ben{-}Zvi and
               Yoram Moses},
  title     = {On interactive knowledge with bounded communication},
  journal   = {Journal of Applied Non-Classical Logics},
  volume    = {21},
  number    = {3-4},
  pages     = {323--354},
  year      = {2011},
  url       = {https://doi.org/10.3166/jancl.21.323-354},
  doi       = {10.3166/jancl.21.323-354},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jancl/Ben-ZviM11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/podc/KuhnOM11,
  author    = {Fabian Kuhn and
               Yoram Moses and
               Rotem Oshman},
  title     = {Coordinated consensus in dynamic networks},
  booktitle = {Proceedings of the 30th Annual {ACM} Symposium on Principles of Distributed
               Computing, {PODC} 2011, San Jose, CA, USA, June 6-8, 2011},
  pages     = {1--10},
  year      = {2011},
  crossref  = {DBLP:conf/podc/2011},
  url       = {http://doi.acm.org/10.1145/1993806.1993808},
  doi       = {10.1145/1993806.1993808},
  timestamp = {Wed, 22 Aug 2012 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/podc/KuhnOM11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/podc/HerlihyMT11,
  author    = {Maurice Herlihy and
               Yoram Moses and
               Mark R. Tuttle},
  title     = {Transforming worst-case optimal solutions for simultaneous tasks into
               all-case optimal solutions},
  booktitle = {Proceedings of the 30th Annual {ACM} Symposium on Principles of Distributed
               Computing, {PODC} 2011, San Jose, CA, USA, June 6-8, 2011},
  pages     = {231--238},
  year      = {2011},
  crossref  = {DBLP:conf/podc/2011},
  url       = {http://doi.acm.org/10.1145/1993806.1993849},
  doi       = {10.1145/1993806.1993849},
  timestamp = {Wed, 23 May 2012 14:26:10 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/podc/HerlihyMT11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tark/Ben-ZviM11,
  author    = {Ido Ben{-}Zvi and
               Yoram Moses},
  title     = {Known unknowns: time bounds and knowledge of ignorance},
  booktitle = {Proceedings of the 13th Conference on Theoretical Aspects of Rationality
               and Knowledge (TARK-2011), Groningen, The Netherlands, July 12-14,
               2011},
  pages     = {161--169},
  year      = {2011},
  crossref  = {DBLP:conf/tark/2011},
  url       = {http://doi.acm.org/10.1145/2000378.2000397},
  doi       = {10.1145/2000378.2000397},
  timestamp = {Wed, 13 Jul 2011 12:55:14 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tark/Ben-ZviM11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sigact/Moses10,
  author    = {Yoram Moses},
  title     = {Behind the Scenes of K{\&}CK: the undelivered speech for the 2009
               Dijkstra prize},
  journal   = {{SIGACT} News},
  volume    = {41},
  number    = {1},
  pages     = {58--62},
  year      = {2010},
  url       = {http://doi.acm.org/10.1145/1753171.1753190},
  doi       = {10.1145/1753171.1753190},
  timestamp = {Fri, 03 Dec 2010 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/sigact/Moses10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/MizrahiM10,
  author    = {Tal Mizrahi and
               Yoram Moses},
  title     = {Continuous consensus with ambiguous failures},
  journal   = {Theor. Comput. Sci.},
  volume    = {411},
  number    = {34-36},
  pages     = {3031--3041},
  year      = {2010},
  url       = {https://doi.org/10.1016/j.tcs.2010.04.025},
  doi       = {10.1016/j.tcs.2010.04.025},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tcs/MizrahiM10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wdag/Ben-ZviM10,
  author    = {Ido Ben{-}Zvi and
               Yoram Moses},
  title     = {Beyond Lamport's \emph{Happened-Before}: On the Role of Time Bounds
               in Synchronous Systems},
  booktitle = {Distributed Computing, 24th International Symposium, {DISC} 2010,
               Cambridge, MA, USA, September 13-15, 2010. Proceedings},
  pages     = {421--436},
  year      = {2010},
  crossref  = {DBLP:conf/wdag/2010},
  url       = {https://doi.org/10.1007/978-3-642-15763-9_42},
  doi       = {10.1007/978-3-642-15763-9_42},
  timestamp = {Fri, 19 May 2017 01:25:17 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/wdag/Ben-ZviM10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/dc/EngelhardtM09,
  author    = {Kai Engelhardt and
               Yoram Moses},
  title     = {Causing communication closure: safe program composition with reliable
               non-FIFO channels},
  journal   = {Distributed Computing},
  volume    = {22},
  number    = {2},
  pages     = {73--91},
  year      = {2009},
  url       = {https://doi.org/10.1007/s00446-009-0081-9},
  doi       = {10.1007/s00446-009-0081-9},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/dc/EngelhardtM09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jpdc/MosesR09,
  author    = {Yoram Moses and
               Michel Raynal},
  title     = {Revisiting simultaneous consensus with crash failures},
  journal   = {J. Parallel Distrib. Comput.},
  volume    = {69},
  number    = {4},
  pages     = {400--409},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.jpdc.2009.01.001},
  doi       = {10.1016/j.jpdc.2009.01.001},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jpdc/MosesR09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sss/DolevHM09,
  author    = {Danny Dolev and
               Ezra N. Hoch and
               Yoram Moses},
  title     = {An Optimal Self-stabilizing Firing Squad},
  booktitle = {Stabilization, Safety, and Security of Distributed Systems, 11th International
               Symposium, {SSS} 2009, Lyon, France, November 3-6, 2009. Proceedings},
  pages     = {284--296},
  year      = {2009},
  crossref  = {DBLP:conf/sss/2009},
  url       = {https://doi.org/10.1007/978-3-642-05118-0_20},
  doi       = {10.1007/978-3-642-05118-0_20},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sss/DolevHM09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wdag/Moses09,
  author    = {Yoram Moses},
  title     = {Optimum Simultaneous Consensus for General Omissions Is Equivalent
               to an {NP} Oracle},
  booktitle = {Distributed Computing, 23rd International Symposium, {DISC} 2009,
               Elche, Spain, September 23-25, 2009. Proceedings},
  pages     = {436--448},
  year      = {2009},
  crossref  = {DBLP:conf/wdag/2009},
  url       = {https://doi.org/10.1007/978-3-642-04355-0_45},
  doi       = {10.1007/978-3-642-04355-0_45},
  timestamp = {Fri, 19 May 2017 01:25:17 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/wdag/Moses09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-0908-2295,
  author    = {Danny Dolev and
               Ezra N. Hoch and
               Yoram Moses},
  title     = {An Optimal Self-Stabilizing Firing Squad},
  journal   = {CoRR},
  volume    = {abs/0908.2295},
  year      = {2009},
  url       = {http://arxiv.org/abs/0908.2295},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-0908-2295},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/dc/MizrahiM08,
  author    = {Tal Mizrahi and
               Yoram Moses},
  title     = {Continuous consensus via common knowledge},
  journal   = {Distributed Computing},
  volume    = {20},
  number    = {5},
  pages     = {305--321},
  year      = {2008},
  url       = {https://doi.org/10.1007/s00446-007-0049-6},
  doi       = {10.1007/s00446-007-0049-6},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/dc/MizrahiM08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ipl/EngelhardtM08,
  author    = {Kai Engelhardt and
               Yoram Moses},
  title     = {Single-bit messages are insufficient for data link over duplicating
               channels},
  journal   = {Inf. Process. Lett.},
  volume    = {107},
  number    = {6},
  pages     = {235--239},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.ipl.2008.03.010},
  doi       = {10.1016/j.ipl.2008.03.010},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ipl/EngelhardtM08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/MizrahiM08,
  author    = {Tal Mizrahi and
               Yoram Moses},
  title     = {Continuous Consensus with Ambiguous Failures},
  booktitle = {Distributed Computing and Networking, 9th International Conference,
               {ICDCN} 2008, Kolkata, India, January 5-8, 2008.},
  pages     = {73--85},
  year      = {2008},
  crossref  = {DBLP:conf/icdcn/2008},
  url       = {https://doi.org/10.1007/978-3-540-77444-0_6},
  doi       = {10.1007/978-3-540-77444-0_6},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icdcn/MizrahiM08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wdag/MizrahiM08,
  author    = {Tal Mizrahi and
               Yoram Moses},
  title     = {Continuous Consensus with Failures and Recoveries},
  booktitle = {Distributed Computing, 22nd International Symposium, {DISC} 2008,
               Arcachon, France, September 22-24, 2008. Proceedings},
  pages     = {408--422},
  year      = {2008},
  crossref  = {DBLP:conf/wdag/2008},
  url       = {https://doi.org/10.1007/978-3-540-87779-0_28},
  doi       = {10.1007/978-3-540-87779-0_28},
  timestamp = {Tue, 13 Jun 2017 10:37:55 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/wdag/MizrahiM08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wdag/MosesR08,
  author    = {Yoram Moses and
               Michel Raynal},
  title     = {No Double Discount: Condition-Based Simultaneity Yields Limited Gain},
  booktitle = {Distributed Computing, 22nd International Symposium, {DISC} 2008,
               Arcachon, France, September 22-24, 2008. Proceedings},
  pages     = {423--437},
  year      = {2008},
  crossref  = {DBLP:conf/wdag/2008},
  url       = {https://doi.org/10.1007/978-3-540-87779-0_29},
  doi       = {10.1007/978-3-540-87779-0_29},
  timestamp = {Tue, 13 Jun 2017 10:37:55 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/wdag/MosesR08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@incollection{DBLP:reference/fai/Moses08,
  author    = {Yoram Moses},
  title     = {Reasoning about Knowledge and Belief},
  booktitle = {Handbook of Knowledge Representation},
  pages     = {621--647},
  year      = {2008},
  crossref  = {DBLP:reference/fai/3},
  url       = {https://doi.org/10.1016/S1574-6526(07)03015-5},
  doi       = {10.1016/S1574-6526(07)03015-5},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/reference/fai/Moses08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ijcv/AvidanMM07,
  author    = {Shai Avidan and
               Yael Moses and
               Yoram Moses},
  title     = {Centralized and Distributed Multi-view Correspondence},
  journal   = {International Journal of Computer Vision},
  volume    = {71},
  number    = {1},
  pages     = {49--69},
  year      = {2007},
  url       = {https://doi.org/10.1007/s11263-005-4888-y},
  doi       = {10.1007/s11263-005-4888-y},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ijcv/AvidanMM07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HalpernM07,
  author    = {Joseph Y. Halpern and
               Yoram Moses},
  title     = {Characterizing Solution Concepts in Games Using Knowledge-Based Programs},
  booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
               on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
  pages     = {1300--1307},
  year      = {2007},
  crossref  = {DBLP:conf/ijcai/2007},
  url       = {http://ijcai.org/Proceedings/07/Papers/210.pdf},
  timestamp = {Wed, 20 Jul 2016 13:58:40 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/HalpernM07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wdag/MizrahiM07,
  author    = {Tal Mizrahi and
               Yoram Moses},
  title     = {Long Live Continuous Consensus},
  booktitle = {Distributed Computing, 21st International Symposium, {DISC} 2007,
               Lemesos, Cyprus, September 24-26, 2007, Proceedings},
  pages     = {490--491},
  year      = {2007},
  crossref  = {DBLP:conf/wdag/2007},
  url       = {https://doi.org/10.1007/978-3-540-75142-7_40},
  doi       = {10.1007/978-3-540-75142-7_40},
  timestamp = {Mon, 12 Jun 2017 16:41:06 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/wdag/MizrahiM07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701064,
  author    = {Kai Engelhardt and
               Yoram Moses},
  title     = {Causing Communication Closure: Safe Program Composition with Reliable
               Non-FIFO Channels},
  journal   = {CoRR},
  volume    = {abs/cs/0701064},
  year      = {2007},
  url       = {http://arxiv.org/abs/cs/0701064},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-cs-0701064},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wdag/MosesS06,
  author    = {Yoram Moses and
               Benny Shimony},
  title     = {A New Proof of the {GHS} Minimum Spanning Tree Algorithm},
  booktitle = {Distributed Computing, 20th International Symposium, {DISC} 2006,
               Stockholm, Sweden, September 18-20, 2006, Proceedings},
  pages     = {120--135},
  year      = {2006},
  crossref  = {DBLP:conf/wdag/2006},
  url       = {https://doi.org/10.1007/11864219_9},
  doi       = {10.1007/11864219_9},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/wdag/MosesS06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0610098,
  author    = {Joseph Y. Halpern and
               Yoram Moses},
  title     = {Characterizing Solution Concepts in Games Using Knowledge-Based Programs},
  journal   = {CoRR},
  volume    = {abs/cs/0610098},
  year      = {2006},
  url       = {http://arxiv.org/abs/cs/0610098},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-cs-0610098},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iwdc/EngelhardtM05,
  author    = {Kai Engelhardt and
               Yoram Moses},
  title     = {Single-Bit Messages Are Insufficient in the Presence of Duplication},
  booktitle = {Distributed Computing - {IWDC} 2005, 7th International Workshop, Kharagpur,
               India, December 27-30, 2005, Proceedings},
  pages     = {25--31},
  year      = {2005},
  crossref  = {DBLP:conf/iwdc/2005},
  url       = {https://doi.org/10.1007/11603771_3},
  doi       = {10.1007/11603771_3},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iwdc/EngelhardtM05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iwdc/EngelhardtM05a,
  author    = {Kai Engelhardt and
               Yoram Moses},
  title     = {Safe Composition of Distributed Programs Communicating over Order-Preserving
               Imperfect Channels},
  booktitle = {Distributed Computing - {IWDC} 2005, 7th International Workshop, Kharagpur,
               India, December 27-30, 2005, Proceedings},
  pages     = {32--44},
  year      = {2005},
  crossref  = {DBLP:conf/iwdc/2005},
  url       = {https://doi.org/10.1007/11603771_4},
  doi       = {10.1007/11603771_4},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iwdc/EngelhardtM05a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tark/MizrahiM05,
  author    = {Tal Mizrahi and
               Yoram Moses},
  title     = {Continuous consensus via common knowledge},
  booktitle = {Proceedings of the 10th Conference on Theoretical Aspects of Rationality
               and Knowledge (TARK-2005), Singapore, June 10-12, 2005},
  pages     = {236--252},
  year      = {2005},
  crossref  = {DBLP:conf/tark/2005},
  url       = {http://doi.acm.org/10.1145/1089933.1089959},
  doi       = {10.1145/1089933.1089959},
  timestamp = {Wed, 15 Feb 2006 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tark/MizrahiM05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wdag/EngelhardtM05,
  author    = {Kai Engelhardt and
               Yoram Moses},
  title     = {Causing Communication Closure: Safe Program Composition with Non-FIFO
               Channels},
  booktitle = {Distributed Computing, 19th International Conference, {DISC} 2005,
               Cracow, Poland, September 26-29, 2005, Proceedings},
  pages     = {229--243},
  year      = {2005},
  crossref  = {DBLP:conf/wdag/2005},
  url       = {https://doi.org/10.1007/11561927_18},
  doi       = {10.1007/11561927_18},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/wdag/EngelhardtM05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/dc/HalpernM04,
  author    = {Joseph Y. Halpern and
               Yoram Moses},
  title     = {Using counterfactuals in knowledge-based programming},
  journal   = {Distributed Computing},
  volume    = {17},
  number    = {2},
  pages     = {91--106},
  year      = {2004},
  url       = {https://doi.org/10.1007/s00446-004-0108-1},
  doi       = {10.1007/s00446-004-0108-1},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/dc/HalpernM04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/vlc/MosesPTU04,
  author    = {Yoram Moses and
               Zvi Polunsky and
               Ayellet Tal and
               Leonid Ulitsky},
  title     = {Algorithm visualization for distributed environments},
  journal   = {J. Vis. Lang. Comput.},
  volume    = {15},
  number    = {1},
  pages     = {97--123},
  year      = {2004},
  url       = {https://doi.org/10.1016/j.jvlc.2003.07.001},
  doi       = {10.1016/j.jvlc.2003.07.001},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/vlc/MosesPTU04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/eccv/AvidanMM04,
  author    = {Shai Avidan and
               Yael Moses and
               Yoram Moses},
  title     = {Probabilistic Multi-view Correspondence in a Distributed Setting with
               No Central Server},
  booktitle = {Computer Vision - {ECCV} 2004, 8th European Conference on Computer
               Vision, Prague, Czech Republic, May 11-14, 2004. Proceedings, Part
               {IV}},
  pages     = {428--441},
  year      = {2004},
  crossref  = {DBLP:conf/eccv/2004-4},
  url       = {https://doi.org/10.1007/978-3-540-24673-2_35},
  doi       = {10.1007/978-3-540-24673-2_35},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/eccv/AvidanMM04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/cs-DC-0311028,
  author    = {Joseph Y. Halpern and
               Yoram Moses},
  title     = {Using Counterfactuals in Knowledge-Based Programming},
  journal   = {CoRR},
  volume    = {cs.DC/0311028},
  year      = {2003},
  url       = {http://arxiv.org/abs/cs.DC/0311028},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/cs-DC-0311028},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamcomp/MosesR02,
  author    = {Yoram Moses and
               Sergio Rajsbaum},
  title     = {A Layered Analysis of Consensus},
  journal   = {{SIAM} J. Comput.},
  volume    = {31},
  number    = {4},
  pages     = {989--1021},
  year      = {2002},
  url       = {https://doi.org/10.1137/S0097539799364006},
  doi       = {10.1137/S0097539799364006},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/siamcomp/MosesR02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamcomp/HalpernMW01,
  author    = {Joseph Y. Halpern and
               Yoram Moses and
               Orli Waarts},
  title     = {A Characterization of Eventual Byzantine Agreement},
  journal   = {{SIAM} J. Comput.},
  volume    = {31},
  number    = {3},
  pages     = {838--865},
  year      = {2001},
  url       = {https://doi.org/10.1137/S0097539798340217},
  doi       = {10.1137/S0097539798340217},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/siamcomp/HalpernMW01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lpar/EngelhardtMM01,
  author    = {Kai Engelhardt and
               Ron van der Meyden and
               Yoram Moses},
  title     = {A Refinement Theory that Supports Reasoning About Knowledge and Time},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 8th
               International Conference, {LPAR} 2001, Havana, Cuba, December 3-7,
               2001, Proceedings},
  pages     = {125--141},
  year      = {2001},
  crossref  = {DBLP:conf/lpar/2001},
  url       = {https://doi.org/10.1007/3-540-45653-8_9},
  doi       = {10.1007/3-540-45653-8_9},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lpar/EngelhardtMM01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/EngelhardtMM00,
  author    = {Kai Engelhardt and
               Ron van der Meyden and
               Yoram Moses},
  title     = {A Program Refinement Framework Supporting Reasoning about Knowledge
               and Time},
  booktitle = {Foundations of Software Science and Computation Structures, Third
               International Conference, {FOSSACS} 2000, Held as Part of the Joint
               European Conferences on Theory and Practice of Software,ETAPS 2000,
               Berlin, Germany, March 25 - April 2, 2000, Proceedings},
  pages     = {114--129},
  year      = {2000},
  crossref  = {DBLP:conf/fossacs/2000},
  url       = {https://doi.org/10.1007/3-540-46432-8_8},
  doi       = {10.1007/3-540-46432-8_8},
  timestamp = {Wed, 24 May 2017 15:40:43 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fossacs/EngelhardtMM00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Moses00,
  author    = {Yoram Moses},
  title     = {Issues in the Refinement of Distributed Programs},
  booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
               Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
  pages     = {12--17},
  year      = {2000},
  crossref  = {DBLP:conf/ftrtft/2000},
  url       = {https://doi.org/10.1007/3-540-45352-0_2},
  doi       = {10.1007/3-540-45352-0_2},
  timestamp = {Wed, 24 May 2017 15:40:45 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ftrtft/Moses00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/MeydenM00,
  author    = {Ron van der Meyden and
               Yoram Moses},
  title     = {On Refinement and Temporal Annotations},
  booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
               Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
  pages     = {185--201},
  year      = {2000},
  crossref  = {DBLP:conf/ftrtft/2000},
  url       = {https://doi.org/10.1007/3-540-45352-0_16},
  doi       = {10.1007/3-540-45352-0_16},
  timestamp = {Wed, 24 May 2017 15:40:45 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ftrtft/MeydenM00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/cs-DC-0006009,
  author    = {Joseph Y. Halpern and
               Yoram Moses},
  title     = {Knowledge and common knowledge in a distributed environment},
  journal   = {CoRR},
  volume    = {cs.DC/0006009},
  year      = {2000},
  url       = {http://arxiv.org/abs/cs.DC/0006009},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/cs-DC-0006009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/apal/FaginHMV99,
  author    = {Ronald Fagin and
               Joseph Y. Halpern and
               Yoram Moses and
               Moshe Y. Vardi},
  title     = {Common Knowledge Revisited},
  journal   = {Ann. Pure Appl. Logic},
  volume    = {96},
  number    = {1-3},
  pages     = {89--105},
  year      = {1999},
  url       = {https://doi.org/10.1016/S0168-0072(98)00033-5},
  doi       = {10.1016/S0168-0072(98)00033-5},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/apal/FaginHMV99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamcomp/GarayM98,
  author    = {Juan A. Garay and
               Yoram Moses},
  title     = {Fully Polynomial Byzantine Agreement for \emph{n} {\textgreater} 3t
               Processors in \emph{t} + 1 Rounds},
  journal   = {{SIAM} J. Comput.},
  volume    = {27},
  number    = {1},
  pages     = {247--290},
  year      = {1998},
  url       = {https://doi.org/10.1137/S0097539794265232},
  doi       = {10.1137/S0097539794265232},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/siamcomp/GarayM98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/infovis/MosesPTU98,
  author    = {Yoram Moses and
               Zvi Polunsky and
               Ayellet Tal and
               Leonid Ulitsky},
  title     = {Algorithm Visualization For Distributed Environments},
  booktitle = {1998 {IEEE} Symposium on Information Visualization (InfoVis '98),
               19-20 October 1998, Research Triangle Park, NC, USA, Proceedings},
  pages     = {71--78},
  year      = {1998},
  crossref  = {DBLP:conf/infovis/1998},
  url       = {https://doi.org/10.1109/INFVIS.1998.729561},
  doi       = {10.1109/INFVIS.1998.729561},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/infovis/MosesPTU98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/podc/MosesR98,
  author    = {Yoram Moses and
               Sergio Rajsbaum},
  title     = {The Unified Structure of Consensus: {A} \emph{Layered Analysis} Approach},
  booktitle = {Proceedings of the Seventeenth Annual {ACM} Symposium on Principles
               of Distributed Computing, {PODC} '98, Puerto Vallarta, Mexico, June
               28 - July 2, 1998},
  pages     = {123--132},
  year      = {1998},
  crossref  = {DBLP:conf/podc/1998},
  url       = {http://doi.acm.org/10.1145/277697.277720},
  doi       = {10.1145/277697.277720},
  timestamp = {Wed, 23 May 2012 14:26:11 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/podc/MosesR98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tark/EngelhardtMM98,
  author    = {Kai Engelhardt and
               Ron van der Meyden and
               Yoram Moses},
  title     = {Knowledge and the Logic of Local Propositions},
  booktitle = {Proceedings of the 7th Conference on Theoretical Aspects of Rationality
               and Knowledge (TARK-98), Evanston, IL, USA, July 22-24, 1998},
  pages     = {29--41},
  year      = {1998},
  crossref  = {DBLP:conf/tark/1998},
  timestamp = {Thu, 07 Mar 2002 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tark/EngelhardtMM98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tark/HalpernM98,
  author    = {Joseph Y. Halpern and
               Yoram Moses},
  title     = {Using Counterfactuals in Knowledge-Based Programming},
  booktitle = {Proceedings of the 7th Conference on Theoretical Aspects of Rationality
               and Knowledge (TARK-98), Evanston, IL, USA, July 22-24, 1998},
  pages     = {97--110},
  year      = {1998},
  crossref  = {DBLP:conf/tark/1998},
  timestamp = {Tue, 05 Mar 2002 12:27:02 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tark/HalpernM98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wdag/MeydenM98,
  author    = {Ron van der Meyden and
               Yoram Moses},
  title     = {Top-Down Considerations on Distributed Computing},
  booktitle = {Distributed Computing, 12th International Symposium, {DISC} '98, Andros,
               Greece, September 24-26, 1998, Proceedings},
  pages     = {16--19},
  year      = {1998},
  crossref  = {DBLP:conf/wdag/1998},
  url       = {https://doi.org/10.1007/BFb0056469},
  doi       = {10.1007/BFb0056469},
  timestamp = {Tue, 23 May 2017 11:53:58 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/wdag/MeydenM98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-9809003,
  author    = {Ronald Fagin and
               Joseph Y. Halpern and
               Yoram Moses and
               Moshe Y. Vardi},
  title     = {Common knowledge revisited},
  journal   = {CoRR},
  volume    = {cs.LO/9809003},
  year      = {1998},
  url       = {http://arxiv.org/abs/cs.LO/9809003},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/cs-LO-9809003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/dc/FaginHMV97,
  author    = {Ronald Fagin and
               Joseph Y. Halpern and
               Yoram Moses and
               Moshe Y. Vardi},
  title     = {Knowledge-Based Programs},
  journal   = {Distributed Computing},
  volume    = {10},
  number    = {4},
  pages     = {199--225},
  year      = {1997},
  url       = {https://doi.org/10.1007/s004460050038},
  doi       = {10.1007/s004460050038},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/dc/FaginHMV97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jacm/BrafmanLMS97,
  author    = {Ronen I. Brafman and
               Jean{-}Claude Latombe and
               Yoram Moses and
               Yoav Shoham},
  title     = {Applications of a logic of knowledge to motion planning under uncertainty},
  journal   = {J. {ACM}},
  volume    = {44},
  number    = {5},
  pages     = {633--668},
  year      = {1997},
  url       = {http://doi.acm.org/10.1145/265910.265912},
  doi       = {10.1145/265910.265912},
  timestamp = {Thu, 20 Nov 2003 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jacm/BrafmanLMS97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/mima/FaginHMV97,
  author    = {Ronald Fagin and
               Joseph Y. Halpern and
               Yoram Moses and
               Moshe Y. Vardi},
  title     = {Reasoning about Knowledge: {A} Response by the Authors},
  journal   = {Minds and Machines},
  volume    = {7},
  number    = {1},
  pages     = {113},
  year      = {1997},
  url       = {https://doi.org/10.1023/A:1008278827378},
  doi       = {10.1023/A:1008278827378},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/mima/FaginHMV97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ai/MosesT96,
  author    = {Yoram Moses and
               Moshe Tennenholtz},
  title     = {Off-Line Reasoning for On-Line Efficiency: Knowledge Bases},
  journal   = {Artif. Intell.},
  volume    = {83},
  number    = {2},
  pages     = {229--239},
  year      = {1996},
  url       = {https://doi.org/10.1016/0004-3702(95)00015-1},
  doi       = {10.1016/0004-3702(95)00015-1},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ai/MosesT96},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tark/FaginHMV96,
  author    = {Ronald Fagin and
               Joseph Y. Halpern and
               Yoram Moses and
               Moshe Y. Vardi},
  title     = {Common Knowledge Revisited},
  booktitle = {Proceedings of the Sixth Conference on Theoretical Aspects of Rationality
               and Knowledge, De Zeeuwse Stromen, The Netherlands, March 17-20 1996},
  pages     = {283--298},
  year      = {1996},
  crossref  = {DBLP:conf/tark/1996},
  timestamp = {Thu, 23 Jun 2016 15:53:28 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tark/FaginHMV96},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/podc/1996,
  editor    = {James E. Burns and
               Yoram Moses},
  title     = {Proceedings of the Fifteenth Annual {ACM} Symposium on Principles
               of Distributed Computing, Philadelphia, Pennsylvania, USA, May 23-26,
               1996},
  publisher = {{ACM}},
  year      = {1996},
  url       = {http://dl.acm.org/citation.cfm?id=248052},
  isbn      = {0-89791-800-2},
  timestamp = {Wed, 23 May 2012 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/podc/1996},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/cai/MosesT95,
  author    = {Yoram Moses and
               Moshe Tennenholtz},
  title     = {Artificial Social Systems},
  journal   = {Computers and Artificial Intelligence},
  volume    = {14},
  number    = {6},
  year      = {1995},
  timestamp = {Mon, 07 May 2007 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/cai/MosesT95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/podc/FaginHMV95,
  author    = {Ronald Fagin and
               Joseph Y. Halpern and
               Yoram Moses and
               Moshe Y. Vardi},
  title     = {Knowledge-Based Programs},
  booktitle = {Proceedings of the Fourteenth Annual {ACM} Symposium on Principles
               of Distributed Computing, Ottawa, Ontario, Canada, August 20-23, 1995},
  pages     = {153--163},
  year      = {1995},
  crossref  = {DBLP:conf/podc/1995},
  url       = {http://doi.acm.org/10.1145/224964.224982},
  doi       = {10.1145/224964.224982},
  timestamp = {Wed, 23 May 2012 14:26:10 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/podc/FaginHMV95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jal/MosesW94,
  author    = {Yoram Moses and
               Orli Waarts},
  title     = {Coordinated Traversal: (t + 1)- Round Byzantine Agreement in Polynomial
               Time},
  journal   = {J. Algorithms},
  volume    = {17},
  number    = {1},
  pages     = {110--156},
  year      = {1994},
  url       = {https://doi.org/10.1006/jagm.1994.1029},
  doi       = {10.1006/jagm.1994.1029},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jal/MosesW94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FaginHMV94,
  author    = {Ronald Fagin and
               Joseph Y. Halpern and
               Yoram Moses and
               Moshe Y. Vardi},
  title     = {An Operational Semantics for Knowledge Bases},
  booktitle = {Proceedings of the 12th National Conference on Artificial Intelligence,
               Seattle, WA, USA, July 31 - August 4, 1994, Volume 2.},
  pages     = {1142--1147},
  year      = {1994},
  crossref  = {DBLP:conf/aaai/1994-2},
  url       = {http://www.aaai.org/Library/AAAI/1994/aaai94-176.php},
  timestamp = {Mon, 15 Jun 2015 19:00:08 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aaai/FaginHMV94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/podc/MosesB94,
  author    = {Yoram Moses and
               Ben Bloom},
  title     = {Knowledge, Timed Precedence and Clocks (Preliminary Report)},
  booktitle = {Proceedings of the Thirteenth Annual {ACM} Symposium on Principles
               of Distributed Computing, Los Angeles, California, USA, August 14-17,
               1994},
  pages     = {294--303},
  year      = {1994},
  crossref  = {DBLP:conf/podc/1994},
  url       = {http://doi.acm.org/10.1145/197917.198113},
  doi       = {10.1145/197917.198113},
  timestamp = {Wed, 23 May 2012 14:26:09 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/podc/MosesB94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tark/BrafmanLMS94,
  author    = {Ronen I. Brafman and
               Jean{-}Claude Latombe and
               Yoram Moses and
               Yoav Shoham},
  title     = {Knowledge as a Tool in Motion Planning and Uncertainty},
  booktitle = {Proceedings of the 5th Conference on Theoretical Aspects of Reasoning
               about Knowledge, Pacific Grove, CA, USA, March 1994},
  pages     = {208--224},
  year      = {1994},
  crossref  = {DBLP:conf/tark/1994},
  timestamp = {Tue, 05 Mar 2002 09:23:12 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tark/BrafmanLMS94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tark/HalpernMV94,
  author    = {Joseph Y. Halpern and
               Yoram Moses and
               Moshe Y. Vardi},
  title     = {Algorithmic Knowledge},
  booktitle = {Proceedings of the 5th Conference on Theoretical Aspects of Reasoning
               about Knowledge, Pacific Grove, CA, USA, March 1994},
  pages     = {255--266},
  year      = {1994},
  crossref  = {DBLP:conf/tark/1994},
  timestamp = {Tue, 05 Mar 2002 09:23:12 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tark/HalpernMV94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ai/MosesS93,
  author    = {Yoram Moses and
               Yoav Shoham},
  title     = {Belief as Defeasible Knowledge},
  journal   = {Artif. Intell.},
  volume    = {64},
  number    = {2},
  pages     = {299--321},
  year      = {1993},
  url       = {https://doi.org/10.1016/0004-3702(93)90107-M},
  doi       = {10.1016/0004-3702(93)90107-M},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ai/MosesS93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MosesT93,
  author    = {Yoram Moses and
               Moshe Tennenholtz},
  title     = {Off-line Reasoning for On-line Efficiency},
  booktitle = {Proceedings of the 13th International Joint Conference on Artificial
               Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
               1993},
  pages     = {490--495},
  year      = {1993},
  crossref  = {DBLP:conf/ijcai/1993},
  url       = {http://ijcai.org/Proceedings/93-1/Papers/069.pdf},
  timestamp = {Tue, 19 Jul 2016 14:12:43 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/MosesT93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/mi/MosesT93,
  author    = {Yoram Moses and
               Moshe Tennenholtz},
  title     = {Multi-entity Models},
  booktitle = {Machine Intelligence 14, Proceedings of the Fourteenth Machine Intelligence
               Workshop, held at Hitachi Advanced Research Laboratories, Tokyo, Japan,
               November 1993},
  pages     = {65--90},
  year      = {1993},
  crossref  = {DBLP:conf/mi/1993},
  timestamp = {Fri, 14 Jun 2002 15:08:33 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/mi/MosesT93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/podc/MosesK92,
  author    = {Yoram Moses and
               Orit Kislev},
  title     = {Knowledge-Oriented Programming (Extended Abstract)},
  booktitle = {Proceedings of the Twelth Annual {ACM} Symposium on Principles of
               Distributed Computing, Ithaca, New York, USA, August 15-18, 1993},
  pages     = {261--270},
  year      = {1993},
  crossref  = {DBLP:conf/podc/1993},
  url       = {http://doi.acm.org/10.1145/164051.164080},
  doi       = {10.1145/164051.164080},
  timestamp = {Wed, 23 May 2012 14:26:11 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/podc/MosesK92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stoc/GarayM93,
  author    = {Juan A. Garay and
               Yoram Moses},
  title     = {Fully polynomial Byzantine agreement in t+1 rounds},
  booktitle = {Proceedings of the Twenty-Fifth Annual {ACM} Symposium on Theory of
               Computing, May 16-18, 1993, San Diego, CA, {USA}},
  pages     = {31--41},
  year      = {1993},
  crossref  = {DBLP:conf/stoc/STOC25},
  url       = {http://doi.acm.org/10.1145/167088.167101},
  doi       = {10.1145/167088.167101},
  timestamp = {Thu, 16 Feb 2012 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/stoc/GarayM93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ai/HalpernM92,
  author    = {Joseph Y. Halpern and
               Yoram Moses},
  title     = {A Guide to Completeness and Complexity for Modal Logics of Knowledge
               and Belief},
  journal   = {Artif. Intell.},
  volume    = {54},
  number    = {2},
  pages     = {319--379},
  year      = {1992},
  url       = {https://doi.org/10.1016/0004-3702(92)90049-4},
  doi       = {10.1016/0004-3702(92)90049-4},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ai/HalpernM92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tark/Moses92,
  author    = {Yoram Moses},
  title     = {Knowledge and Communication},
  booktitle = {Proceedings of the 4th Conference on Theoretical Aspects of Reasoning
               about Knowledge, Monterey, CA, March 1992},
  pages     = {1--14},
  year      = {1992},
  crossref  = {DBLP:conf/tark/1992},
  timestamp = {Tue, 05 Mar 2002 09:43:48 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tark/Moses92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tark/1992,
  editor    = {Yoram Moses},
  title     = {Proceedings of the 4th Conference on Theoretical Aspects of Reasoning
               about Knowledge, Monterey, CA, March 1992},
  publisher = {Morgan Kaufmann},
  year      = {1992},
  isbn      = {1-55860-243-7},
  timestamp = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tark/1992},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iandc/DworkM90,
  author    = {Cynthia Dwork and
               Yoram Moses},
  title     = {Knowledge and Common Knowledge in a Byzantine Environment: Crash Failures},
  journal   = {Inf. Comput.},
  volume    = {88},
  number    = {2},
  pages     = {156--186},
  year      = {1990},
  url       = {https://doi.org/10.1016/0890-5401(90)90014-9},
  doi       = {10.1016/0890-5401(90)90014-9},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/iandc/DworkM90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jacm/HalpernM90,
  author    = {Joseph Y. Halpern and
               Yoram Moses},
  title     = {Knowledge and Common Knowledge in a Distributed Environment},
  journal   = {J. {ACM}},
  volume    = {37},
  number    = {3},
  pages     = {549--587},
  year      = {1990},
  url       = {http://doi.acm.org/10.1145/79147.79161},
  doi       = {10.1145/79147.79161},
  timestamp = {Thu, 20 Nov 2003 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jacm/HalpernM90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/podc/KleinmanMS90,
  author    = {Alon Kleinman and
               Yoram Moses and
               Ehud Y. Shapiro},
  title     = {Distributed Variable Server for Atomic Unification},
  booktitle = {Proceedings of the Ninth Annual {ACM} Symposium on Principles of Distributed
               Computing, Quebec City, Quebec, Canada, August 22-24, 1990},
  pages     = {59--74},
  year      = {1990},
  crossref  = {DBLP:conf/podc/1990},
  url       = {http://doi.acm.org/10.1145/93385.93401},
  doi       = {10.1145/93385.93401},
  timestamp = {Wed, 23 May 2012 14:26:09 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/podc/KleinmanMS90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/podc/HalpernMW90,
  author    = {Joseph Y. Halpern and
               Yoram Moses and
               Orli Waarts},
  title     = {A Characterization of Eventual Byzantine Agreement},
  booktitle = {Proceedings of the Ninth Annual {ACM} Symposium on Principles of Distributed
               Computing, Quebec City, Quebec, Canada, August 22-24, 1990},
  pages     = {333--346},
  year      = {1990},
  crossref  = {DBLP:conf/podc/1990},
  url       = {http://doi.acm.org/10.1145/93385.93437},
  doi       = {10.1145/93385.93437},
  timestamp = {Wed, 23 May 2012 14:26:09 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/podc/HalpernMW90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tark/MosesN90,
  author    = {Yoram Moses and
               Gal Nachum},
  title     = {Agreeing to Disagree After All},
  booktitle = {Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning
               about Knowledge, Pacific Grove, CA, March 1990},
  pages     = {151--168},
  year      = {1990},
  crossref  = {DBLP:conf/tark/1990},
  timestamp = {Thu, 07 Mar 2002 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tark/MosesN90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/TennenholtzM89,
  author    = {Moshe Tennenholtz and
               Yoram Moses},
  title     = {On Cooperation in a Multi-Entity Model},
  booktitle = {Proceedings of the 11th International Joint Conference on Artificial
               Intelligence. Detroit, MI, USA, August 1989},
  pages     = {918--923},
  year      = {1989},
  crossref  = {DBLP:conf/ijcai/1989},
  url       = {http://ijcai.org/Proceedings/89-2/Papers/011.pdf},
  timestamp = {Tue, 19 Jul 2016 13:32:40 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/TennenholtzM89},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ShohamM89,
  author    = {Yoav Shoham and
               Yoram Moses},
  title     = {Belief as Defeasible Knowledge},
  booktitle = {Proceedings of the 11th International Joint Conference on Artificial
               Intelligence. Detroit, MI, USA, August 1989},
  pages     = {1168--1173},
  year      = {1989},
  crossref  = {DBLP:conf/ijcai/1989},
  url       = {http://ijcai.org/Proceedings/89-2/Papers/051.pdf},
  timestamp = {Tue, 19 Jul 2016 13:32:40 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/ShohamM89},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/podc/MosesR89,
  author    = {Yoram Moses and
               Gil Roth},
  title     = {On Reliable Message Diffusion},
  booktitle = {Proceedings of the Eighth Annual {ACM} Symposium on Principles of
               Distributed Computing, Edmonton, Alberta, Canada, August 14-16, 1989},
  pages     = {119--127},
  year      = {1989},
  crossref  = {DBLP:conf/podc/1989},
  url       = {http://doi.acm.org/10.1145/72981.72989},
  doi       = {10.1145/72981.72989},
  timestamp = {Wed, 23 May 2012 14:26:11 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/podc/MosesR89},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/algorithmica/MosesT88,
  author    = {Yoram Moses and
               Mark R. Tuttle},
  title     = {Programming Simultaneous Actions Using Common Knowledge},
  journal   = {Algorithmica},
  volume    = {3},
  pages     = {121--169},
  year      = {1988},
  url       = {https://doi.org/10.1007/BF01762112},
  doi       = {10.1007/BF01762112},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/algorithmica/MosesT88},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/MosesW88,
  author    = {Yoram Moses and
               Orli Waarts},
  title     = {Coordinated Traversal: (t + 1)-Round Byzantine Agreement in Polynomial
               Time},
  booktitle = {29th Annual Symposium on Foundations of Computer Science, White Plains,
               New York, USA, 24-26 October 1988},
  pages     = {246--255},
  year      = {1988},
  crossref  = {DBLP:conf/focs/FOCS29},
  url       = {https://doi.org/10.1109/SFCS.1988.21941},
  doi       = {10.1109/SFCS.1988.21941},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/focs/MosesW88},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stoc/HalpernMT88,
  author    = {Joseph Y. Halpern and
               Yoram Moses and
               Mark R. Tuttle},
  title     = {A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report)},
  booktitle = {Proceedings of the 20th Annual {ACM} Symposium on Theory of Computing,
               May 2-4, 1988, Chicago, Illinois, {USA}},
  pages     = {132--147},
  year      = {1988},
  crossref  = {DBLP:conf/stoc/STOC20},
  url       = {http://doi.acm.org/10.1145/62212.62224},
  doi       = {10.1145/62212.62224},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/stoc/HalpernMT88},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tark/Moses88,
  author    = {Yoram Moses},
  title     = {Resource-bounded Knowledge},
  booktitle = {Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning
               about Knowledge, Pacific Grove, CA, March 1988},
  pages     = {261--275},
  year      = {1988},
  crossref  = {DBLP:conf/tark/1988},
  timestamp = {Thu, 07 Mar 2002 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tark/Moses88},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/dc/MosesDH86,
  author    = {Yoram Moses and
               Danny Dolev and
               Joseph Y. Halpern},
  title     = {Cheating Husbands and other Stories: {A} Case Study of Knowledge,
               Action, and Communication},
  journal   = {Distributed Computing},
  volume    = {1},
  number    = {3},
  pages     = {167--176},
  year      = {1986},
  url       = {https://doi.org/10.1007/BF01661170},
  doi       = {10.1007/BF01661170},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/dc/MosesDH86},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jphil/HalpernM86,
  author    = {Joseph Y. Halpern and
               Yoram Moses},
  title     = {Taken by surprise: The paradox of the surprise test revisited},
  journal   = {J. Philosophical Logic},
  volume    = {15},
  number    = {3},
  pages     = {281--304},
  year      = {1986},
  url       = {https://doi.org/10.1007/BF00248573},
  doi       = {10.1007/BF00248573},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jphil/HalpernM86},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/MosesT86,
  author    = {Yoram Moses and
               Mark R. Tuttle},
  title     = {Programming Simultaneous Actions Using Common Knowledge: Preliminary
               Version},
  booktitle = {27th Annual Symposium on Foundations of Computer Science, Toronto,
               Canada, 27-29 October 1986},
  pages     = {208--221},
  year      = {1986},
  crossref  = {DBLP:conf/focs/FOCS27},
  url       = {https://doi.org/10.1109/SFCS.1986.46},
  doi       = {10.1109/SFCS.1986.46},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/focs/MosesT86},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tark/DworkM86,
  author    = {Cynthia Dwork and
               Yoram Moses},
  title     = {Knowledge and Common Knowledge in a Byzantine Environment {I:} Crash
               Failures},
  booktitle = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
               about Knowledge, Monterey, CA, March 1986},
  pages     = {149--169},
  year      = {1986},
  crossref  = {DBLP:conf/tark/1986},
  timestamp = {Tue, 05 Mar 2002 15:50:56 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tark/DworkM86},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HalpernM85,
  author    = {Joseph Y. Halpern and
               Yoram Moses},
  title     = {A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft},
  booktitle = {Proceedings of the 9th International Joint Conference on Artificial
               Intelligence. Los Angeles, CA, USA, August 1985},
  pages     = {480--490},
  year      = {1985},
  crossref  = {DBLP:conf/ijcai/1985},
  url       = {http://ijcai.org/Proceedings/85-1/Papers/094.pdf},
  timestamp = {Tue, 19 Jul 2016 15:25:57 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/HalpernM85},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/podc/MosesDH85,
  author    = {Yoram Moses and
               Danny Dolev and
               Joseph Y. Halpern},
  title     = {Cheating Husbands and Other Stories: {A} Case Study of Knowledge,
               Action, and Communication (Preliminary Version)},
  booktitle = {Proceedings of the Fourth Annual {ACM} Symposium on Principles of
               Distributed Computing, Minaki, Ontario, Canada, August 5-7, 1985},
  pages     = {215--223},
  year      = {1985},
  crossref  = {DBLP:conf/podc/1985},
  url       = {http://doi.acm.org/10.1145/323596.323616},
  doi       = {10.1145/323596.323616},
  timestamp = {Wed, 23 May 2012 14:26:10 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/podc/MosesDH85},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/nmr/HalpernM84,
  author    = {Joseph Y. Halpern and
               Yoram Moses},
  title     = {Towards a Theory of Knowledge and Ignorance: Preliminary Report},
  booktitle = {Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain
               House, New Paltz, {NY} 12561, October 17-19, 1984},
  pages     = {125--143},
  year      = {1984},
  crossref  = {DBLP:conf/nmr/1984},
  timestamp = {Mon, 20 Mar 2017 13:59:32 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/nmr/HalpernM84},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/podc/HalpernM84,
  author    = {Joseph Y. Halpern and
               Yoram Moses},
  title     = {Knowledge and Common Knowledge in a Distributed Environment},
  booktitle = {Proceedings of the Third Annual {ACM} Symposium on Principles of Distributed
               Computing, Vancouver, B. C., Canada, August 27-29, 1984},
  pages     = {50--61},
  year      = {1984},
  crossref  = {DBLP:conf/podc/1984},
  url       = {http://doi.acm.org/10.1145/800222.806735},
  doi       = {10.1145/800222.806735},
  timestamp = {Fri, 10 Aug 2012 19:01:46 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/podc/HalpernM84},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/netys/2017,
  editor    = {Amr El Abbadi and
               Beno{\^{\i}}t Garbinato},
  title     = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
               Morocco, May 17-19, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10299},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-59647-1},
  doi       = {10.1007/978-3-319-59647-1},
  isbn      = {978-3-319-59646-4},
  timestamp = {Mon, 15 May 2017 13:49:43 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/netys/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/infocom/2016,
  title     = {35th Annual {IEEE} International Conference on Computer Communications,
               {INFOCOM} 2016, San Francisco, CA, USA, April 10-14, 2016},
  publisher = {{IEEE}},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7515093},
  isbn      = {978-1-4673-9953-1},
  timestamp = {Tue, 02 Aug 2016 16:11:49 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/infocom/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/infocom/2016w,
  title     = {{IEEE} Conference on Computer Communications Workshops, {INFOCOM}
               Workshops 2016, San Francisco, CA, USA, April 10-14, 2016},
  publisher = {{IEEE}},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7556623},
  isbn      = {978-1-4673-9955-5},
  timestamp = {Wed, 14 Sep 2016 10:16:43 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/infocom/2016w},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/noms/2016,
  editor    = {Sema Oktug and
               Mehmet Ulema and
               Cicek Cavdar and
               Lisandro Zambenedetti Granville and
               Carlos Raniery Paula dos Santos},
  title     = {2016 {IEEE/IFIP} Network Operations and Management Symposium, {NOMS}
               2016, Istanbul, Turkey, April 25-29, 2016},
  publisher = {{IEEE}},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7499631},
  isbn      = {978-1-5090-0223-8},
  timestamp = {Fri, 08 Jul 2016 13:56:14 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/noms/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/podc/2016,
  editor    = {George Giakkoupis},
  title     = {Proceedings of the 2016 {ACM} Symposium on Principles of Distributed
               Computing, {PODC} 2016, Chicago, IL, USA, July 25-28, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/2933057},
  doi       = {10.1145/2933057},
  isbn      = {978-1-4503-3964-3},
  timestamp = {Mon, 08 Aug 2016 15:46:34 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/podc/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/async/2015,
  title     = {21st {IEEE} International Symposium on Asynchronous Circuits and Systems,
               {ASYNC} 2015, Mountain View, CA, USA, May 4-6, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7152444},
  isbn      = {978-1-4799-8716-0},
  timestamp = {Wed, 27 Apr 2016 17:41:15 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/async/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/infocom/2015,
  title     = {2015 {IEEE} Conference on Computer Communications, {INFOCOM} 2015,
               Kowloon, Hong Kong, April 26 - May 1, 2015},
  publisher = {{IEEE}},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7172813},
  isbn      = {978-1-4799-8381-0},
  timestamp = {Tue, 01 Sep 2015 14:36:43 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/infocom/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sirocco/2015,
  editor    = {Christian Scheideler},
  title     = {Structural Information and Communication Complexity - 22nd International
               Colloquium, {SIROCCO} 2015, Montserrat, Spain, July 14-16, 2015, Post-Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9439},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-25258-2},
  doi       = {10.1007/978-3-319-25258-2},
  isbn      = {978-3-319-25257-5},
  timestamp = {Sun, 21 May 2017 00:21:14 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sirocco/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sosr/2015,
  editor    = {Jennifer Rexford and
               Amin Vahdat},
  title     = {Proceedings of the 1st {ACM} {SIGCOMM} Symposium on Software Defined
               Networking Research, {SOSR} '15, Santa Clara, California, USA, June
               17-18, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://doi.acm.org/10.1145/2774993},
  doi       = {10.1145/2774993},
  isbn      = {978-1-4503-3451-8},
  timestamp = {Wed, 27 Jan 2016 19:34:45 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sosr/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/Ramanujam16,
  editor    = {R. Ramanujam},
  title     = {Proceedings Fifteenth Conference on Theoretical Aspects of Rationality
               and Knowledge, {TARK} 2015, Carnegie Mellon University, Pittsburgh,
               USA, June 4-6, 2015},
  series    = {{EPTCS}},
  volume    = {215},
  year      = {2016},
  url       = {https://doi.org/10.4204/EPTCS.215},
  doi       = {10.4204/EPTCS.215},
  timestamp = {Wed, 03 May 2017 14:47:58 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/Ramanujam16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ons/2014,
  editor    = {Rob Sherwood},
  title     = {Open Networking Summit 2014 - Research Track, {ONS} 2014, Santa Clara,
               CA, USA, March 2-4, 2014},
  publisher = {{USENIX} Association},
  year      = {2014},
  url       = {https://www.usenix.org/publications/proceedings/?f[0]=im_group_audience%3A440},
  timestamp = {Mon, 26 May 2014 17:29:47 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ons/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sigcomm/2014hotsdn,
  editor    = {Aditya Akella and
               Albert G. Greenberg},
  title     = {Proceedings of the third workshop on Hot topics in software defined
               networking, HotSDN '14, Chicago, Illinois, USA, August 22, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://doi.acm.org/10.1145/2620728},
  doi       = {10.1145/2620728},
  isbn      = {978-1-4503-2989-7},
  timestamp = {Thu, 23 Apr 2015 15:29:29 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sigcomm/2014hotsdn},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wdag/2014,
  editor    = {Fabian Kuhn},
  title     = {Distributed Computing - 28th International Symposium, {DISC} 2014,
               Austin, TX, USA, October 12-15, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8784},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-45174-8},
  doi       = {10.1007/978-3-662-45174-8},
  isbn      = {978-3-662-45173-1},
  timestamp = {Fri, 19 May 2017 01:25:17 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/wdag/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icla/2013,
  editor    = {Kamal Lodaya},
  title     = {Logic and Its Applications, 5th Indian Conference, {ICLA} 2013, Chennai,
               India, January 10-12, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7750},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-36039-8},
  doi       = {10.1007/978-3-642-36039-8},
  isbn      = {978-3-642-36038-1},
  timestamp = {Sun, 21 May 2017 00:18:38 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icla/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/podc/2013,
  editor    = {Panagiota Fatourou and
               Gadi Taubenfeld},
  title     = {{ACM} Symposium on Principles of Distributed Computing, {PODC} '13,
               Montreal, QC, Canada, July 22-24, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2484239},
  isbn      = {978-1-4503-2065-8},
  timestamp = {Wed, 17 Jul 2013 08:53:08 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/podc/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sigcomm/2013hotsdn,
  editor    = {Nate Foster and
               Rob Sherwood},
  title     = {Proceedings of the Second {ACM} {SIGCOMM} Workshop on Hot Topics in
               Software Defined Networking, HotSDN 2013, The Chinese University of
               Hong Kong, Hong Kong, China, Friday, August 16, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2491185},
  isbn      = {978-1-4503-2178-5},
  timestamp = {Mon, 09 Sep 2013 20:01:29 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sigcomm/2013hotsdn},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tark/2013,
  editor    = {Burkhard C. Schipper},
  title     = {Proceedings of the 14th Conference on Theoretical Aspects of Rationality
               and Knowledge {(TARK} 2013), Chennai, India, January 7-9, 2013},
  year      = {2013},
  url       = {http://www.tark.org/proceedings/tark_jan7_13/index.html},
  isbn      = {978-0-615-74716-3},
  timestamp = {Wed, 30 Mar 2016 18:10:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tark/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icdcit/2012,
  editor    = {Ramaswamy Ramanujam and
               Srini Ramaswamy},
  title     = {Distributed Computing and Internet Technology - 8th International
               Conference, {ICDCIT} 2012, Bhubaneswar, India, February 2-4, 2012.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7154},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-28073-3},
  doi       = {10.1007/978-3-642-28073-3},
  isbn      = {978-3-642-28072-6},
  timestamp = {Thu, 25 May 2017 00:42:43 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icdcit/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/podc/2011,
  editor    = {Cyril Gavoille and
               Pierre Fraigniaud},
  title     = {Proceedings of the 30th Annual {ACM} Symposium on Principles of Distributed
               Computing, {PODC} 2011, San Jose, CA, USA, June 6-8, 2011},
  publisher = {{ACM}},
  year      = {2011},
  url       = {http://dl.acm.org/citation.cfm?id=1993806},
  isbn      = {978-1-4503-0719-2},
  timestamp = {Wed, 23 May 2012 14:26:10 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/podc/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tark/2011,
  editor    = {Krzysztof R. Apt},
  title     = {Proceedings of the 13th Conference on Theoretical Aspects of Rationality
               and Knowledge (TARK-2011), Groningen, The Netherlands, July 12-14,
               2011},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0707-9},
  timestamp = {Wed, 13 Jul 2011 12:55:14 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tark/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wdag/2010,
  editor    = {Nancy A. Lynch and
               Alexander A. Shvartsman},
  title     = {Distributed Computing, 24th International Symposium, {DISC} 2010,
               Cambridge, MA, USA, September 13-15, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6343},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15763-9},
  doi       = {10.1007/978-3-642-15763-9},
  isbn      = {978-3-642-15762-2},
  timestamp = {Fri, 19 May 2017 01:25:17 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/wdag/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sss/2009,
  editor    = {Rachid Guerraoui and
               Franck Petit},
  title     = {Stabilization, Safety, and Security of Distributed Systems, 11th International
               Symposium, {SSS} 2009, Lyon, France, November 3-6, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5873},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-05118-0},
  doi       = {10.1007/978-3-642-05118-0},
  isbn      = {978-3-642-05117-3},
  timestamp = {Thu, 25 May 2017 00:40:53 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sss/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wdag/2009,
  editor    = {Idit Keidar},
  title     = {Distributed Computing, 23rd International Symposium, {DISC} 2009,
               Elche, Spain, September 23-25, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5805},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04355-0},
  doi       = {10.1007/978-3-642-04355-0},
  isbn      = {978-3-642-04354-3},
  timestamp = {Fri, 19 May 2017 01:25:17 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/wdag/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icdcn/2008,
  editor    = {Shrisha Rao and
               Mainak Chatterjee and
               Prasad Jayanti and
               C. Siva Ram Murthy and
               Sanjoy Kumar Saha},
  title     = {Distributed Computing and Networking, 9th International Conference,
               {ICDCN} 2008, Kolkata, India, January 5-8, 2008},
  series    = {Lecture Notes in Computer Science},
  volume    = {4904},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-77444-0},
  doi       = {10.1007/978-3-540-77444-0},
  isbn      = {978-3-540-77443-3},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icdcn/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wdag/2008,
  editor    = {Gadi Taubenfeld},
  title     = {Distributed Computing, 22nd International Symposium, {DISC} 2008,
               Arcachon, France, September 22-24, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5218},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-87779-0},
  doi       = {10.1007/978-3-540-87779-0},
  isbn      = {978-3-540-87778-3},
  timestamp = {Tue, 13 Jun 2017 10:37:55 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/wdag/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@book{DBLP:reference/fai/3,
  editor    = {Frank van Harmelen and
               Vladimir Lifschitz and
               Bruce W. Porter},
  title     = {Handbook of Knowledge Representation},
  series    = {Foundations of Artificial Intelligence},
  volume    = {3},
  publisher = {Elsevier},
  year      = {2008},
  url       = {http://www.sciencedirect.com/science/bookseries/15746526/3},
  isbn      = {978-0-444-52211-5},
  timestamp = {Fri, 16 Oct 2015 09:55:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/reference/fai/3},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2007,
  editor    = {Manuela M. Veloso},
  title     = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
               on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
  year      = {2007},
  url       = {http://ijcai.org/proceedings/2007},
  timestamp = {Wed, 20 Jul 2016 13:58:40 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wdag/2007,
  editor    = {Andrzej Pelc},
  title     = {Distributed Computing, 21st International Symposium, {DISC} 2007,
               Lemesos, Cyprus, September 24-26, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4731},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-75142-7},
  doi       = {10.1007/978-3-540-75142-7},
  isbn      = {978-3-540-75141-0},
  timestamp = {Mon, 12 Jun 2017 16:41:06 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/wdag/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wdag/2006,
  editor    = {Shlomi Dolev},
  title     = {Distributed Computing, 20th International Symposium, {DISC} 2006,
               Stockholm, Sweden, September 18-20, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4167},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11864219},
  doi       = {10.1007/11864219},
  isbn      = {3-540-44624-9},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/wdag/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iwdc/2005,
  editor    = {Ajit Pal and
               Ajay D. Kshemkalyani and
               Rajeev Kumar and
               Arobinda Gupta},
  title     = {Distributed Computing - {IWDC} 2005, 7th International Workshop, Kharagpur,
               India, December 27-30, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3741},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11603771},
  doi       = {10.1007/11603771},
  isbn      = {3-540-30959-4},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iwdc/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tark/2005,
  editor    = {Ron van der Meyden},
  title     = {Proceedings of the 10th Conference on Theoretical Aspects of Rationality
               and Knowledge (TARK-2005), Singapore, June 10-12, 2005},
  publisher = {National University of Singapore},
  year      = {2005},
  isbn      = {981-05-3412-4},
  timestamp = {Thu, 06 Oct 2005 10:07:34 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tark/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wdag/2005,
  editor    = {Pierre Fraigniaud},
  title     = {Distributed Computing, 19th International Conference, {DISC} 2005,
               Cracow, Poland, September 26-29, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3724},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11561927},
  doi       = {10.1007/11561927},
  isbn      = {3-540-29163-6},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/wdag/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/eccv/2004-4,
  editor    = {Tom{\'{a}}s Pajdla and
               Jiri Matas},
  title     = {Computer Vision - {ECCV} 2004, 8th European Conference on Computer
               Vision, Prague, Czech Republic, May 11-14, 2004. Proceedings, Part
               {IV}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3024},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b97873},
  doi       = {10.1007/b97873},
  isbn      = {3-540-21981-1},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/eccv/2004-4},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lpar/2001,
  editor    = {Robert Nieuwenhuis and
               Andrei Voronkov},
  title     = {Logic for Programming, Artificial Intelligence, and Reasoning, 8th
               International Conference, {LPAR} 2001, Havana, Cuba, December 3-7,
               2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2250},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45653-8},
  doi       = {10.1007/3-540-45653-8},
  isbn      = {3-540-42957-3},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lpar/2001},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2000,
  editor    = {Jerzy Tiuryn},
  title     = {Foundations of Software Science and Computation Structures, Third
               International Conference, {FOSSACS} 2000, Held as Part of the Joint
               European Conferences on Theory and Practice of Software,ETAPS 2000,
               Berlin, Germany, March 25 - April 2, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1784},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-46432-8},
  doi       = {10.1007/3-540-46432-8},
  isbn      = {3-540-67257-5},
  timestamp = {Wed, 24 May 2017 15:40:43 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fossacs/2000},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ftrtft/2000,
  editor    = {Mathai Joseph},
  title     = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
               Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1926},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-45352-0},
  doi       = {10.1007/3-540-45352-0},
  isbn      = {3-540-41055-4},
  timestamp = {Wed, 24 May 2017 15:40:45 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ftrtft/2000},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/infovis/1998,
  title     = {1998 {IEEE} Symposium on Information Visualization (InfoVis '98),
               19-20 October 1998, Research Triangle Park, NC, USA, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {1998},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5905},
  isbn      = {0-8186-9093-3},
  timestamp = {Mon, 01 Dec 2014 19:24:58 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/infovis/1998},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/podc/1998,
  editor    = {Brian A. Coan and
               Yehuda Afek},
  title     = {Proceedings of the Seventeenth Annual {ACM} Symposium on Principles
               of Distributed Computing, {PODC} '98, Puerto Vallarta, Mexico, June
               28 - July 2, 1998},
  publisher = {{ACM}},
  year      = {1998},
  url       = {http://dl.acm.org/citation.cfm?id=277697},
  isbn      = {0-89791-977-7},
  timestamp = {Wed, 23 May 2012 14:26:11 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/podc/1998},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tark/1998,
  editor    = {Itzhak Gilboa},
  title     = {Proceedings of the 7th Conference on Theoretical Aspects of Rationality
               and Knowledge (TARK-98), Evanston, IL, USA, July 22-24, 1998},
  publisher = {Morgan Kaufmann},
  year      = {1998},
  isbn      = {1-55860-563-0},
  timestamp = {Tue, 05 Mar 2002 12:27:02 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tark/1998},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wdag/1998,
  editor    = {Shay Kutten},
  title     = {Distributed Computing, 12th International Symposium, {DISC} '98, Andros,
               Greece, September 24-26, 1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1499},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0056467},
  doi       = {10.1007/BFb0056467},
  isbn      = {3-540-65066-0},
  timestamp = {Tue, 23 May 2017 11:53:58 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/wdag/1998},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tark/1996,
  editor    = {Yoav Shoham},
  title     = {Proceedings of the Sixth Conference on Theoretical Aspects of Rationality
               and Knowledge, De Zeeuwse Stromen, The Netherlands, March 17-20 1996},
  publisher = {Morgan Kaufmann},
  year      = {1996},
  isbn      = {1-55860-417-0},
  timestamp = {Thu, 23 Jun 2016 15:53:28 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tark/1996},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/podc/1995,
  editor    = {James H. Anderson},
  title     = {Proceedings of the Fourteenth Annual {ACM} Symposium on Principles
               of Distributed Computing, Ottawa, Ontario, Canada, August 20-23, 1995},
  publisher = {{ACM}},
  year      = {1995},
  url       = {http://dl.acm.org/citation.cfm?id=224964},
  isbn      = {0-89791-710-3},
  timestamp = {Wed, 23 May 2012 14:26:10 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/podc/1995},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aaai/1994-2,
  editor    = {Barbara Hayes{-}Roth and
               Richard E. Korf},
  title     = {Proceedings of the 12th National Conference on Artificial Intelligence,
               Seattle, WA, USA, July 31 - August 4, 1994, Volume 2},
  publisher = {{AAAI} Press / The {MIT} Press},
  year      = {1994},
  url       = {http://www.aaai.org/Conferences/AAAI/aaai94.php},
  timestamp = {Mon, 15 Jun 2015 19:00:08 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aaai/1994-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/podc/1994,
  editor    = {James H. Anderson and
               David Peleg and
               Elizabeth Borowsky},
  title     = {Proceedings of the Thirteenth Annual {ACM} Symposium on Principles
               of Distributed Computing, Los Angeles, California, USA, August 14-17,
               1994},
  publisher = {{ACM}},
  year      = {1994},
  url       = {http://dl.acm.org/citation.cfm?id=197917},
  isbn      = {0-89791-654-9},
  timestamp = {Wed, 23 May 2012 14:26:09 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/podc/1994},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tark/1994,
  editor    = {Ronald Fagin},
  title     = {Proceedings of the 5th Conference on Theoretical Aspects of Reasoning
               about Knowledge, Pacific Grove, CA, USA, March 1994},
  publisher = {Morgan Kaufmann},
  year      = {1994},
  timestamp = {Tue, 05 Mar 2002 09:23:12 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tark/1994},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ijcai/1993,
  editor    = {Ruzena Bajcsy},
  title     = {Proceedings of the 13th International Joint Conference on Artificial
               Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
               1993},
  publisher = {Morgan Kaufmann},
  year      = {1993},
  url       = {http://ijcai.org/proceedings/1993-1},
  isbn      = {1-55860-300-X},
  timestamp = {Tue, 19 Jul 2016 14:12:43 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/1993},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/mi/1993,
  editor    = {Koichi Furukawa and
               Donald Michie and
               Stephen Muggleton},
  title     = {Machine Intelligence 14, Proceedings of the Fourteenth Machine Intelligence
               Workshop, held at Hitachi Advanced Research Laboratories, Tokyo, Japan,
               November 1993},
  publisher = {Oxford University Press},
  year      = {1995},
  timestamp = {Fri, 14 Jun 2002 15:08:33 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/mi/1993},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/podc/1993,
  editor    = {Jim Anderson and
               Sam Toueg},
  title     = {Proceedings of the Twelth Annual {ACM} Symposium on Principles of
               Distributed Computing, Ithaca, New York, USA, August 15-18, 1993},
  publisher = {{ACM}},
  year      = {1993},
  url       = {http://dl.acm.org/citation.cfm?id=164051},
  isbn      = {0-89791-613-1},
  timestamp = {Wed, 23 May 2012 14:26:11 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/podc/1993},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC25,
  editor    = {S. Rao Kosaraju and
               David S. Johnson and
               Alok Aggarwal},
  title     = {Proceedings of the Twenty-Fifth Annual {ACM} Symposium on Theory of
               Computing, May 16-18, 1993, San Diego, CA, {USA}},
  publisher = {{ACM}},
  year      = {1993},
  isbn      = {0-89791-591-7},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/stoc/STOC25},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tark/1992,
  editor    = {Yoram Moses},
  title     = {Proceedings of the 4th Conference on Theoretical Aspects of Reasoning
               about Knowledge, Monterey, CA, March 1992},
  publisher = {Morgan Kaufmann},
  year      = {1992},
  isbn      = {1-55860-243-7},
  timestamp = {Tue, 05 Mar 2002 09:43:48 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tark/1992},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/podc/1990,
  editor    = {Cynthia Dwork},
  title     = {Proceedings of the Ninth Annual {ACM} Symposium on Principles of Distributed
               Computing, Quebec City, Quebec, Canada, August 22-24, 1990},
  publisher = {{ACM}},
  year      = {1990},
  url       = {http://dl.acm.org/citation.cfm?id=93385},
  isbn      = {0-89791-404-X},
  timestamp = {Wed, 23 May 2012 14:26:09 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/podc/1990},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tark/1990,
  editor    = {Rohit Parikh},
  title     = {Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning
               about Knowledge, Pacific Grove, CA, March 1990},
  publisher = {Morgan Kaufmann},
  year      = {1990},
  isbn      = {1-55860-105-8},
  timestamp = {Tue, 05 Mar 2002 10:10:27 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tark/1990},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ijcai/1989,
  editor    = {N. S. Sridharan},
  title     = {Proceedings of the 11th International Joint Conference on Artificial
               Intelligence. Detroit, MI, USA, August 1989},
  publisher = {Morgan Kaufmann},
  year      = {1989},
  url       = {http://ijcai.org/proceedings/1989-1},
  isbn      = {1-55860-094-9},
  timestamp = {Tue, 19 Jul 2016 13:32:40 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/1989},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/podc/1989,
  editor    = {Piotr Rudnicki},
  title     = {Proceedings of the Eighth Annual {ACM} Symposium on Principles of
               Distributed Computing, Edmonton, Alberta, Canada, August 14-16, 1989},
  publisher = {{ACM}},
  year      = {1989},
  url       = {http://dl.acm.org/citation.cfm?id=72981},
  isbn      = {0-89791-326-4},
  timestamp = {Wed, 23 May 2012 14:26:11 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/podc/1989},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/focs/FOCS29,
  title     = {29th Annual Symposium on Foundations of Computer Science, White Plains,
               New York, USA, 24-26 October 1988},
  publisher = {{IEEE} Computer Society},
  year      = {1988},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=219},
  isbn      = {0-8186-0877-3},
  timestamp = {Mon, 15 Dec 2014 18:48:44 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/focs/FOCS29},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC20,
  editor    = {Janos Simon},
  title     = {Proceedings of the 20th Annual {ACM} Symposium on Theory of Computing,
               May 2-4, 1988, Chicago, Illinois, {USA}},
  publisher = {{ACM}},
  year      = {1988},
  isbn      = {0-89791-264-0},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/stoc/STOC20},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tark/1988,
  editor    = {Moshe Y. Vardi},
  title     = {Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning
               about Knowledge, Pacific Grove, CA, March 1988},
  publisher = {Morgan Kaufmann},
  year      = {1988},
  isbn      = {0-934613-66-4},
  timestamp = {Tue, 05 Mar 2002 10:42:28 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tark/1988},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/focs/FOCS27,
  title     = {27th Annual Symposium on Foundations of Computer Science, Toronto,
               Canada, 27-29 October 1986},
  publisher = {{IEEE} Computer Society},
  year      = {1986},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4568183},
  isbn      = {0-8186-0740-8},
  timestamp = {Mon, 15 Dec 2014 18:48:44 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/focs/FOCS27},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tark/1986,
  editor    = {Joseph Y. Halpern},
  title     = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
               about Knowledge, Monterey, CA, March 1986},
  publisher = {Morgan Kaufmann},
  year      = {1986},
  isbn      = {0-934613-04-4},
  timestamp = {Tue, 05 Mar 2002 15:50:56 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tark/1986},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ijcai/1985,
  editor    = {Aravind K. Joshi},
  title     = {Proceedings of the 9th International Joint Conference on Artificial
               Intelligence. Los Angeles, CA, USA, August 1985},
  publisher = {Morgan Kaufmann},
  year      = {1985},
  url       = {http://ijcai.org/proceedings/1985-1},
  timestamp = {Tue, 19 Jul 2016 15:25:57 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/1985},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/podc/1985,
  editor    = {Michael A. Malcolm and
               H. Raymond Strong},
  title     = {Proceedings of the Fourth Annual {ACM} Symposium on Principles of
               Distributed Computing, Minaki, Ontario, Canada, August 5-7, 1985},
  publisher = {{ACM}},
  year      = {1985},
  url       = {http://dl.acm.org/citation.cfm?id=323596},
  isbn      = {0-89791-167-9},
  timestamp = {Wed, 23 May 2012 14:26:10 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/podc/1985},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/nmr/1984,
  title     = {Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain
               House, New Paltz, {NY} 12561, October 17-19, 1984},
  publisher = {American Association for Artificial Intelligence {(AAAI)}},
  year      = {1984},
  timestamp = {Mon, 20 Mar 2017 13:59:32 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/nmr/1984},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/podc/1984,
  editor    = {Tiko Kameda and
               Jayadev Misra and
               Joseph G. Peters and
               Nicola Santoro},
  title     = {Proceedings of the Third Annual {ACM} Symposium on Principles of Distributed
               Computing, Vancouver, B. C., Canada, August 27-29, 1984},
  publisher = {{ACM}},
  year      = {1984},
  url       = {http://dl.acm.org/citation.cfm?id=800222},
  isbn      = {0-89791-143-1},
  timestamp = {Fri, 10 Aug 2012 19:01:46 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/podc/1984},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier