×

zbMATH — the first resource for mathematics

Moses, Yoram

Compute Distance To:
Author ID: moses.yoram Recent zbMATH articles by "Moses, Yoram"
Published as: Moses, Y.; Moses, Yoram
External Links: MGP · Wikidata · dblp · GND
Documents Indexed: 66 Publications since 1984, including 2 Books

Publications by Year

Citations contained in zbMATH Open

37 Publications have been cited 1,183 times in 795 Documents Cited by Year
Reasoning about knowledge. Zbl 0839.68095
Fagin, Ronald; Halpern, Joseph Y.; Moses, Yoram; Vardi, Moshe Y.
543
1995
Knowledge and common knowledge in a distributed environment. Zbl 0699.68115
Halpern, Joseph Y.; Moses, Yoram
153
1990
A guide to completeness and complexity for modal logics of knowledge and belief. Zbl 0762.68029
Halpern, Joseph Y.; Moses, Yoram
132
1992
Knowledge and common knowledge in a Byzantine environment: Crash failures. Zbl 0705.68019
Dwork, Cynthia; Moses, Yoram
66
1990
Programming simultaneous actions using common knowledge. Zbl 0646.68031
Moses, Yoram; Tuttle, Mark R.
64
1988
Continuous consensus via common knowledge. Zbl 1266.68040
Mizrahi, Tal; Moses, Yoram
35
2008
Common knowledge revisited. Zbl 1060.03008
Fagin, R.; Halpern, J. Y.; Moses, Y.; Vardi, M. Y.
22
2003
Towards a theory of knowledge and ignorance: preliminary report. Zbl 0581.68067
Halpern, Joseph Y.; Moses, Yoram
22
1985
Coordinated consensus in dynamic networks. Zbl 1321.68028
Kuhn, Fabian; Oshman, Rotem; Moses, Yoram
20
2011
A layered analysis of consensus. Zbl 1015.68079
Moses, Yoram; Rajsbaum, Sergio
20
2002
Fully polynomial Byzantine agreement for processors in rounds. Zbl 0911.68006
Garay, Juan A.; Moses, Yoram
14
1998
Knowledge-based programs. Zbl 1374.68102
Fagin, Ronald; Moses, Yoram; Halpern, Joseph Y.; Vardi, Moshe Y.
9
1995
Coordinated traversal: \((t+1)\)-round byzantine agreement in polynomial time. Zbl 0822.68045
Moses, Yoram; Waarts, Orli
9
1994
A characterization of eventual Byzantine agreement. Zbl 1017.68007
Halpern, Joseph Y.; Moses, Yoram; Waarts, Orli
8
2001
Cheating husbands and other stories: A case study of knowledge, action, and communication. Zbl 0609.68072
Moses, Yoram; Dolev, Danny; Halpern, Joseph Y.
8
1986
Belief as defeasible knowledge. Zbl 0787.68095
Moses, Yoram; Shoham, Yoav
7
1993
Resource-bounded knowledge. Zbl 0725.68097
Moses, Yoram
7
1988
Applications of a logic of knowledge to motion planning under uncertainty. Zbl 0891.68103
Brafman, Ronen I.; Latombe, Jean-Claude; Moses, Yoram; Shoham, Yoav
4
1997
On cooperation in a multi-entity model (preliminary report). Zbl 0713.68080
Tennenholtz, Moshe; Moses, Yoram
4
1989
An optimal self-stabilizing firing squad. Zbl 1284.68068
Dolev, Danny; Moses, Yoram
3
2012
On interactive knowledge with bounded communication. Zbl 1242.03035
Ben-Zvi, Ido; Moses, Yoram
3
2011
Beyond Lamport’s happened-before: on the role of time bounds in synchronous systems. Zbl 1290.68016
Ben-Zvi, Ido; Moses, Yoram
3
2010
Knowledge-oriented programming (extended abstract). Zbl 1374.68075
Moses, Yoram; Kislev, Orit
3
1993
Fully polynomial Byzantine agreement in \(t+1\) rounds. Zbl 1310.68040
Garay, Juan A.; Moses, Yoram
3
1993
Beyond Lamport’s happened-before, on time bounds and the ordering of events in distributed systems. Zbl 1295.68165
Ben-Zvi, Ido; Moses, Yoram
2
2014
Agent-time epistemics and coordination. Zbl 1303.03039
Ben-Zvi, Ido; Moses, Yoram
2
2013
Safe composition of distributed programs communicating over order-preserving imperfect channels. Zbl 1170.68661
Engelhardt, Kai; Moses, Yoram
2
2005
A refinement theory that supports reasoning about knowledge and time for synchronous agents. Zbl 1275.68137
Engelhardt, Kai; Van Der Meyden, Ron; Moses, Yoram
2
2001
A program refinement framework supporting reasoning about knowledge and time. (Preliminary report). Zbl 0961.68031
Engelhardt, Kai; van der Meyden, Ron; Moses, Yoram
2
2000
The unified structure of consensus, a layered analysis approach. Zbl 1333.68069
Moses, Yoram; Rajsbaum, Sergio
2
1998
Knowledge, timed precedence and clocks (preliminary report). Zbl 1374.68074
Moses, Yoram; Bloom, Ben
2
1994
Taken by surprise: the paradox of the surprise test revisited. Zbl 0614.03005
Halpern, Joseph Y.; Moses, Yoram
2
1986
No double discount: Condition-based simultaneity yields limited gain. Zbl 1161.68346
Moses, Yoram; Raynal, Michel
1
2008
Causing communication closure: Safe program composition with non-FIFO channels. Zbl 1171.68415
Engelhardt, Kai; Moses, Yoram
1
2005
Probabilistic multi-view correspondence in a distributed setting with no central server. Zbl 1098.68720
Avidan, Shai; Moses, Yael; Moses, Yoram
1
2004
Common knowledge revisited. Zbl 0923.03008
Fagin, Ronald; Halpern, Joseph Y.; Moses, Yoram; Vardi, Moshe Y.
1
1999
Belief as defeasible knowledge. Zbl 0718.68071
Shoham, Yoav; Moses, Yoram
1
1989
Beyond Lamport’s happened-before, on time bounds and the ordering of events in distributed systems. Zbl 1295.68165
Ben-Zvi, Ido; Moses, Yoram
2
2014
Agent-time epistemics and coordination. Zbl 1303.03039
Ben-Zvi, Ido; Moses, Yoram
2
2013
An optimal self-stabilizing firing squad. Zbl 1284.68068
Dolev, Danny; Moses, Yoram
3
2012
Coordinated consensus in dynamic networks. Zbl 1321.68028
Kuhn, Fabian; Oshman, Rotem; Moses, Yoram
20
2011
On interactive knowledge with bounded communication. Zbl 1242.03035
Ben-Zvi, Ido; Moses, Yoram
3
2011
Beyond Lamport’s happened-before: on the role of time bounds in synchronous systems. Zbl 1290.68016
Ben-Zvi, Ido; Moses, Yoram
3
2010
Continuous consensus via common knowledge. Zbl 1266.68040
Mizrahi, Tal; Moses, Yoram
35
2008
No double discount: Condition-based simultaneity yields limited gain. Zbl 1161.68346
Moses, Yoram; Raynal, Michel
1
2008
Safe composition of distributed programs communicating over order-preserving imperfect channels. Zbl 1170.68661
Engelhardt, Kai; Moses, Yoram
2
2005
Causing communication closure: Safe program composition with non-FIFO channels. Zbl 1171.68415
Engelhardt, Kai; Moses, Yoram
1
2005
Probabilistic multi-view correspondence in a distributed setting with no central server. Zbl 1098.68720
Avidan, Shai; Moses, Yael; Moses, Yoram
1
2004
Common knowledge revisited. Zbl 1060.03008
Fagin, R.; Halpern, J. Y.; Moses, Y.; Vardi, M. Y.
22
2003
A layered analysis of consensus. Zbl 1015.68079
Moses, Yoram; Rajsbaum, Sergio
20
2002
A characterization of eventual Byzantine agreement. Zbl 1017.68007
Halpern, Joseph Y.; Moses, Yoram; Waarts, Orli
8
2001
A refinement theory that supports reasoning about knowledge and time for synchronous agents. Zbl 1275.68137
Engelhardt, Kai; Van Der Meyden, Ron; Moses, Yoram
2
2001
A program refinement framework supporting reasoning about knowledge and time. (Preliminary report). Zbl 0961.68031
Engelhardt, Kai; van der Meyden, Ron; Moses, Yoram
2
2000
Common knowledge revisited. Zbl 0923.03008
Fagin, Ronald; Halpern, Joseph Y.; Moses, Yoram; Vardi, Moshe Y.
1
1999
Fully polynomial Byzantine agreement for processors in rounds. Zbl 0911.68006
Garay, Juan A.; Moses, Yoram
14
1998
The unified structure of consensus, a layered analysis approach. Zbl 1333.68069
Moses, Yoram; Rajsbaum, Sergio
2
1998
Applications of a logic of knowledge to motion planning under uncertainty. Zbl 0891.68103
Brafman, Ronen I.; Latombe, Jean-Claude; Moses, Yoram; Shoham, Yoav
4
1997
Reasoning about knowledge. Zbl 0839.68095
Fagin, Ronald; Halpern, Joseph Y.; Moses, Yoram; Vardi, Moshe Y.
543
1995
Knowledge-based programs. Zbl 1374.68102
Fagin, Ronald; Moses, Yoram; Halpern, Joseph Y.; Vardi, Moshe Y.
9
1995
Coordinated traversal: \((t+1)\)-round byzantine agreement in polynomial time. Zbl 0822.68045
Moses, Yoram; Waarts, Orli
9
1994
Knowledge, timed precedence and clocks (preliminary report). Zbl 1374.68074
Moses, Yoram; Bloom, Ben
2
1994
Belief as defeasible knowledge. Zbl 0787.68095
Moses, Yoram; Shoham, Yoav
7
1993
Knowledge-oriented programming (extended abstract). Zbl 1374.68075
Moses, Yoram; Kislev, Orit
3
1993
Fully polynomial Byzantine agreement in \(t+1\) rounds. Zbl 1310.68040
Garay, Juan A.; Moses, Yoram
3
1993
A guide to completeness and complexity for modal logics of knowledge and belief. Zbl 0762.68029
Halpern, Joseph Y.; Moses, Yoram
132
1992
Knowledge and common knowledge in a distributed environment. Zbl 0699.68115
Halpern, Joseph Y.; Moses, Yoram
153
1990
Knowledge and common knowledge in a Byzantine environment: Crash failures. Zbl 0705.68019
Dwork, Cynthia; Moses, Yoram
66
1990
On cooperation in a multi-entity model (preliminary report). Zbl 0713.68080
Tennenholtz, Moshe; Moses, Yoram
4
1989
Belief as defeasible knowledge. Zbl 0718.68071
Shoham, Yoav; Moses, Yoram
1
1989
Programming simultaneous actions using common knowledge. Zbl 0646.68031
Moses, Yoram; Tuttle, Mark R.
64
1988
Resource-bounded knowledge. Zbl 0725.68097
Moses, Yoram
7
1988
Cheating husbands and other stories: A case study of knowledge, action, and communication. Zbl 0609.68072
Moses, Yoram; Dolev, Danny; Halpern, Joseph Y.
8
1986
Taken by surprise: the paradox of the surprise test revisited. Zbl 0614.03005
Halpern, Joseph Y.; Moses, Yoram
2
1986
Towards a theory of knowledge and ignorance: preliminary report. Zbl 0581.68067
Halpern, Joseph Y.; Moses, Yoram
22
1985
all top 5

Cited by 999 Authors

35 Halpern, Joseph Yehuda
26 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 Khan, Md. Aquil
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 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 Wang, Yinan
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.
...and 899 more Authors
all top 5

Cited in 86 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 Information Sciences
6 Theory and Decision
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 Logica Universalis
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 SIAM Journal on Applied Dynamical Systems
1 Internet Mathematics
1 Logical Methods in Computer Science
1 Algorithms
1 Frontiers of Computer Science in China
1 Computer Science Review
1 Mathematica Applicanda

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.