Edit Profile Moses, Yoram Compute Distance To: Compute Author ID: moses.yoram Published as: Moses, Y.; Moses, Yoram External Links: MGP · Wikidata · dblp · GND Documents Indexed: 66 Publications since 1984, including 2 Books all top 5 Co-Authors 5 single-authored 14 Halpern, Joseph Yehuda 7 Engelhardt, Kai 5 Ben-Zvi, Ido 5 Fagin, Ronald 5 Vardi, Moshe Y. 4 Mizrahi, Tal 3 Goren, Guy 3 Shoham, Yoav 3 van der Meyden, Ron 2 Dolev, Danny 2 Garay, Juan A. 2 Patkin, Katia 2 Rajsbaum, Sergio 2 Raynal, Michel 2 Tuttle, Mark R. 2 Waarts, Orli 1 Avidan, Shai 1 Bloom, Ben 1 Brafman, Ronen I. 1 Castañeda, Armando 1 Dan, Asa 1 Dwork, Cynthia 1 Gonczarowski, Yannai A. 1 Herlihy, Maurice P. 1 Kislev, Orit 1 Kuhn, Fabian 1 Latombe, Jean-Claude 1 Manohar, Rajit 1 Moses, Yael 1 Noy, Amos 1 Oshman, Rotem 1 Shimony, Benny 1 Tennenholtz, Moshe 1 Zamir, Nitzan all top 5 Serials 6 Distributed Computing 4 SIAM Journal on Computing 3 Journal of the ACM 2 Artificial Intelligence 2 Theoretical Computer Science 2 Information and Computation 1 Information Processing Letters 1 International Journal of Game Theory 1 Journal of the Association for Computing Machinery 1 Journal of Philosophical Logic 1 Journal of Algorithms 1 SIAM Journal on Algebraic and Discrete Methods 1 Annals of Pure and Applied Logic 1 Algorithmica 1 Journal of Applied Non-Classical Logics 1 The Journal of Artificial Intelligence Research (JAIR) 1 Lecture Notes in Computer Science all top 5 Fields 60 Computer science (68-XX) 11 Mathematical logic and foundations (03-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 General and overarching topics; collections (00-XX) 2 Combinatorics (05-XX) 2 Information and communication theory, circuits (94-XX) 1 Algebraic topology (55-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 37 Publications have been cited 1,180 times in 792 Documents Cited by ▼ Year ▼ Reasoning about knowledge. Zbl 0839.68095Fagin, Ronald; Halpern, Joseph Y.; Moses, Yoram; Vardi, Moshe Y. 540 1995 Knowledge and common knowledge in a distributed environment. Zbl 0699.68115Halpern, Joseph Y.; Moses, Yoram 153 1990 A guide to completeness and complexity for modal logics of knowledge and belief. Zbl 0762.68029Halpern, Joseph Y.; Moses, Yoram 132 1992 Knowledge and common knowledge in a Byzantine environment: Crash failures. Zbl 0705.68019Dwork, Cynthia; Moses, Yoram 66 1990 Programming simultaneous actions using common knowledge. Zbl 0646.68031Moses, Yoram; Tuttle, Mark R. 64 1988 Continuous consensus via common knowledge. Zbl 1266.68040Mizrahi, Tal; Moses, Yoram 35 2008 Common knowledge revisited. Zbl 1060.03008Fagin, R.; Halpern, J. Y.; Moses, Y.; Vardi, M. Y. 22 2003 Towards a theory of knowledge and ignorance: preliminary report. Zbl 0581.68067Halpern, Joseph Y.; Moses, Yoram 22 1985 Coordinated consensus in dynamic networks. Zbl 1321.68028Kuhn, Fabian; Oshman, Rotem; Moses, Yoram 20 2011 A layered analysis of consensus. Zbl 1015.68079Moses, Yoram; Rajsbaum, Sergio 20 2002 Fully polynomial Byzantine agreement for processors in rounds. Zbl 0911.68006Garay, Juan A.; Moses, Yoram 14 1998 Knowledge-based programs. Zbl 1374.68102Fagin, Ronald; Moses, Yoram; Halpern, Joseph Y.; Vardi, Moshe Y. 9 1995 Coordinated traversal: \((t+1)\)-round byzantine agreement in polynomial time. Zbl 0822.68045Moses, Yoram; Waarts, Orli 9 1994 A characterization of eventual Byzantine agreement. Zbl 1017.68007Halpern, Joseph Y.; Moses, Yoram; Waarts, Orli 8 2001 Cheating husbands and other stories: A case study of knowledge, action, and communication. Zbl 0609.68072Moses, Yoram; Dolev, Danny; Halpern, Joseph Y. 8 1986 Belief as defeasible knowledge. Zbl 0787.68095Moses, Yoram; Shoham, Yoav 7 1993 Resource-bounded knowledge. Zbl 0725.68097Moses, Yoram 7 1988 Applications of a logic of knowledge to motion planning under uncertainty. Zbl 0891.68103Brafman, Ronen I.; Latombe, Jean-Claude; Moses, Yoram; Shoham, Yoav 4 1997 On cooperation in a multi-entity model (preliminary report). Zbl 0713.68080Tennenholtz, Moshe; Moses, Yoram 4 1989 An optimal self-stabilizing firing squad. Zbl 1284.68068Dolev, Danny; Moses, Yoram 3 2012 On interactive knowledge with bounded communication. Zbl 1242.03035Ben-Zvi, Ido; Moses, Yoram 3 2011 Beyond Lamport’s happened-before: on the role of time bounds in synchronous systems. Zbl 1290.68016Ben-Zvi, Ido; Moses, Yoram 3 2010 Knowledge-oriented programming (extended abstract). Zbl 1374.68075Moses, Yoram; Kislev, Orit 3 1993 Fully polynomial Byzantine agreement in \(t+1\) rounds. Zbl 1310.68040Garay, Juan A.; Moses, Yoram 3 1993 Beyond Lamport’s happened-before, on time bounds and the ordering of events in distributed systems. Zbl 1295.68165Ben-Zvi, Ido; Moses, Yoram 2 2014 Agent-time epistemics and coordination. Zbl 1303.03039Ben-Zvi, Ido; Moses, Yoram 2 2013 Safe composition of distributed programs communicating over order-preserving imperfect channels. Zbl 1170.68661Engelhardt, Kai; Moses, Yoram 2 2005 A refinement theory that supports reasoning about knowledge and time for synchronous agents. Zbl 1275.68137Engelhardt, Kai; Van Der Meyden, Ron; Moses, Yoram 2 2001 A program refinement framework supporting reasoning about knowledge and time. (Preliminary report). Zbl 0961.68031Engelhardt, Kai; van der Meyden, Ron; Moses, Yoram 2 2000 The unified structure of consensus, a layered analysis approach. Zbl 1333.68069Moses, Yoram; Rajsbaum, Sergio 2 1998 Knowledge, timed precedence and clocks (preliminary report). Zbl 1374.68074Moses, Yoram; Bloom, Ben 2 1994 Taken by surprise: the paradox of the surprise test revisited. Zbl 0614.03005Halpern, Joseph Y.; Moses, Yoram 2 1986 No double discount: Condition-based simultaneity yields limited gain. Zbl 1161.68346Moses, Yoram; Raynal, Michel 1 2008 Causing communication closure: Safe program composition with non-FIFO channels. Zbl 1171.68415Engelhardt, Kai; Moses, Yoram 1 2005 Probabilistic multi-view correspondence in a distributed setting with no central server. Zbl 1098.68720Avidan, Shai; Moses, Yael; Moses, Yoram 1 2004 Common knowledge revisited. Zbl 0923.03008Fagin, Ronald; Halpern, Joseph Y.; Moses, Yoram; Vardi, Moshe Y. 1 1999 Belief as defeasible knowledge. Zbl 0718.68071Shoham, Yoav; Moses, Yoram 1 1989 Beyond Lamport’s happened-before, on time bounds and the ordering of events in distributed systems. Zbl 1295.68165Ben-Zvi, Ido; Moses, Yoram 2 2014 Agent-time epistemics and coordination. Zbl 1303.03039Ben-Zvi, Ido; Moses, Yoram 2 2013 An optimal self-stabilizing firing squad. Zbl 1284.68068Dolev, Danny; Moses, Yoram 3 2012 Coordinated consensus in dynamic networks. Zbl 1321.68028Kuhn, Fabian; Oshman, Rotem; Moses, Yoram 20 2011 On interactive knowledge with bounded communication. Zbl 1242.03035Ben-Zvi, Ido; Moses, Yoram 3 2011 Beyond Lamport’s happened-before: on the role of time bounds in synchronous systems. Zbl 1290.68016Ben-Zvi, Ido; Moses, Yoram 3 2010 Continuous consensus via common knowledge. Zbl 1266.68040Mizrahi, Tal; Moses, Yoram 35 2008 No double discount: Condition-based simultaneity yields limited gain. Zbl 1161.68346Moses, Yoram; Raynal, Michel 1 2008 Safe composition of distributed programs communicating over order-preserving imperfect channels. Zbl 1170.68661Engelhardt, Kai; Moses, Yoram 2 2005 Causing communication closure: Safe program composition with non-FIFO channels. Zbl 1171.68415Engelhardt, Kai; Moses, Yoram 1 2005 Probabilistic multi-view correspondence in a distributed setting with no central server. Zbl 1098.68720Avidan, Shai; Moses, Yael; Moses, Yoram 1 2004 Common knowledge revisited. Zbl 1060.03008Fagin, R.; Halpern, J. Y.; Moses, Y.; Vardi, M. Y. 22 2003 A layered analysis of consensus. Zbl 1015.68079Moses, Yoram; Rajsbaum, Sergio 20 2002 A characterization of eventual Byzantine agreement. Zbl 1017.68007Halpern, Joseph Y.; Moses, Yoram; Waarts, Orli 8 2001 A refinement theory that supports reasoning about knowledge and time for synchronous agents. Zbl 1275.68137Engelhardt, Kai; Van Der Meyden, Ron; Moses, Yoram 2 2001 A program refinement framework supporting reasoning about knowledge and time. (Preliminary report). Zbl 0961.68031Engelhardt, Kai; van der Meyden, Ron; Moses, Yoram 2 2000 Common knowledge revisited. Zbl 0923.03008Fagin, Ronald; Halpern, Joseph Y.; Moses, Yoram; Vardi, Moshe Y. 1 1999 Fully polynomial Byzantine agreement for processors in rounds. Zbl 0911.68006Garay, Juan A.; Moses, Yoram 14 1998 The unified structure of consensus, a layered analysis approach. Zbl 1333.68069Moses, Yoram; Rajsbaum, Sergio 2 1998 Applications of a logic of knowledge to motion planning under uncertainty. Zbl 0891.68103Brafman, Ronen I.; Latombe, Jean-Claude; Moses, Yoram; Shoham, Yoav 4 1997 Reasoning about knowledge. Zbl 0839.68095Fagin, Ronald; Halpern, Joseph Y.; Moses, Yoram; Vardi, Moshe Y. 540 1995 Knowledge-based programs. Zbl 1374.68102Fagin, Ronald; Moses, Yoram; Halpern, Joseph Y.; Vardi, Moshe Y. 9 1995 Coordinated traversal: \((t+1)\)-round byzantine agreement in polynomial time. Zbl 0822.68045Moses, Yoram; Waarts, Orli 9 1994 Knowledge, timed precedence and clocks (preliminary report). Zbl 1374.68074Moses, Yoram; Bloom, Ben 2 1994 Belief as defeasible knowledge. Zbl 0787.68095Moses, Yoram; Shoham, Yoav 7 1993 Knowledge-oriented programming (extended abstract). Zbl 1374.68075Moses, Yoram; Kislev, Orit 3 1993 Fully polynomial Byzantine agreement in \(t+1\) rounds. Zbl 1310.68040Garay, Juan A.; Moses, Yoram 3 1993 A guide to completeness and complexity for modal logics of knowledge and belief. Zbl 0762.68029Halpern, Joseph Y.; Moses, Yoram 132 1992 Knowledge and common knowledge in a distributed environment. Zbl 0699.68115Halpern, Joseph Y.; Moses, Yoram 153 1990 Knowledge and common knowledge in a Byzantine environment: Crash failures. Zbl 0705.68019Dwork, Cynthia; Moses, Yoram 66 1990 On cooperation in a multi-entity model (preliminary report). Zbl 0713.68080Tennenholtz, Moshe; Moses, Yoram 4 1989 Belief as defeasible knowledge. Zbl 0718.68071Shoham, Yoav; Moses, Yoram 1 1989 Programming simultaneous actions using common knowledge. Zbl 0646.68031Moses, Yoram; Tuttle, Mark R. 64 1988 Resource-bounded knowledge. Zbl 0725.68097Moses, Yoram 7 1988 Cheating husbands and other stories: A case study of knowledge, action, and communication. Zbl 0609.68072Moses, Yoram; Dolev, Danny; Halpern, Joseph Y. 8 1986 Taken by surprise: the paradox of the surprise test revisited. Zbl 0614.03005Halpern, Joseph Y.; Moses, Yoram 2 1986 Towards a theory of knowledge and ignorance: preliminary report. Zbl 0581.68067Halpern, Joseph Y.; Moses, Yoram 22 1985 all cited Publications top 5 cited Publications all top 5 Cited by 994 Authors 35 Halpern, Joseph Yehuda 24 van Ditmarsch, Hans Pieter 19 Moses, Yoram 18 van der Hoek, Wiebe 13 Lorini, Emiliano 12 Lomuscio, Alessio 11 Balbiani, Philippe 11 Rybakov, Vladimir Vladimirovich 10 Dixon, Clare 10 Smets, Sonja J. L. 9 Ågotnes, Thomas 9 Baltag, Alexandru 9 Dubois, Didier 9 Rajsbaum, Sergio 9 Schwarzentruber, François 9 van Benthem, Johan F. A. K. 9 Vardi, Moshe Y. 9 Wooldridge, Michael J. 8 Fagin, Ronald 8 Herzig, Andreas 8 Levesque, Hector J. 8 Pacuit, Eric 8 Wang, Yanjing 7 Benevides, Mario R. F. 7 Herlihy, Maurice P. 7 Lakemeyer, Gerhard 7 Naumov, Pavel G. 7 Studer, Thomas 7 Tao, Jia 6 Banerjee, Mohua 6 Belardinelli, Francesco 6 Fisher, Michael W. 6 Hoshi, Tomohiro 6 Kaneko, Mamoru 6 Kooi, Barteld Pieter 6 Liau, Churn-Jung 6 Velázquez-Quesada, Fernando Raymundo 5 Alechina, Natasha 5 Aucher, Guillaume 5 Bonanno, Giacomo 5 French, Tim 5 Guerraoui, Rachid 5 Heinemann, Bernhard 5 Kraus, Sarit 5 Lismont, Luc 5 Massacci, Fabio 5 Mongin, Philippe 5 Pandurangan, Gopal 5 Raynal, Michel 5 Rendsvig, Rasmus Kræmmer 5 Shoham, Yoav 5 Tennenholtz, Moshe 5 Tuttle, Mark R. 4 Allo, Patrick 4 Artemov, Sergei 4 Belle, Vaishak 4 Censor-Hillel, Keren 4 Charron-Bost, Bernadette 4 Dégremont, Cédric 4 Demri, Stéphane P. 4 Donini, Francesco M. 4 Fisher, Michael E. 4 Giunchiglia, Fausto 4 Godard, Emmanuel 4 Heifetz, Aviad 4 Hustadt, Ullrich 4 Khan, Md. Aquil 4 Lutz, Carsten 4 Murano, Aniello 4 Negri, Sara 4 Parikh, Rohit 4 Penczek, Wojciech 4 Rêgo, Leandro Chaves 4 Sadrzadeh, Mehrnoosh 4 Santoro, Nicola 4 Sebastiani, Roberto 4 Su, Kaile 4 van der Meyden, Ron 4 Verbrugge, Rineke 4 Wolter, Frank 4 Zakharyaschev, Michael Viktorovich 4 Zhang, Yan 3 Afek, Yehuda 3 Baral, Chitta R. 3 Ben-Zvi, Ido 3 Bolander, Thomas 3 Bozzelli, Laura 3 Brünnler, Kai 3 Coan, Brian A. 3 Delporte-Gallet, Carole 3 Dima, Cătălin 3 Dunne, Paul E. 3 Dwork, Cynthia 3 Fan, Xiaocong 3 Fauconnier, Hugues 3 Flocchini, Paola 3 Gabbay, Dov M. 3 Garanina, Natalia O. 3 Garay, Juan A. 3 Gilbert, Seth ...and 894 more Authors all top 5 Cited in 85 Serials 86 Artificial Intelligence 51 Synthese 38 Theoretical Computer Science 36 Journal of Applied Non-Classical Logics 35 Distributed Computing 27 Information and Computation 24 Journal of Philosophical Logic 24 Games and Economic Behavior 21 Journal of Logic, Language and Information 19 Studia Logica 19 Journal of Applied Logic 16 Annals of Pure and Applied Logic 12 Mathematical Social Sciences 11 International Journal of Approximate Reasoning 11 The Review of Symbolic Logic 10 The Journal of Symbolic Logic 10 Annals of Mathematics and Artificial Intelligence 8 Information Processing Letters 8 Journal of Computer and System Sciences 8 Journal of Economic Theory 7 The Bulletin of Symbolic Logic 6 Theory and Decision 5 Information Sciences 5 Formal Aspects of Computing 4 Lithuanian Mathematical Journal 4 Notre Dame Journal of Formal Logic 4 Siberian Mathematical Journal 4 Algorithmica 4 International Journal of Intelligent Systems 4 Journal of Logical and Algebraic Methods in Programming 3 International Journal of Theoretical Physics 3 Fuzzy Sets and Systems 3 Journal of Mathematical Economics 3 Mathematical Systems Theory 3 Journal of Automated Reasoning 3 Formal Methods in System Design 3 Economic Theory 3 Theory of Computing Systems 3 Erkenntnis 3 The Journal of Logic and Algebraic Programming 3 Theory and Practice of Logic Programming 3 ACM Transactions on Computational Logic 3 Frontiers of Computer Science 3 Journal of Siberian Federal University. Mathematics & Physics 2 International Journal of Game Theory 2 Programming and Computer Software 2 New Generation Computing 2 Journal of Parallel and Distributed Computing 2 MSCS. Mathematical Structures in Computer Science 2 International Game Theory Review 2 Games 1 Mathematical Notes 1 Kybernetes 1 Kybernetika 1 SIAM Journal on Control and Optimization 1 Bulletin of the Section of Logic 1 Science of Computer Programming 1 Bulletin of the Iranian Mathematical Society 1 Journal of Computer Science and Technology 1 International Journal of Parallel Programming 1 Annals of Operations Research 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 Economics Letters 1 International Journal of Foundations of Computer Science 1 European Journal of Operational Research 1 Pattern Recognition 1 Indagationes Mathematicae. New Series 1 The Journal of Artificial Intelligence Research (JAIR) 1 Science in China. Series E 1 Soft Computing 1 Journal of the ACM 1 Communications in Nonlinear Science and Numerical Simulation 1 Foundations of Science 1 Lobachevskii Journal of Mathematics 1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 1 Miscelánea Matemática 1 Logic and Logical Philosophy 1 Sādhanā 1 Internet Mathematics 1 Logica Universalis 1 Logical Methods in Computer Science 1 Algorithms 1 Frontiers of Computer Science in China 1 Computer Science Review 1 Mathematica Applicanda all top 5 Cited in 17 Fields 514 Computer science (68-XX) 460 Mathematical logic and foundations (03-XX) 109 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 18 Information and communication theory, circuits (94-XX) 15 Combinatorics (05-XX) 9 Operations research, mathematical programming (90-XX) 8 General and overarching topics; collections (00-XX) 7 Quantum theory (81-XX) 6 History and biography (01-XX) 3 Systems theory; control (93-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Ordinary differential equations (34-XX) 2 Statistics (62-XX) 2 Mathematics education (97-XX) 1 Measure and integration (28-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Probability theory and stochastic processes (60-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.