( en | de | ru )

 

Disambiguation of "Vardi, Moshe Y."

Author of the publication

copydeleteadd this publication to your clipboard
Memory-Efficient Algorithms for the Verification of Temporal Properties.

, , , and . Formal Methods Syst. Des., 1 (2/3): 275-288 (1992)

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

Are we having an ethical crisis in computing?. Commun. ACM, 62 (1): 7 (2019)Constraints, Graphs, Algebra, Logic, and Complexity.. CP, volume 6308 of Lecture Notes in Computer Science, page 8. Springer, (2010)Symbolic Decision Procedures for QBF., and . CP, volume 3258 of Lecture Notes in Computer Science, page 453-467. Springer, (2004)Constraint Propagation as a Proof System., , and . CP, volume 3258 of Lecture Notes in Computer Science, page 77-91. Springer, (2004)From Löwenheim to PSL and SVA.. Language, Culture, Computation (1), volume 8001 of Lecture Notes in Computer Science, page 78-102. Springer, (2014)Büchi Complementation and Size-Change Termination, and . Logical Methods in Computer Science, (2012)Synthesis from Probabilistic Components., , and . Logical Methods in Computer Science, (2014)Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking., , and . CAV, volume 3576 of Lecture Notes in Computer Science, page 350-363. Springer, (2005)Safraless Compositional Synthesis., , and . CAV, volume 4144 of Lecture Notes in Computer Science, page 31-44. Springer, (2006)Verification of Fair Transisiton Systems., and . CAV, volume 1102 of Lecture Notes in Computer Science, page 372-382. Springer, (1996)