Yoram Moses Coauthor index pubzone.org

Facets and more with CompleteSearch

Listing of the DBLP Bibliography Server - FAQ
Other views (modern): by type - by year
Other mirrors: Trier II - Dagstuhl


Ask others: ACM DL/Guide - CiteSeerx - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2017
j35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTal Mizrahi, Ori Rottenstreich, Yoram Moses: TimeFlip: Using Timestamp-Based TCAM Ranges to Accurately Schedule Network Updates. IEEE/ACM Trans. Netw. 25(2): 849-863 (2017)
2016
j34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTal Mizrahi, Yoram Moses: ReversePTP: A clock synchronization scheme for software-defined networks. Int. Journal of Network Management 26(5): 355-372 (2016)
j33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTal Mizrahi, Yoram Moses: Time4: Time for SDN. IEEE Trans. Network and Service Management 13(3): 433-446 (2016)
j32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTal Mizrahi, Efi Saat, Yoram Moses: Timed Consistent Network Updates in Software-Defined Networks. IEEE/ACM Trans. Netw. 24(6): 3412-3425 (2016)
c72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTal Mizrahi, Yoram Moses: Software defined networks: It's about time. INFOCOM 2016: 1-9
c71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTal Mizrahi, Yoram Moses: Serving time in the cloud: Why time-as-a-service? INFOCOM Workshops 2016: 95-96
c70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTal Mizrahi, Yoram Moses: The case for Data Plane Timestamping in SDN. INFOCOM Workshops 2016: 856-861
c69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTal Mizrahi, Yoram Moses: On the behavior of network delay in the cloud. INFOCOM Workshops 2016: 875-876
c68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTal Mizrahi, Yoram Moses: OneClock to rule them all: Using time in networked applications. NOMS 2016: 679-685
c67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmando Castañeda, Yannai A. Gonczarowski, Yoram Moses: Unbeatable Set Consensus via Topological and Combinatorial Reasoning. PODC 2016: 107-116
r2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Moses: Knowledge in Distributed Systems. Encyclopedia of Algorithms 2016: 1051-1055
i18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTal Mizrahi, Yoram Moses: OneClock to Rule Them All: Using Time in Networked Applications. CoRR abs/1601.07333 (2016)
i17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTal Mizrahi, Yoram Moses: The Case for Data Plane Timestamping in SDN. CoRR abs/1602.03342 (2016)
i16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph Y. Halpern, Yoram Moses: Characterizing Solution Concepts in Terms of Common Knowledge of Rationality. CoRR abs/1605.01236 (2016)
i15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmando Castañeda, Yannai A. Gonczarowski, Yoram Moses: Unbeatable Set Consensus via Topological and Combinatorial Reasoning. CoRR abs/1605.07354 (2016)
2015
c66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajit Manohar, Yoram Moses: Analyzing Isochronic Forks with Potential Causality. ASYNC 2015: 69-76
c65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTal Mizrahi, Ori Rottenstreich, Yoram Moses: TimeFlip: Scheduling network updates with timestamp-based TCAM ranges. INFOCOM 2015: 2551-2559
c64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Moses, Katia Patkin: Under the Hood of the Bakery Algorithm: Mutual Exclusion as a Matter of Priority. SIROCCO 2015: 399-413
c63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTal Mizrahi, Efi Saat, Yoram Moses: Timed consistent network updates. SOSR 2015: 21:1-21:14
c62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Moses: Relating Knowledge and Coordinated Action: The Knowledge of Preconditions Principle. TARK 2015: 231-245
e3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Moses: Distributed Computing - 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings .Lecture Notes in Computer Science 9363, Springer 2015, ISBN 978-3-662-48652-8
i14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTal Mizrahi, Yoram Moses: Time4: Time for SDN. CoRR abs/1505.03421 (2015)
i13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTal Mizrahi, Efi Saat, Yoram Moses: Timed Consistent Network Updates. CoRR abs/1505.03653 (2015)
2014
j31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIdo Ben-Zvi, Yoram Moses: Beyond Lamport's Happened-before: On Time Bounds and the Ordering of Events in Distributed Systems. J. ACM 61(2): 13:1-13:26 (2014)
j30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph Y. Halpern, Yoram Moses: A Procedural Characterization of Solution Concepts in Games. J. Artif. Intell. Res. (JAIR) 49: 143-170 (2014)
c61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTal Mizrahi, Yoram Moses: On the Necessity of Time-based Updates in SDN. ONS 2014
c60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTal Mizrahi, Yoram Moses: ReversePTP: a software defined networking approach to clock synchronization. HotSDN 2014: 203-204
c59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmando Castañeda, Yannai A. Gonczarowski, Yoram Moses: Unbeatable Consensus. DISC 2014: 91-106
i12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmando Castañeda, Yannai A. Gonczarowski, Yoram Moses: Unbeatable Consensus. CoRR abs/1410.2501 (2014)
2013
c58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIdo Ben-Zvi, Yoram Moses: Agent-Time Epistemics and Coordination. ICLA 2013: 97-108
c57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmando Castañeda, Yannai A. Gonczarowski, Yoram Moses: Brief announcement: pareto optimal solutions to consensus and set consensus. PODC 2013: 113-115
c56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTal Mizrahi, Yoram Moses: Time-based updates in software defined networks. HotSDN 2013: 163-164
c55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIdo Ben-Zvi, Yoram Moses: The Shape of Reactive Coordination Tasks. TARK 2013
c54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYannai A. Gonczarowski, Yoram Moses: Timely Common Knowledge. TARK 2013
i11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Moses, Marcia Kuskin Shamo: A Knowledge-based Treatment of Human-Automation Systems. CoRR abs/1307.2191 (2013)
i10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIdo Ben-Zvi, Yoram Moses: The Shape of Reactive Coordination Tasks. CoRR abs/1310.6407 (2013)
i9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYannai A. Gonczarowski, Yoram Moses: Timely Common Knowledge. CoRR abs/1310.6414 (2013)
i8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmando Castañeda, Yannai A. Gonczarowski, Yoram Moses: Good, Better, Best! - Unbeatable Protocols for Consensus and Set Consensus. CoRR abs/1311.6902 (2013)
2012
j29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Moses, Michel Raynal: No double discount: Condition-based simultaneity yields limited gain. Inf. Comput. 214: 47-58 (2012)
j28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDanny Dolev, Ezra N. Hoch, Yoram Moses: An Optimal Self-Stabilizing Firing Squad. SIAM J. Comput. 41(2): 415-435 (2012)
c53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Moses: Knowledge as a Window into Distributed Coordination. ICDCIT 2012: 27-34
i7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIdo Ben-Zvi, Yoram Moses: Agent-time Epistemics and Coordination .CoRR abs/1203.5399 (2012)
2011
j27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIdo Ben-Zvi, Yoram Moses: On interactive knowledge with bounded communication. Journal of Applied Non-Classical Logics 21(3-4): 323-354 (2011)
c52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabian Kuhn, Yoram Moses, Rotem Oshman: Coordinated consensus in dynamic networks. PODC 2011: 1-10
c51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice Herlihy, Yoram Moses, Mark R. Tuttle: Transforming worst-case optimal solutions for simultaneous tasks into all-case optimal solutions. PODC 2011: 231-238
c50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIdo Ben-Zvi, Yoram Moses: Known unknowns: time bounds and knowledge of ignorance. TARK 2011: 161-169
2010
j26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Moses: Behind the Scenes of K&CK: the undelivered speech for the 2009 Dijkstra prize. SIGACT News 41(1): 58-62 (2010)
j25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTal Mizrahi, Yoram Moses: Continuous consensus with ambiguous failures. Theor. Comput. Sci. 411(34-36): 3031-3041 (2010)
c49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIdo Ben-Zvi, Yoram Moses: Beyond Lamport's Happened-Before: On the Role of Time Bounds in Synchronous Systems. DISC 2010: 421-436
2009
j24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKai Engelhardt, Yoram Moses: Causing communication closure: safe program composition with reliable non-FIFO channels. Distributed Computing 22(2): 73-91 (2009)
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Moses, Michel Raynal: Revisiting simultaneous consensus with crash failures. J. Parallel Distrib. Comput. 69(4): 400-409 (2009)
c48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDanny Dolev, Ezra N. Hoch, Yoram Moses: An Optimal Self-stabilizing Firing Squad. SSS 2009: 284-296
c47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Moses: Optimum Simultaneous Consensus for General Omissions Is Equivalent to an NP Oracle. DISC 2009: 436-448
i6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDanny Dolev, Ezra N. Hoch, Yoram Moses: An Optimal Self-Stabilizing Firing Squad .CoRR abs/0908.2295 (2009)
2008
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTal Mizrahi, Yoram Moses: Continuous consensus via common knowledge. Distributed Computing 20(5): 305-321 (2008)
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKai Engelhardt, Yoram Moses: Single-bit messages are insufficient for data link over duplicating channels. Inf. Process. Lett. 107(6): 235-239 (2008)
c46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTal Mizrahi, Yoram Moses: Continuous Consensus with Ambiguous Failures. ICDCN 2008: 73-85
c45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTal Mizrahi, Yoram Moses: Continuous Consensus with Failures and Recoveries. DISC 2008: 408-422
c44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Moses, Michel Raynal: No Double Discount: Condition-Based Simultaneity Yields Limited Gain. DISC 2008: 423-437
r1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Moses: Reasoning about Knowledge and Belief. Handbook of Knowledge Representation 2008: 621-647
2007
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShai Avidan, Yael Moses, Yoram Moses: Centralized and Distributed Multi-view Correspondence. International Journal of Computer Vision 71(1): 49-69 (2007)
c43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph Y. Halpern, Yoram Moses: Characterizing Solution Concepts in Games Using Knowledge-Based Programs. IJCAI 2007: 1300-1307
c42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTal Mizrahi, Yoram Moses: Long Live Continuous Consensus. DISC 2007: 490-491
i5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKai Engelhardt, Yoram Moses: Causing Communication Closure: Safe Program Composition with Reliable Non-FIFO Channels .CoRR abs/cs/0701064 (2007)
2006
c41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Moses, Benny Shimony: A New Proof of the GHS Minimum Spanning Tree Algorithm. DISC 2006: 120-135
i4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph Y. Halpern, Yoram Moses: Characterizing Solution Concepts in Games Using Knowledge-Based Programs .CoRR abs/cs/0610098 (2006)
2005
c40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKai Engelhardt, Yoram Moses: Single-Bit Messages Are Insufficient in the Presence of Duplication. IWDC 2005: 25-31
c39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKai Engelhardt, Yoram Moses: Safe Composition of Distributed Programs Communicating over Order-Preserving Imperfect Channels. IWDC 2005: 32-44
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTal Mizrahi, Yoram Moses: Continuous consensus via common knowledge. TARK 2005: 236-252
c37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKai Engelhardt, Yoram Moses: Causing Communication Closure: Safe Program Composition with Non-FIFO Channels. DISC 2005: 229-243
2004
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph Y. Halpern, Yoram Moses: Using counterfactuals in knowledge-based programming. Distributed Computing 17(2): 91-106 (2004)
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Moses, Zvi Polunsky, Ayellet Tal, Leonid Ulitsky: Algorithm visualization for distributed environments. J. Vis. Lang. Comput. 15(1): 97-123 (2004)
c36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShai Avidan, Yael Moses, Yoram Moses: Probabilistic Multi-view Correspondence in a Distributed Setting with No Central Server. ECCV (4) 2004: 428-441
2003
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph Y. Halpern, Yoram Moses: Using Counterfactuals in Knowledge-Based Programming .CoRR cs.DC/0311028 (2003)
2002
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Moses, Sergio Rajsbaum: A Layered Analysis of Consensus. SIAM J. Comput. 31(4): 989-1021 (2002)
2001
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph Y. Halpern, Yoram Moses, Orli Waarts: A Characterization of Eventual Byzantine Agreement. SIAM J. Comput. 31(3): 838-865 (2001)
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKai Engelhardt, Ron van der Meyden, Yoram Moses: A Refinement Theory that Supports Reasoning About Knowledge and Time. LPAR 2001: 125-141
2000
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKai Engelhardt, Ron van der Meyden, Yoram Moses: A Program Refinement Framework Supporting Reasoning about Knowledge and Time. FoSSaCS 2000: 114-129
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Moses: Issues in the Refinement of Distributed Programs. FTRTFT 2000: 12-17
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRon van der Meyden, Yoram Moses: On Refinement and Temporal Annotations. FTRTFT 2000: 185-201
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph Y. Halpern, Yoram Moses: Knowledge and common knowledge in a distributed environment .CoRR cs.DC/0006009 (2000)
1999
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Common Knowledge Revisited. Ann. Pure Appl. Logic 96(1-3): 89-105 (1999)
1998
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan A. Garay, Yoram Moses: Fully Polynomial Byzantine Agreement for n > 3t Processors in t + 1 Rounds. SIAM J. Comput. 27(1): 247-290 (1998)
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Moses, Zvi Polunsky, Ayellet Tal, Leonid Ulitsky: Algorithm Visualization For Distributed Environments. INFOVIS 1998: 71-78
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Moses, Sergio Rajsbaum: The Unified Structure of Consensus: A Layered Analysis Approach. PODC 1998: 123-132
c29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKai Engelhardt, Ron van der Meyden, Yoram Moses: Knowledge and the Logic of Local Propositions. TARK 1998: 29-41
c28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph Y. Halpern, Yoram Moses: Using Counterfactuals in Knowledge-Based Programming. TARK 1998: 97-110
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRon van der Meyden, Yoram Moses: Top-Down Considerations on Distributed Computing. DISC 1998: 16-19
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Common knowledge revisited .CoRR cs.LO/9809003 (1998)
1997
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Knowledge-Based Programs. Distributed Computing 10(4): 199-225 (1997)
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonen I. Brafman, Jean-Claude Latombe, Yoram Moses, Yoav Shoham: Applications of a logic of knowledge to motion planning under uncertainty. J. ACM 44(5): 633-668 (1997)
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Reasoning about Knowledge: A Response by the Authors. Minds and Machines 7(1): 113 (1997)
1996
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Moses, Moshe Tennenholtz: Off-Line Reasoning for On-Line Efficiency: Knowledge Bases. Artif. Intell. 83(2): 229-239 (1996)
c26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Common Knowledge Revisited. TARK 1996: 283-298
e2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames E. Burns, Yoram Moses: Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, Philadelphia, Pennsylvania, USA, May 23-26, 1996 .ACM 1996, ISBN 0-89791-800-2
1995
j9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Moses, Moshe Tennenholtz: Artificial Social Systems. Computers and Artificial Intelligence 14(6) (1995)
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Knowledge-Based Programs. PODC 1995: 153-163
1994
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Moses, Orli Waarts: Coordinated Traversal: (t + 1)- Round Byzantine Agreement in Polynomial Time. J. Algorithms 17(1): 110-156 (1994)
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: An Operational Semantics for Knowledge Bases. AAAI 1994: 1142-1147
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Moses, Ben Bloom: Knowledge, Timed Precedence and Clocks (Preliminary Report). PODC 1994: 294-303
c22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonen I. Brafman, Jean-Claude Latombe, Yoram Moses, Yoav Shoham: Knowledge as a Tool in Motion Planning and Uncertainty. TARK 1994: 208-224
c21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Algorithmic Knowledge. TARK 1994: 255-266
1993
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Moses, Yoav Shoham: Belief as Defeasible Knowledge. Artif. Intell. 64(2): 299-321 (1993)
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Moses, Moshe Tennenholtz: Off-line Reasoning for On-line Efficiency. IJCAI 1993: 490-495
c19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Moses, Moshe Tennenholtz: Multi-entity Models. Machine Intelligence 14 1993: 65-90
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Moses, Orit Kislev: Knowledge-Oriented Programming (Extended Abstract). PODC 1993: 261-270
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan A. Garay, Yoram Moses: Fully polynomial Byzantine agreement in t+1 rounds. STOC 1993: 31-41
1992
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph Y. Halpern, Yoram Moses: A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief. Artif. Intell. 54(2): 319-379 (1992)
c16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Moses: Knowledge and Communication. TARK 1992: 1-14
e1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Moses: Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, March 1992 .Morgan Kaufmann 1992, ISBN 1-55860-243-7
1990
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCynthia Dwork, Yoram Moses: Knowledge and Common Knowledge in a Byzantine Environment: Crash Failures .Inf. Comput. 88(2): 156-186 (1990)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph Y. Halpern, Yoram Moses: Knowledge and Common Knowledge in a Distributed Environment .J. ACM 37(3): 549-587 (1990)
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlon Kleinman, Yoram Moses, Ehud Y. Shapiro: Distributed Variable Server for Atomic Unification. PODC 1990: 59-74
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph Y. Halpern, Yoram Moses, Orli Waarts: A Characterization of Eventual Byzantine Agreement. PODC 1990: 333-346
c13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Moses, Gal Nachum: Agreeing to Disagree After All. TARK 1990: 151-168
1989
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Tennenholtz, Yoram Moses: On Cooperation in a Multi-Entity Model. IJCAI 1989: 918-923
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoav Shoham, Yoram Moses: Belief as Defeasible Knowledge. IJCAI 1989: 1168-1173
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Moses, Gil Roth: On Reliable Message Diffusion. PODC 1989: 119-127
1988
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Moses, Mark R. Tuttle: Programming Simultaneous Actions Using Common Knowledge. Algorithmica 3: 121-169 (1988)
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Moses, Orli Waarts: Coordinated Traversal: (t + 1)-Round Byzantine Agreement in Polynomial Time .FOCS 1988: 246-255
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph Y. Halpern, Yoram Moses, Mark R. Tuttle: A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report) .STOC 1988: 132-147
c7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Moses: Resource-bounded Knowledge. TARK 1988: 261-275
1986
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Moses, Danny Dolev, Joseph Y. Halpern: Cheating Husbands and other Stories: A Case Study of Knowledge, Action, and Communication. Distributed Computing 1(3): 167-176 (1986)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph Y. Halpern, Yoram Moses: Taken by surprise: The paradox of the surprise test revisited. J. Philosophical Logic 15(3): 281-304 (1986)
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Moses, Mark R. Tuttle: Programming Simultaneous Actions Using Common Knowledge: Preliminary Version .FOCS 1986: 208-221
c5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCynthia Dwork, Yoram Moses: Knowledge and Common Knowledge in a Byzantine Environment I: Crash Failures. TARK 1986: 149-169
1985
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph Y. Halpern, Yoram Moses: A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft. IJCAI 1985: 480-490
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Moses, Danny Dolev, Joseph Y. Halpern: Cheating Husbands and Other Stories: A Case Study of Knowledge, Action, and Communication (Preliminary Version). PODC 1985: 215-223
1984
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph Y. Halpern, Yoram Moses: Towards a Theory of Knowledge and Ignorance: Preliminary Report. NMR 1984: 125-143
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph Y. Halpern, Yoram Moses: Knowledge and Common Knowledge in a Distributed Environment. PODC 1984: 50-61

Coauthor Index

1Shai Avidan[j20] [c36]
2Ido Ben-Zvi[j31] [c58] [c55] [i10] [i7] [j27] [c50] [c49]
3Ben Bloom[c23]
4Ronen I. Brafman[j12] [c22]
5James E. Burns[e2]
6Armando Castañeda[c67] [i15] [c59] [i12] [c57] [i8]
7Danny Dolev[j28] [c48] [i6] [j2] [c3]
8Cynthia Dwork[j5] [c5]
9Kai Engelhardt[j24] [j21] [i5] [c40] [c39] [c37] [c35] [c34] [c29]
10Ronald Fagin[j15] [i1] [j13] [j11] [c26] [c25] [c24]
11Juan A. Garay[j14] [c17]
12Yannai A. Gonczarowski[c67] [i15] [c59] [i12] [c57] [c54] [i9] [i8]
13Joseph Y. Halpern[i16] [j30] [c43] [i4] [j19] [i3] [j16] [i2] [j15] [c28] [i1] [j13] [j11] [c26] [c25] [c24] [c21] [j6] [j4] [c14] [c8] [j2] [j1] [c4] [c3] [c2] [c1]
14Maurice Herlihy[c51]
15Ezra N. Hoch[j28] [c48] [i6]
16Orit Kislev[c18]
17Alon Kleinman[c15]
18Fabian Kuhn[c52]
19Jean-Claude Latombe[j12] [c22]
20Rajit Manohar[c66]
21Ron van der Meyden[c35] [c34] [c32] [c29] [c27]
22Tal Mizrahi[j35] [j34] [j33] [j32] [c72] [c71] [c70] [c69] [c68] [i18] [i17] [c65] [c63] [i14] [i13] [c61] [c60] [c56] [j25] [j22] [c46] [c45] [c42] [c38]
23Yael Moses[j20] [c36]
24Gal Nachum[c13]
25Rotem Oshman[c52]
26Katia Patkin[c64]
27Zvi Polunsky[j18] [c31]
28Sergio Rajsbaum[j17] [c30]
29Michel Raynal[j29] [j23] [c44]
30Gil Roth[c10]
31Ori Rottenstreich[j35] [c65]
32Efi Saat[j32] [c63] [i13]
33Marcia Kuskin Shamo[i11]
34Ehud Y. Shapiro[c15]
35Benny Shimony[c41]
36Yoav Shoham[j12] [c22] [j7] [c11]
37Ayellet Tal[j18] [c31]
38Moshe Tennenholtz[j10] [j9] [c20] [c19] [c12]
39Mark R. Tuttle[c51] [j3] [c8] [c6]
40Leonid Ulitsky[j18] [c31]
41Moshe Y. Vardi[j15] [i1] [j13] [j11] [c26] [c25] [c24] [c21]
42Orli Waarts[j16] [j8] [c14] [c9]

 

Last update 2017-04-26 02:28 CEST by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page