M
Moshe Y. Vardi
Researcher at Rice University
Publications - 818
Citations - 50821
Moshe Y. Vardi is an academic researcher from Rice University. The author has contributed to research in topics: Model checking & Linear temporal logic. The author has an hindex of 99, co-authored 796 publications receiving 47959 citations. Previous affiliations of Moshe Y. Vardi include Association for Computing Machinery & Beth Israel Deaconess Medical Center.
Papers
More filters
Book ChapterDOI
Vacuity Detection in Temporal Model Checking
Orna Kupferman,Moshe Y. Vardi +1 more
TL;DR: A general method for detection of vacuity and generation of interesting witnesses for specifications in CTL*.
Proceedings ArticleDOI
The complexity of reasoning about knowledge and time
Joseph Y. Halpern,Moshe Y. Vardi +1 more
Book ChapterDOI
Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics
TL;DR: This work shows that constraint satisfaction problems on inputs of treewidth less than k are definable using Datalog programs with at most k variables; this provides a new explanation for the tractability of these classes of problems.
Journal ArticleDOI
Will MOOCs destroy academia
TL;DR: "Thy destroyers and they that made thee waste shall go forth of thee," wrote the prophet Isaiah, which has been popping into the mind as I have been following the book of Isaiah.
Proceedings Article
Containment of Conjunctive Regular Path Queries with Inverse.
TL;DR: This paper presents a novel technique to check containment of queries in this class, based on the use of two-way flnite automata, and shows the power of three-way automata in dealing with the inverse operator and with the variables in the queries.