( en | de | ru )

 

Disambiguation of "Vardi, Moshe Y."

Author of the publication

copydeleteadd this publication to your clipboard
Technology has social consequences.

. Commun. ACM, 54 (5): 5 (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Amir Moshe

Max Mosheim

Assaf Vardi

Lily Vardimon

Moshe Pinus

 

Other publications of authors with the same name

Knowledge and Implicit Knowledge in a Distributed Environment: Preliminary Report., and . TARK, page 187-206. Morgan Kaufmann, (1986)The Expressive Power of the Kierarchical Approach to Modeling Knowledge and Common Knowledge., , , and . TARK, page 229-244. Morgan Kaufmann, (1992)Fair Equivalence Relations., , and . Verification: Theory and Practice, volume 2772 of Lecture Notes in Computer Science, page 702-732. Springer, (2003)From Monadic Logic to PSL.. Pillars of Computer Science, volume 4800 of Lecture Notes in Computer Science, page 656-681. Springer, (2008)LTL Satisfiability Checking., and . SPIN, volume 4595 of Lecture Notes in Computer Science, page 149-167. Springer, (2007)Lost in math?. Commun. ACM, 62 (3): 7 (2019)Sequential Relational Decomposition., , , and . CoRR, (2019)Open Implication., , , and . ICALP (2), volume 5126 of Lecture Notes in Computer Science, page 361-372. Springer, (2008)Reasoning about The Past with Two-Way Automata.. ICALP, volume 1443 of Lecture Notes in Computer Science, page 628-641. Springer, (1998)Logic and Automata: A Match Made in Heaven.. ICALP, volume 2719 of Lecture Notes in Computer Science, page 64-65. Springer, (2003)