% csauthors.net - beta - BibTeX bibliography of Yoram Moses
@inproceedings{conf/nmr/HalpernM84,
title = {Towards a Theory of Knowledge and Ignorance: Preliminary Report.},
year = {1984},
booktitle = {NMR},
author = {{Joseph Y. Halpern} and {Yoram Moses}},
publisher = {American Association for Artificial Intelligence (AAAI)},
booktitle = {Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain House, New Paltz, NY 12561, USA, October 17-19, 1984}
}
@inproceedings{conf/ijcai/HalpernM85,
title = {A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft.},
year = {1985},
booktitle = {IJCAI},
author = {{Joseph Y. Halpern} and {Yoram Moses}},
publisher = {Morgan Kaufmann},
booktitle = {Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, CA, USA, August 1985}
}
@inproceedings{conf/podc/MosesDH85,
title = {Cheating Husbands and Other Stories: A Case Study of Knowledge, Action, and Communication (Preliminary Version).},
year = {1985},
booktitle = {PODC},
author = {{Yoram Moses} and {Danny Dolev} and {Joseph Y. Halpern}},
publisher = {ACM},
booktitle = {Proceedings of the Fourth Annual ACM Symposium on Principles of Distributed Computing, Minaki, Ontario, Canada, August 5-7, 1985}
}
@inproceedings{conf/focs/MosesT86,
title = {Programming Simultaneous Actions Using Common Knowledge: Preliminary Version},
year = {1986},
booktitle = {FOCS},
author = {{Yoram Moses} and {Mark R. Tuttle}},
publisher = {IEEE Computer Society},
booktitle = {27th Annual Symposium on Foundations of Computer Science, Toronto, Canada, 27-29 October 1986}
}
@inproceedings{conf/tark/DworkM86,
title = {Knowledge and Common Knowledge in a Byzantine Environment I: Crash Failures.},
year = {1986},
booktitle = {TARK},
author = {{Cynthia Dwork} and {Yoram Moses}},
publisher = {Morgan Kaufmann},
booktitle = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, USA, March 1986}
}
@article{journals/dc/MosesDH86,
title = {Cheating Husbands and other Stories: A Case Study of Knowledge, Action, and Communication.},
year = {1986},
journal = {Distributed Comput.},
author = {{Yoram Moses} and {Danny Dolev} and {Joseph Y. Halpern}}
}
@article{journals/jphil/HalpernM86,
title = {Taken by surprise: The paradox of the surprise test revisited.},
year = {1986},
journal = {J. Philos. Log.},
author = {{Joseph Y. Halpern} and {Yoram Moses}}
}
@phdthesis{phd/us/Moses86,
title = {Knowledge in a distributed environment.},
year = {1986},
author = {{Yoram Moses}}
}
@inproceedings{conf/stoc/HalpernMT88,
title = {A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report)},
year = {1988},
booktitle = {STOC},
author = {{Joseph Y. Halpern} and {Yoram Moses} and {Mark R. Tuttle}},
publisher = {ACM},
booktitle = {Proceedings of the 20th Annual ACM Symposium on Theory of Computing, May 2-4, 1988, Chicago, Illinois, USA}
}
@inproceedings{conf/tark/Moses88,
title = {Resource-bounded Knowledge.},
year = {1988},
booktitle = {TARK},
author = {{Yoram Moses}},
publisher = {Morgan Kaufmann},
booktitle = {Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, USA, March 1988}
}
@article{journals/algorithmica/MosesT88,
title = {Programming Simultaneous Actions Using Common Knowledge.},
year = {1988},
journal = {Algorithmica},
author = {{Yoram Moses} and {Mark R. Tuttle}}
}
@inproceedings{conf/ijcai/TennenholtzM89,
title = {On Cooperation in a Multi-Entity Model.},
year = {1989},
booktitle = {IJCAI},
author = {{Moshe Tennenholtz} and {Yoram Moses}},
publisher = {Morgan Kaufmann},
booktitle = {Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, MI, USA, August 1989}
}
@inproceedings{conf/podc/MosesR89,
title = {On Reliable Message Diffusion.},
year = {1989},
booktitle = {PODC},
author = {{Yoram Moses} and {Gil Roth}},
publisher = {ACM},
booktitle = {Proceedings of the Eighth Annual ACM Symposium on Principles of Distributed Computing, Edmonton, Alberta, Canada, August 14-16, 1989}
}
@inproceedings{conf/podc/KleinmanMS90,
title = {Distributed Variable Server for Atomic Unification.},
year = {1990},
booktitle = {PODC},
author = {{Alon Kleinman} and {Yoram Moses} and {Ehud Shapiro}},
publisher = {ACM},
booktitle = {Proceedings of the Ninth Annual ACM Symposium on Principles of Distributed Computing, Quebec City, Quebec, Canada, August 22-24, 1990}
}
@inproceedings{conf/tark/MosesN90,
title = {Agreeing to Disagree After All.},
year = {1990},
booktitle = {TARK},
author = {{Yoram Moses} and {Gal Nachum}},
publisher = {Morgan Kaufmann},
booktitle = {Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, USA, March 1990}
}
@article{journals/jacm/HalpernM90,
title = {Knowledge and Common Knowledge in a Distributed Environment},
year = {1990},
month = {July},
journal = {J. ACM},
author = {{Joseph Y. Halpern} and {Yoram Moses}}
}
@article{journals/iandc/DworkM90,
title = {Knowledge and Common Knowledge in a Byzantine Environment: Crash Failures},
year = {1990},
month = {October},
journal = {Inf. Comput.},
author = {{Cynthia Dwork} and {Yoram Moses}}
}
@inproceedings{conf/tark/Moses92,
title = {Knowledge and Communication.},
year = {1992},
booktitle = {TARK},
author = {{Yoram Moses}},
publisher = {Morgan Kaufmann},
booktitle = {Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, USA, March 1992}
}
@article{journals/ai/HalpernM92,
title = {A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief.},
year = {1992},
journal = {Artif. Intell.},
author = {{Joseph Y. Halpern} and {Yoram Moses}}
}
@inproceedings{conf/ijcai/MosesT93,
title = {Off-line Reasoning for On-line Efficiency.},
year = {1993},
booktitle = {IJCAI},
author = {{Yoram Moses} and {Moshe Tennenholtz}},
publisher = {Morgan Kaufmann},
booktitle = {Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28 - September 3, 1993}
}
@inproceedings{conf/mi/MosesT93,
title = {Multi-entity Models.},
year = {1993},
booktitle = {Machine Intelligence 14},
author = {{Yoram Moses} and {Moshe Tennenholtz}},
publisher = {Oxford University Press},
booktitle = {Machine Intelligence 14, Proceedings of the Fourteenth Machine Intelligence Workshop, held at Hitachi Advanced Research Laboratories, Tokyo, Japan, November 1993}
}
@inproceedings{conf/podc/MosesK92,
title = {Knowledge-Oriented Programming (Extended Abstract).},
year = {1993},
booktitle = {PODC},
author = {{Yoram Moses} and {Orit Kislev}},
publisher = {ACM},
booktitle = {Proceedings of the Twelth Annual ACM Symposium on Principles of Distributed Computing, Ithaca, New York, USA, August 15-18, 1993}
}
@inproceedings{conf/stoc/GarayM93,
title = {Fully polynomial Byzantine agreement in t+1 rounds.},
year = {1993},
booktitle = {STOC},
author = {{Juan A. Garay} and {Yoram Moses}},
publisher = {ACM},
booktitle = {Proceedings of the Twenty-Fifth Annual ACM Symposium on Theory of Computing, May 16-18, 1993, San Diego, CA, USA}
}
@article{journals/ai/MosesS93,
title = {Belief as Defeasible Knowledge.},
year = {1993},
journal = {Artif. Intell.},
author = {{Yoram Moses} and {Yoav Shoham}}
}
@inproceedings{conf/aaai/FaginHMV94,
title = {An Operational Semantics for Knowledge Bases.},
year = {1994},
booktitle = {AAAI},
author = {{Ronald Fagin} and {Joseph Y. Halpern} and {Yoram Moses} and {Moshe Y. Vardi}},
publisher = {AAAI Press / The MIT Press},
booktitle = {Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31 - August 4, 1994, Volume 2.}
}
@inproceedings{conf/podc/MosesB94,
title = {Knowledge, Timed Precedence and Clocks (Preliminary Report).},
year = {1994},
booktitle = {PODC},
author = {{Yoram Moses} and {Ben Bloom}},
publisher = {ACM},
booktitle = {Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, Los Angeles, California, USA, August 14-17, 1994}
}
@inproceedings{conf/tark/BrafmanLMS94,
title = {Knowledge as a Tool in Motion Planning and Uncertainty.},
year = {1994},
booktitle = {TARK},
author = {{Ronen I. Brafman} and {Jean-Claude Latombe} and {Yoram Moses} and {Yoav Shoham}},
publisher = {Morgan Kaufmann},
booktitle = {Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, USA, March 1994}
}
@inproceedings{conf/tark/HalpernMV94,
title = {Algorithmic Knowledge.},
year = {1994},
booktitle = {TARK},
author = {{Joseph Y. Halpern} and {Yoram Moses} and {Moshe Y. Vardi}},
publisher = {Morgan Kaufmann},
booktitle = {Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, USA, March 1994}
}
@article{journals/jal/MosesW94,
title = {Coordinated Traversal: (t + 1)- Round Byzantine Agreement in Polynomial Time.},
year = {1994},
journal = {J. Algorithms},
author = {{Yoram Moses} and {Orli Waarts}}
}
@book{books/mit/FHMV1995,
title = {Reasoning About Knowledge.},
year = {1995},
isbn = {9780262562003},
publisher = {MIT Press},
author = {{Ronald Fagin} and {Joseph Y. Halpern} and {Yoram Moses} and {Moshe Y. Vardi}}
}
@article{journals/cai/MosesT95,
title = {Artificial Social Systems.},
year = {1995},
journal = {Comput. Artif. Intell.},
author = {{Yoram Moses} and {Moshe Tennenholtz}}
}
@article{journals/ai/MosesT96,
title = {Off-Line Reasoning for On-Line Efficiency: Knowledge Bases.},
year = {1996},
journal = {Artif. Intell.},
author = {{Yoram Moses} and {Moshe Tennenholtz}}
}
@article{journals/dc/FaginHMV97,
title = {Knowledge-Based Programs.},
year = {1997},
journal = {Distributed Comput.},
author = {{Ronald Fagin} and {Joseph Y. Halpern} and {Yoram Moses} and {Moshe Y. Vardi}}
}
@article{journals/jacm/BrafmanLMS97,
title = {Applications of a logic of knowledge to motion planning under uncertainty.},
year = {1997},
journal = {J. ACM},
author = {{Ronen I. Brafman} and {Jean-Claude Latombe} and {Yoram Moses} and {Yoav Shoham}}
}
@article{journals/mima/FaginHMV97,
title = {Reasoning about Knowledge: A Response by the Authors.},
year = {1997},
journal = {Minds Mach.},
author = {{Ronald Fagin} and {Joseph Y. Halpern} and {Yoram Moses} and {Moshe Y. Vardi}}
}
@inproceedings{conf/podc/MosesR98,
title = {The Unified Structure of Consensus: A Layered Analysis Approach.},
year = {1998},
booktitle = {PODC},
author = {{Yoram Moses} and {Sergio Rajsbaum}},
publisher = {ACM},
booktitle = {Proceedings of the Seventeenth Annual ACM Symposium on Principles of Distributed Computing, PODC '98, Puerto Vallarta, Mexico, June 28 - July 2, 1998}
}
@inproceedings{conf/tark/EngelhardtMM98,
title = {Knowledge and the Logic of Local Propositions.},
year = {1998},
booktitle = {TARK},
author = {{Kai Engelhardt} and {Ron van der Meyden} and {Yoram Moses}},
publisher = {Morgan Kaufmann},
booktitle = {Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-98), Evanston, IL, USA, July 22-24, 1998}
}
@inproceedings{conf/wdag/MeydenM98,
title = {Top-Down Considerations on Distributed Computing.},
year = {1998},
booktitle = {DISC},
author = {{Ron van der Meyden} and {Yoram Moses}},
publisher = {Springer},
booktitle = {Distributed Computing, 12th International Symposium, DISC '98, Andros, Greece, September 24-26, 1998, Proceedings}
}
@article{journals/siamcomp/GarayM98,
title = {Fully Polynomial Byzantine Agreement for n > 3t Processors in t + 1 Rounds.},
year = {1998},
journal = {SIAM J. Comput.},
author = {{Juan A. Garay} and {Yoram Moses}}
}
@article{journals/apal/FaginHMV99,
title = {Common Knowledge Revisited.},
year = {1999},
journal = {Ann. Pure Appl. Log.},
author = {{Ronald Fagin} and {Joseph Y. Halpern} and {Yoram Moses} and {Moshe Y. Vardi}}
}
@inproceedings{conf/fossacs/EngelhardtMM00,
title = {A Program Refinement Framework Supporting Reasoning about Knowledge and Time.},
year = {2000},
booktitle = {FoSSaCS},
author = {{Kai Engelhardt} and {Ron van der Meyden} and {Yoram Moses}},
publisher = {Springer},
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}
}
@inproceedings{conf/ftrtft/MeydenM00,
title = {On Refinement and Temporal Annotations.},
year = {2000},
booktitle = {FTRTFT},
author = {{Ron van der Meyden} and {Yoram Moses}},
publisher = {Springer},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000, Proceedings}
}
@inproceedings{conf/ftrtft/Moses00,
title = {Issues in the Refinement of Distributed Programs.},
year = {2000},
booktitle = {FTRTFT},
author = {{Yoram Moses}},
publisher = {Springer},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000, Proceedings}
}
@inproceedings{conf/lpar/EngelhardtMM01,
title = {A Refinement Theory that Supports Reasoning About Knowledge and Time.},
year = {2001},
booktitle = {LPAR},
author = {{Kai Engelhardt} and {Ron van der Meyden} and {Yoram Moses}},
publisher = {Springer},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings}
}
@article{journals/siamcomp/HalpernMW01,
title = {A Characterization of Eventual Byzantine Agreement.},
year = {2001},
journal = {SIAM J. Comput.},
author = {{Joseph Y. Halpern} and {Yoram Moses} and {Orli Waarts}}
}
@article{journals/siamcomp/MosesR02,
title = {A Layered Analysis of Consensus.},
year = {2002},
journal = {SIAM J. Comput.},
author = {{Yoram Moses} and {Sergio Rajsbaum}}
}
@inproceedings{conf/eccv/AvidanMM04,
title = {Probabilistic Multi-view Correspondence in a Distributed Setting with No Central Server.},
year = {2004},
booktitle = {ECCV (4)},
author = {{Shai Avidan} and {Yael Moses} and {Yoram Moses}},
publisher = {Springer},
booktitle = {Computer Vision - ECCV 2004, 8th European Conference on Computer Vision, Prague, Czech Republic, May 11-14, 2004. Proceedings, Part IV}
}
@article{journals/dc/HalpernM04,
title = {Using counterfactuals in knowledge-based programming.},
year = {2004},
journal = {Distributed Comput.},
author = {{Joseph Y. Halpern} and {Yoram Moses}}
}
@article{journals/vlc/MosesPTU04,
title = {Algorithm visualization for distributed environments.},
year = {2004},
journal = {J. Vis. Lang. Comput.},
author = {{Yoram Moses} and {Zvi Polunsky} and {Ayellet Tal} and {Leonid Ulitsky}}
}
@inproceedings{conf/iwdc/EngelhardtM05,
title = {Single-Bit Messages Are Insufficient in the Presence of Duplication.},
year = {2005},
booktitle = {IWDC},
author = {{Kai Engelhardt} and {Yoram Moses}},
publisher = {Springer},
booktitle = {Distributed Computing - IWDC 2005, 7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings}
}
@inproceedings{conf/iwdc/EngelhardtM05a,
title = {Safe Composition of Distributed Programs Communicating over Order-Preserving Imperfect Channels.},
year = {2005},
booktitle = {IWDC},
author = {{Kai Engelhardt} and {Yoram Moses}},
publisher = {Springer},
booktitle = {Distributed Computing - IWDC 2005, 7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings}
}
@inproceedings{conf/wdag/EngelhardtM05,
title = {Causing Communication Closure: Safe Program Composition with Non-FIFO Channels.},
year = {2005},
booktitle = {DISC},
author = {{Kai Engelhardt} and {Yoram Moses}},
publisher = {Springer},
booktitle = {Distributed Computing, 19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005, Proceedings}
}
@inproceedings{conf/wdag/MosesS06,
title = {A New Proof of the GHS Minimum Spanning Tree Algorithm.},
year = {2006},
booktitle = {DISC},
author = {{Yoram Moses} and {Benny Shimony}},
publisher = {Springer},
booktitle = {Distributed Computing, 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings}
}
@inproceedings{conf/ijcai/HalpernM07,
title = {Characterizing Solution Concepts in Games Using Knowledge-Based Programs.},
year = {2007},
booktitle = {IJCAI},
author = {{Joseph Y. Halpern} and {Yoram Moses}},
booktitle = {IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007}
}
@inproceedings{conf/wdag/MizrahiM07,
title = {Long Live Continuous Consensus.},
year = {2007},
booktitle = {DISC},
author = {{Tal Mizrahi} and {Yoram Moses}},
publisher = {Springer},
booktitle = {Distributed Computing, 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007, Proceedings}
}
@article{journals/ijcv/AvidanMM07,
title = {Centralized and Distributed Multi-view Correspondence.},
year = {2007},
journal = {Int. J. Comput. Vis.},
author = {{Shai Avidan} and {Yael Moses} and {Yoram Moses}}
}
@inproceedings{conf/wdag/MizrahiM08,
title = {Continuous Consensus with Failures and Recoveries.},
year = {2008},
booktitle = {DISC},
author = {{Tal Mizrahi} and {Yoram Moses}},
publisher = {Springer},
booktitle = {Distributed Computing, 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings}
}
@article{journals/dc/MizrahiM08,
title = {Continuous consensus via common knowledge.},
year = {2008},
journal = {Distributed Comput.},
author = {{Tal Mizrahi} and {Yoram Moses}}
}
@article{journals/ipl/EngelhardtM08,
title = {Single-bit messages are insufficient for data link over duplicating channels.},
year = {2008},
journal = {Inf. Process. Lett.},
author = {{Kai Engelhardt} and {Yoram Moses}}
}
@incollection{reference/fai/Moses08,
title = {Reasoning about Knowledge and Belief.},
year = {2008},
booktitle = {Handbook of Knowledge Representation},
author = {{Yoram Moses}},
publisher = {Elsevier},
booktitle = {Handbook of Knowledge Representation}
}
@inproceedings{conf/wdag/Moses09,
title = {Optimum Simultaneous Consensus for General Omissions Is Equivalent to an NP Oracle.},
year = {2009},
booktitle = {DISC},
author = {{Yoram Moses}},
publisher = {Springer},
booktitle = {Distributed Computing, 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings}
}
@article{journals/dc/EngelhardtM09,
title = {Causing communication closure: safe program composition with reliable non-FIFO channels.},
year = {2009},
journal = {Distributed Comput.},
author = {{Kai Engelhardt} and {Yoram Moses}}
}
@article{journals/jpdc/MosesR09,
title = {Revisiting simultaneous consensus with crash failures.},
year = {2009},
journal = {J. Parallel Distributed Comput.},
author = {{Yoram Moses} and {Michel Raynal}}
}
@inproceedings{conf/wdag/Ben-ZviM10,
title = {Beyond Lamport's Happened-Before: On the Role of Time Bounds in Synchronous Systems.},
year = {2010},
booktitle = {DISC},
author = {{Ido Ben-Zvi} and {Yoram Moses}},
publisher = {Springer},
booktitle = {Distributed Computing, 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings}
}
@article{journals/sigact/Moses10,
title = {Behind the Scenes of K&CK: the undelivered speech for the 2009 Dijkstra prize.},
year = {2010},
journal = {SIGACT News},
author = {{Yoram Moses}}
}
@article{journals/tcs/MizrahiM10,
title = {Continuous consensus with ambiguous failures.},
year = {2010},
journal = {Theor. Comput. Sci.},
author = {{Tal Mizrahi} and {Yoram Moses}}
}
@inproceedings{conf/podc/HerlihyMT11,
title = {Transforming worst-case optimal solutions for simultaneous tasks into all-case optimal solutions.},
year = {2011},
booktitle = {PODC},
author = {{Maurice Herlihy} and {Yoram Moses} and {Mark R. Tuttle}},
publisher = {ACM},
booktitle = {Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, PODC 2011, San Jose, CA, USA, June 6-8, 2011}
}
@inproceedings{conf/podc/KuhnOM11,
title = {Coordinated consensus in dynamic networks.},
year = {2011},
booktitle = {PODC},
author = {{Fabian Kuhn} and {Yoram Moses} and {Rotem Oshman}},
publisher = {ACM},
booktitle = {Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, PODC 2011, San Jose, CA, USA, June 6-8, 2011}
}
@inproceedings{conf/tark/Ben-ZviM11,
title = {Known unknowns: time bounds and knowledge of ignorance.},
year = {2011},
booktitle = {TARK},
author = {{Ido Ben-Zvi} and {Yoram Moses}},
publisher = {ACM},
booktitle = {Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), Groningen, The Netherlands, July 12-14, 2011}
}
@article{journals/jancl/Ben-ZviM11,
title = {On interactive knowledge with bounded communication.},
year = {2011},
journal = {J. Appl. Non Class. Logics},
author = {{Ido Ben-Zvi} and {Yoram Moses}}
}
@inproceedings{conf/icdcit/Moses12,
title = {Knowledge as a Window into Distributed Coordination.},
year = {2012},
booktitle = {ICDCIT},
author = {{Yoram Moses}},
publisher = {Springer},
booktitle = {Distributed Computing and Internet Technology - 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings}
}
@article{journals/iandc/MosesR12,
title = {No double discount: Condition-based simultaneity yields limited gain.},
year = {2012},
journal = {Inf. Comput.},
author = {{Yoram Moses} and {Michel Raynal}}
}
@article{journals/siamcomp/DolevHM12,
title = {An Optimal Self-Stabilizing Firing Squad.},
year = {2012},
journal = {SIAM J. Comput.},
author = {{Danny Dolev} and {Ezra N. Hoch} and {Yoram Moses}}
}
@inproceedings{conf/icla/Ben-ZviM13,
title = {Agent-Time Epistemics and Coordination.},
year = {2013},
booktitle = {ICLA},
author = {{Ido Ben-Zvi} and {Yoram Moses}},
publisher = {Springer},
booktitle = {Logic and Its Applications, 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings}
}
@inproceedings{conf/podc/CastanedaGM13,
title = {Brief announcement: pareto optimal solutions to consensus and set consensus.},
year = {2013},
booktitle = {PODC},
author = {{Armando Castañeda} and {Yannai A. Gonczarowski} and {Yoram Moses}},
publisher = {ACM},
booktitle = {ACM Symposium on Principles of Distributed Computing, PODC '13, Montreal, QC, Canada, July 22-24, 2013}
}
@inproceedings{conf/sigcomm/MizrahiM13,
title = {Time-based updates in software defined networks.},
year = {2013},
booktitle = {HotSDN},
author = {{Tal Mizrahi} and {Yoram Moses}},
publisher = {ACM},
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}
}
@inproceedings{conf/tark/Ben-ZviM13,
title = {The Shape of Reactive Coordination Tasks.},
year = {2013},
booktitle = {TARK},
author = {{Ido Ben-Zvi} and {Yoram Moses}},
booktitle = {Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Chennai, India, January 7-9, 2013}
}
@inproceedings{conf/tark/GonczarowskiM13,
title = {Timely Common Knowledge.},
year = {2013},
booktitle = {TARK},
author = {{Yannai A. Gonczarowski} and {Yoram Moses}},
booktitle = {Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Chennai, India, January 7-9, 2013}
}
@article{journals/corr/CastanedaGM13,
title = {Good, Better, Best! - Unbeatable Protocols for Consensus and Set Consensus.},
year = {2013},
journal = {CoRR},
author = {{Armando Castañeda} and {Yannai A. Gonczarowski} and {Yoram Moses}}
}
@article{journals/corr/MosesS13,
title = {A Knowledge-based Treatment of Human-Automation Systems.},
year = {2013},
journal = {CoRR},
author = {{Yoram Moses} and {Marcia Kuskin Shamo}}
}
@inproceedings{conf/ons/MizrahiM14,
title = {On the Necessity of Time-based Updates in SDN.},
year = {2014},
booktitle = {ONS},
author = {{Tal Mizrahi} and {Yoram Moses}},
publisher = {USENIX Association},
booktitle = {Open Networking Summit 2014 - Research Track, ONS 2014, Santa Clara, CA, USA, March 2-4, 2014}
}
@inproceedings{conf/sigcomm/MizrahiM14,
title = {ReversePTP: a software defined networking approach to clock synchronization.},
year = {2014},
booktitle = {HotSDN},
author = {{Tal Mizrahi} and {Yoram Moses}},
publisher = {ACM},
booktitle = {Proceedings of the third workshop on Hot topics in software defined networking, HotSDN '14, Chicago, Illinois, USA, August 22, 2014}
}
@article{journals/jacm/Ben-ZviM14,
title = {Beyond Lamport's Happened-before: On Time Bounds and the Ordering of Events in Distributed Systems.},
year = {2014},
journal = {J. ACM},
author = {{Ido Ben-Zvi} and {Yoram Moses}}
}
@article{journals/jair/HalpernM14,
title = {A Procedural Characterization of Solution Concepts in Games.},
year = {2014},
journal = {J. Artif. Intell. Res.},
author = {{Joseph Y. Halpern} and {Yoram Moses}}
}
@inproceedings{conf/async/ManoharM15,
title = {Analyzing Isochronic Forks with Potential Causality.},
year = {2015},
booktitle = {ASYNC},
author = {{Rajit Manohar} and {Yoram Moses}},
publisher = {IEEE Computer Society},
booktitle = {21st IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2015, Mountain View, CA, USA, May 4-6, 2015}
}
@inproceedings{conf/infocom/MizrahiRM15,
title = {TimeFlip: Scheduling network updates with timestamp-based TCAM ranges.},
year = {2015},
booktitle = {INFOCOM},
author = {{Tal Mizrahi} and {Ori Rottenstreich} and {Yoram Moses}},
publisher = {IEEE},
booktitle = {2015 IEEE Conference on Computer Communications, INFOCOM 2015, Kowloon, Hong Kong, April 26 - May 1, 2015}
}
@inproceedings{conf/sirocco/MosesP15,
title = {Under the Hood of the Bakery Algorithm: Mutual Exclusion as a Matter of Priority.},
year = {2015},
booktitle = {SIROCCO},
author = {{Yoram Moses} and {Katia Patkin}},
publisher = {Springer},
booktitle = {Structural Information and Communication Complexity - 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015, Post-Proceedings}
}
@inproceedings{conf/sosr/MizrahiSM15,
title = {Timed consistent network updates.},
year = {2015},
booktitle = {SOSR},
author = {{Tal Mizrahi} and {Efi Saat} and {Yoram Moses}},
publisher = {ACM},
booktitle = {Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research, SOSR '15, Santa Clara, California, USA, June 17-18, 2015}
}
@inproceedings{journals/corr/Moses16,
title = {Relating Knowledge and Coordinated Action: The Knowledge of Preconditions Principle.},
year = {2015},
booktitle = {TARK},
author = {{Yoram Moses}},
booktitle = {Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2015, Carnegie Mellon University, Pittsburgh, USA, June 4-6, 2015.}
}
@inproceedings{conf/infocom/MizrahiM16,
title = {Software defined networks: It's about time.},
year = {2016},
booktitle = {INFOCOM},
author = {{Tal Mizrahi} and {Yoram Moses}},
publisher = {IEEE},
booktitle = {35th Annual IEEE International Conference on Computer Communications, INFOCOM 2016, San Francisco, CA, USA, April 10-14, 2016}
}
@inproceedings{conf/infocom/MizrahiM16a,
title = {Serving time in the cloud: Why time-as-a-service?},
year = {2016},
booktitle = {INFOCOM Workshops},
author = {{Tal Mizrahi} and {Yoram Moses}},
publisher = {IEEE},
booktitle = {IEEE Conference on Computer Communications Workshops, INFOCOM Workshops 2016, San Francisco, CA, USA, April 10-14, 2016}
}
@inproceedings{conf/infocom/MizrahiM16b,
title = {The case for Data Plane Timestamping in SDN.},
year = {2016},
booktitle = {INFOCOM Workshops},
author = {{Tal Mizrahi} and {Yoram Moses}},
publisher = {IEEE},
booktitle = {IEEE Conference on Computer Communications Workshops, INFOCOM Workshops 2016, San Francisco, CA, USA, April 10-14, 2016}
}
@inproceedings{conf/infocom/MizrahiM16c,
title = {On the behavior of network delay in the cloud.},
year = {2016},
booktitle = {INFOCOM Workshops},
author = {{Tal Mizrahi} and {Yoram Moses}},
publisher = {IEEE},
booktitle = {IEEE Conference on Computer Communications Workshops, INFOCOM Workshops 2016, San Francisco, CA, USA, April 10-14, 2016}
}
@inproceedings{conf/noms/MizrahiM16,
title = {OneClock to rule them all: Using time in networked applications.},
year = {2016},
booktitle = {NOMS},
author = {{Tal Mizrahi} and {Yoram Moses}},
publisher = {IEEE},
booktitle = {2016 IEEE/IFIP Network Operations and Management Symposium, NOMS 2016, Istanbul, Turkey, April 25-29, 2016}
}
@inproceedings{conf/podc/CastanedaGM16,
title = {Unbeatable Set Consensus via Topological and Combinatorial Reasoning.},
year = {2016},
booktitle = {PODC},
author = {{Armando Castañeda} and {Yannai A. Gonczarowski} and {Yoram Moses}},
publisher = {ACM},
booktitle = {Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, PODC 2016, Chicago, IL, USA, July 25-28, 2016}
}
@article{journals/ijnm/MizrahiM16,
title = {ReversePTP: A clock synchronization scheme for software-defined networks.},
year = {2016},
journal = {Int. J. Netw. Manag.},
author = {{Tal Mizrahi} and {Yoram Moses}}
}
@article{journals/tnsm/MizrahiM16,
title = {Time4: Time for SDN.},
year = {2016},
journal = {IEEE Trans. Netw. Serv. Manag.},
author = {{Tal Mizrahi} and {Yoram Moses}}
}
@article{journals/ton/MizrahiSM16,
title = {Timed Consistent Network Updates in Software-Defined Networks.},
year = {2016},
journal = {IEEE/ACM Trans. Netw.},
author = {{Tal Mizrahi} and {Efi Saat} and {Yoram Moses}}
}
@incollection{reference/algo/Moses16,
title = {Knowledge in Distributed Systems.},
year = {2016},
booktitle = {Encyclopedia of Algorithms},
author = {{Yoram Moses}}
}
@article{journals/rfc/rfc7758,
title = {Time Capability in NETCONF.},
year = {2016},
month = {February},
journal = {RFC},
author = {{Tal Mizrahi} and {Yoram Moses}}
}
@inproceedings{conf/async/ManoharM17,
title = {The Eventual C-Element Theorem for Delay-Insensitive Asynchronous Circuits.},
year = {2017},
booktitle = {ASYNC},
author = {{Rajit Manohar} and {Yoram Moses}},
publisher = {IEEE Computer Society},
booktitle = {23rd IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2017, San Diego, CA, USA, May 21-24, 2017}
}
@inproceedings{conf/netys/CastanedaMRR17,
title = {Early Decision and Stopping in Synchronous Consensus: A Predicate-Based Guided Tour.},
year = {2017},
booktitle = {NETYS},
author = {{Armando Castañeda} and {Yoram Moses} and {Michel Raynal} and {Matthieu Roy}},
booktitle = {Networked Systems - 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings}
}
@inproceedings{conf/podc/DanMM17,
title = {On Using Time Without Clocks via Zigzag Causality.},
year = {2017},
booktitle = {PODC},
author = {{Asa Dan} and {Rajit Manohar} and {Yoram Moses}},
publisher = {ACM},
booktitle = {Proceedings of the ACM Symposium on Principles of Distributed Computing, PODC 2017, Washington, DC, USA, July 25-27, 2017}
}
@article{journals/ijgt/HalpernM17,
title = {Characterizing solution concepts in terms of common knowledge of rationality.},
year = {2017},
journal = {Int. J. Game Theory},
author = {{Joseph Y. Halpern} and {Yoram Moses}}
}
@article{journals/ton/MizrahiRM17,
title = {TimeFlip: Using Timestamp-Based TCAM Ranges to Accurately Schedule Network Updates.},
year = {2017},
journal = {IEEE/ACM Trans. Netw.},
author = {{Tal Mizrahi} and {Ori Rottenstreich} and {Yoram Moses}}
}
@article{journals/dc/Moses18,
title = {Introduction to the special issue of papers from DISC 2015.},
year = {2018},
journal = {Distributed Comput.},
author = {{Yoram Moses}}
}
@article{journals/tcs/MosesP18,
title = {Mutual exclusion as a matter of priority.},
year = {2018},
journal = {Theor. Comput. Sci.},
author = {{Yoram Moses} and {Katia Patkin}}
}
@inproceedings{conf/async/ManoharM19,
title = {Asynchronous Signalling Processes.},
year = {2019},
booktitle = {ASYNC},
author = {{Rajit Manohar} and {Yoram Moses}},
publisher = {IEEE},
booktitle = {25th IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2019, Hirosaki, Japan, May 12-15, 2019}
}
@inproceedings{conf/opodis/Winkler0M19,
title = {A Characterization of Consensus Solvability for Closed Message Adversaries.},
year = {2019},
booktitle = {OPODIS},
author = {{Kyrill Winkler} and {Ulrich Schmid 001} and {Yoram Moses}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {23rd International Conference on Principles of Distributed Systems, OPODIS 2019, December 17-19, 2019, Neuchâtel, Switzerland.}
}
@article{journals/corr/abs-1904-06676,
title = {Timing in Software-Defined and Centrally-Managed Networks.},
year = {2019},
journal = {CoRR},
author = {{Tal Mizrahi} and {Yoram Moses}}
}
@article{journals/corr/abs-1905-06087,
title = {Byzantine Consensus in the Common Case.},
year = {2019},
journal = {CoRR},
author = {{Guy Goren} and {Yoram Moses}}
}
@inproceedings{conf/podc/GorenM20,
title = {Brief Announcement: On Using Null Messages in a Byzantine Setting.},
year = {2020},
booktitle = {PODC},
author = {{Guy Goren} and {Yoram Moses}},
publisher = {ACM},
booktitle = {PODC '20: ACM Symposium on Principles of Distributed Computing, Virtual Event, Italy, August 3-7, 2020}
}
@inproceedings{conf/podc/MosesZ20,
title = {Probably Approximately Knowing.},
year = {2020},
booktitle = {PODC},
author = {{Yoram Moses} and {Nitzan Zamir}},
publisher = {ACM},
booktitle = {PODC '20: ACM Symposium on Principles of Distributed Computing, Virtual Event, Italy, August 3-7, 2020}
}
@article{journals/jacm/GorenM20,
title = {Silence.},
year = {2020},
journal = {J. ACM},
author = {{Guy Goren} and {Yoram Moses}}
}
@inproceedings{conf/wdag/GorenMS21,
title = {Brief Announcement: Probabilistic Indistinguishability and The Quality of Validity in Byzantine Agreement.},
year = {2021},
booktitle = {DISC},
author = {{Guy Goren} and {Yoram Moses} and {Alexander Spiegelman}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {35th International Symposium on Distributed Computing, DISC 2021, October 4-8, 2021, Freiburg, Germany (Virtual Conference).}
}
@article{journals/dc/GorenM21,
title = {Optimistically tuning synchronous byzantine consensus: another win for null messages.},
year = {2021},
journal = {Distributed Comput.},
author = {{Guy Goren} and {Yoram Moses}}
}
@inproceedings{conf/aft/GorenMS22,
title = {Probabilistic Indistinguishability and the Quality of Validity in Byzantine Agreement.},
year = {2022},
booktitle = {AFT},
author = {{Guy Goren} and {Yoram Moses} and {Alexander Spiegelman}},
publisher = {ACM},
booktitle = {Proceedings of the 4th ACM Conference on Advances in Financial Technologies, AFT 2022, Cambridge, MA, USA, September 19-21, 2022}
}
@inproceedings{conf/cav/FinkbeinerMM22,
title = {Information Flow Guided Synthesis.},
year = {2022},
booktitle = {CAV (2)},
author = {{Bernd Finkbeiner} and {Niklas Metzger 001} and {Yoram Moses}},
publisher = {Springer},
booktitle = {Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II}
}
@inproceedings{conf/wdag/NatafGM22,
title = {Brief Announcement: Null Messages, Information and Coordination.},
year = {2022},
booktitle = {DISC},
author = {{Raïssa Nataf} and {Guy Goren} and {Yoram Moses}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {36th International Symposium on Distributed Computing, DISC 2022, October 25-27, 2022, Augusta, Georgia, USA.}
}
@article{journals/corr/abs-2205-12085,
title = {Information Flow Guided Synthesis (Full Version).},
year = {2022},
journal = {CoRR},
author = {{Bernd Finkbeiner} and {Niklas Metzger 001} and {Yoram Moses}}
}
@article{journals/dc/CastanedaGM22,
title = {Unbeatable consensus.},
year = {2022},
journal = {Distributed Comput.},
author = {{Armando Castañeda} and {Yannai A. Gonczarowski} and {Yoram Moses}}
}
@inproceedings{conf/async/ManoharM23,
title = {Timed Signalling Processes.},
year = {2023},
booktitle = {ASYNC},
author = {{Rajit Manohar} and {Yoram Moses}},
publisher = {IEEE},
booktitle = {28th IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2023, Beijing, China, July 16-19, 2023}
}
@inproceedings{conf/async/SrinivasanMM23,
title = {Opportunistic Mutual Exclusion.},
year = {2023},
booktitle = {ASYNC},
author = {{Karthi Srinivasan} and {Yoram Moses} and {Rajit Manohar}},
publisher = {IEEE},
booktitle = {28th IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2023, Beijing, China, July 16-19, 2023}
}
@inproceedings{conf/opodis/LivshitsM23,
title = {Probable Approximate Coordination.},
year = {2023},
booktitle = {OPODIS},
author = {{Ariel Livshits} and {Yoram Moses}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {27th International Conference on Principles of Distributed Systems, OPODIS 2023, December 6-8, 2023, Tokyo, Japan}
}
@inproceedings{conf/wdag/NatafGM23,
title = {Null Messages, Information and Coordination.},
year = {2023},
booktitle = {DISC},
author = {{Raïssa Nataf} and {Guy Goren} and {Yoram Moses}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {37th International Symposium on Distributed Computing, DISC 2023, October 10-12, 2023, L'Aquila, Italy}
}
@article{journals/corr/abs-2311-04374,
title = {Common Knowledge, Regained.},
year = {2023},
journal = {CoRR},
author = {{Yannai A. Gonczarowski} and {Yoram Moses}}
}
@article{journals/dagstuhl-reports/CastanedaDKM023,
title = {Epistemic and Topological Reasoning in Distributed Systems (Dagstuhl Seminar 23272).},
year = {2023},
journal = {Dagstuhl Reports},
author = {{Armando Castañeda} and {Hans van Ditmarsch} and {Roman Kuznets} and {Yoram Moses} and {Ulrich Schmid 001}}
}
@article{journals/ton/GorenVM23,
title = {Distributed Dispatching in the Parallel Server Model.},
year = {2023},
month = {August},
journal = {IEEE/ACM Trans. Netw.},
author = {{Guy Goren} and {Shay Vargaftik} and {Yoram Moses}}
}
@article{journals/dc/GorenVM23,
title = {Stochastic coordination in heterogeneous load balancing systems.},
year = {2023},
month = {September},
journal = {Distributed Comput.},
author = {{Guy Goren} and {Shay Vargaftik} and {Yoram Moses}}
}